Some provably hard crossing number problems
TLDR
It is shown that any given arrangement can be forced to occur in every minimum crossing drawing of an appropriate graph, and that there exists no polynomial-time algorithm for producing a straight-line drawing of a graph, which achieves the minimum number of crossings from among all such drawings.Abstract:
This paper presents a connection between the problem of drawing a graph with the minimum number of edge crossings, and the theory of arrangements of pseudolines, a topic well-studied by combinatorialists. In particular, we show that any given arrangement can be forced to occur in every minimum crossing drawing of an appropriate graph. Using some recent results of Goodman, Pollack, and Sturmfels, this yields that there exists no polynomial-time algorithm for producing a straight-line drawing of a graph, which achieves the minimum number of crossings from among all such drawings. While this result has no bearing on the P versus NP question, it is fairly negative with regard to applications. We also study the problem of drawing a graph with polygonal edges, to achieve the (unrestricted) minimum number of crossings. Here we obtain a tight bound on the smallest number of breakpoints which are required in the polygonal lines.read more
Citations
More filters
Journal ArticleDOI
The Graph Crossing Number and its Variants: A Survey
TL;DR: A survey of the rich variety of crossing number variants that have been introduced in the literature for purposes that range from studying the theoretical underpinnings of the crossing number to crossing minimization for visualization problems.
Book ChapterDOI
Complexity of some geometric and topological problems
TL;DR: It is shown that recognizing intersection graphs of convex sets has the same complexity as deciding truth in the existential theory of the reals, and it is argued that there is a need to recognize this level of complexity as its own class.
Proceedings ArticleDOI
Computing crossing number in linear time
Ken-ichi Kawarabayashi,Buce Reed +1 more
TL;DR: It is shown that for every fixed k, there is a linear time algorithm that decides whether or not a given graph has crossing number at most k, and if this is the case, computes a drawing of the graph in the plane with at least k crossings, which answers the question posed by Grohe.
Journal ArticleDOI
Which Crossing Number Is It Anyway
János Pach,Géza Tóth +1 more
TL;DR: In this article, it was shown that the determination of the pairwise crossing number and the odd-crossing number is an NP-hard problem and it is also NP-complete in the case of the crossing number.
Journal ArticleDOI
Fixed Points, Nash Equilibria, and the Existential Theory of the Reals
TL;DR: It is shown that the complexity of decision variants of fixed-point problems, including Nash equilibria, are complete for this class, complementing work by Etessami and Yannakakis.
References
More filters
Journal ArticleDOI
Crossing Number is NP-Complete
TL;DR: This paper shows that there is not likely to be any efficient way to design an optimal embedding of a graph or network in a planar surface, and hence this problem is NP-complete.
MonographDOI
Arrangements and Spreads
TL;DR: In this paper, the pseudolines and arrangements of curves spreads of curves have been used to create pseudoline-based arrangements of lines and pseudoline pseudoline spreads.
Book ChapterDOI
The universality theorems on the classification problem of configuration varieties and convex polytopes varieties
Proceedings ArticleDOI
Small sets supporting fary embeddings of planar graphs
TL;DR: It is shown that any set F, which can support a Fáry embedding of every planar graph of size n, has cardinality at least n, which settles a problem of Mohar.