1,515 research outputs found
Applications of a new separator theorem for string graphs
An intersection graph of curves in the plane is called a string graph.
Matousek almost completely settled a conjecture of the authors by showing that
every string graph of m edges admits a vertex separator of size O(\sqrt{m}\log
m). In the present note, this bound is combined with a result of the authors,
according to which every dense string graph contains a large complete balanced
bipartite graph. Three applications are given concerning string graphs G with n
vertices: (i) if K_t is not a subgraph of G for some t, then the chromatic
number of G is at most (\log n)^{O(\log t)}; (ii) if K_{t,t} is not a subgraph
of G, then G has at most t(\log t)^{O(1)}n edges,; and (iii) a lopsided
Ramsey-type result, which shows that the Erdos-Hajnal conjecture almost holds
for string graphs.Comment: 7 page
Applications of a New Separator Theorem for String Graphs
An intersection graph of curves in the plane is called a string graph. Matoušek almost completely settled a conjecture of the authors by showing that every string graph with m edges admits a vertex separator of size . In the present note, this bound is combined with a result of the authors, according to which every dense string graph contains a large complete balanced bipartite graph. Three applications are given concerning string graphs G with n vertices: (i) if Kt ⊈ G for some t, then the chromatic number of G is at most (log n) O(log t); (ii) if Kt,t ⊈ G, then G has at most t(log t) O(1) n edges,; and (iii) a lopsided Ramsey-type result, which shows that the Erdős-Hajnal conjecture almost holds for string graph
Optimality program in segment and string graphs
Planar graphs are known to allow subexponential algorithms running in time
or for most of the paradigmatic
problems, while the brute-force time is very likely to be
asymptotically best on general graphs. Intrigued by an algorithm packing curves
in by Fox and Pach [SODA'11], we investigate which
problems have subexponential algorithms on the intersection graphs of curves
(string graphs) or segments (segment intersection graphs) and which problems
have no such algorithms under the ETH (Exponential Time Hypothesis). Among our
results, we show that, quite surprisingly, 3-Coloring can also be solved in
time on string graphs while an algorithm running
in time for 4-Coloring even on axis-parallel segments (of unbounded
length) would disprove the ETH. For 4-Coloring of unit segments, we show a
weaker ETH lower bound of which exploits the celebrated
Erd\H{o}s-Szekeres theorem. The subexponential running time also carries over
to Min Feedback Vertex Set but not to Min Dominating Set and Min Independent
Dominating Set.Comment: 19 pages, 15 figure
- …