scispace - formally typeset
Open AccessJournal ArticleDOI

Some provably hard crossing number problems

Daniel Bienstock
- 01 Aug 1991 - 
- Vol. 6, Iss: 5, pp 443-459
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

Content maybe subject to copyright    Report

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

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

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.
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.