Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Inserting one edge into a simple drawing is hard   A {\em simple drawing} $D(G)$ of a graph $G$ is one where each pair of edges
share at most one point: either a common endpoint or a proper crossing. An edge
$e$ in the complement of $G$ can be {\em inserted} into $D(G)$ if there exists
a simple drawing of $G+e$ extending $D(G)$. As a result of Levi's Enlargement
Lemma, if a drawing is rectilinear (pseudolinear), that is, the edges can be
extended into an arrangement of lines (pseudolines), then any edge in the
complement of $G$ can be inserted. In contrast, we show that it is NP -complete
to decide whether one edge can be inserted into a simple drawing. This remains
true even if we assume that the drawing is pseudocircular, that is, the edges
can be extended to an arrangement of pseudocircles. On the positive side, we
show that, given an arrangement of pseudocircles $\mathcal{A}$ and a
pseudosegment $\sigma$, it can be decided in polynomial time whether there
exists a pseudocircle $\Phi_\sigma$ extending $\sigma$ for which
$\mathcal{A}\cup\{\Phi_\sigma\}$ is again an arrangement of pseudocircles.

28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
26
The categories of this paper are: bayes-an
2
The categories of this paper are: math
9
The categories of this paper are: nlin