𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Recognizing string graphs in NP

✍ Scribed by Marcus Schaefer; Eric Sedgwick; Daniel Štefankovič


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
219 KB
Volume
67
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

✦ Synopsis


A string graph is the intersection graph of a set of curves in the plane. Each curve is represented by a vertex, and an edge between two vertices means that the corresponding curves intersect. We show that string graphs can be recognized in NP: The recognition problem was not known to be decidable until very recently, when two independent papers established exponential upper bounds on the number of intersections needed to realize a string graph (Mutzel (Ed.), Graph Drawing 2001, Lecture Notes in Computer Science, Springer, Berlin; Proceedings of the 33rd Annual ACM Symposium on Theory of Computing (STOC-2001)). These results implied that the recognition problem lies in NEXP: In the present paper we improve this by showing that the recognition problem for string graphs is in NP; and therefore NP-complete, since Kratochvı´l showed that the recognition problem is NP-hard (J. Combin Theory, Ser. B 52). The result has consequences for the computational complexity of problems in graph drawing, and topological inference. We also show that the string graph problem is decidable for surfaces of arbitrary genus.


📜 SIMILAR VOLUMES


Recognizing triangle-free graphs with in
✍ Jacobson, Michael S.; K�zdy, Andr� E.; Lehel, Jen? 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 250 KB 👁 2 views

An induced path-cycle double cover (IPCDC) of a simple graph G is a family F Å {F 1 , . . . , F k } of induced paths and cycles of G such that if F i ʝ F j x M, then F i ʝ F j is a vertex or an edge, for i x j, each edge of G appears in precisely two of the F i 's, and each vertex of G appears in pr

Recognizing Hamming graphs in linear tim
✍ Wilfried Imrich; Sandi Klavžar 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 417 KB

Hamming graphs are, by definition, the Cartesian product of complete graphs. In the bipartite case these graphs are hypercubes. We present an algorithm recognizing Hamming graphs in linear time and space. This improves a previous algorithm which was linear in time but not in space. This also favorab