Subexponential algorithms for variants of homomorphism problem in string graphs

We consider the complexity of finding weighted homomorphisms from intersection graphs of curves (string graphs) with $n$ vertices to a fixed graph $H$. We provide a complete dichotomy for the problem: if $H$ has no two vertices sharing two common neighbors, then the problem can be solved in time $2^{O(n^{2/3} \log n)}$, otherwise there is no algorithm working in time $2^{o(n)}$, even in intersection graphs of segments, unless the ETH fails. This generalizes several known results concerning the complexity of computatational problems in geometric intersection graphs. Then we consider two variants of graph homomorphism problem, called locally injective homomorphism and locally bijective homomorphism, where we require the homomorphism to be injective or bijective on the neighborhood of each vertex. We show that for each target graph $H$, both problems can always be solved in time $2^{O(\sqrt{n} \log n)}$ in string graphs. For the locally surjecive homomorphism, defined in an analogous way, the situation seems more complicated. We show the dichotomy theorem for simple connected graphs $H$ with maximum degree 2. If $H$ is isomorphic to $P_3$ or $C_4$, then the existence of a locally surjective homomorphism from a string graph with $n$ vertices to $H$ can be decided in time $2^{O(n^{2/3} \log^{3/2} n)}$, otherwise the problem cannot be solved in time $2^{o(n)}$, unless the ETH fails. As a byproduct, we obtain several results concerning the complexity of variants of homomorphism problem in $P_t$-free graphs. In particular, we obtain the dichotomy theorem for weighted homomorphism, analogous to the one for string graphs.

[1]  Gary MacGillivray,et al.  The complexity of locally injective homomorphisms , 2010, Discret. Math..

[2]  Pawel Rzazewski,et al.  Optimality Program in Segment and String Graphs , 2018, WG.

[3]  Marthe Bonamy,et al.  Independent Feedback Vertex Set for $$P_5$$P5-Free Graphs , 2018, Algorithmica.

[4]  Jan van den Heuvel,et al.  Coloring the square of a planar graph , 2003 .

[5]  Jirí Fiala,et al.  Matrix and Graph Orders Derived from Locally Constrained Graph Homomorphisms , 2005, MFCS.

[6]  J. Kratochvil,et al.  Intersection Graphs of Segments , 1994, J. Comb. Theory, Ser. B.

[7]  Jan Kratochvíl,et al.  String graphs. I. The number of critical nonstring graphs is infinite , 1991, J. Comb. Theory, Ser. B.

[8]  Marcus Schaefer,et al.  Recognizing string graphs in NP , 2003, J. Comput. Syst. Sci..

[9]  James R. Lee,et al.  Separators in region intersection graphs , 2016, ITCS.

[10]  Jaroslav Nesetril,et al.  Graphs and homomorphisms , 2004, Oxford lecture series in mathematics and its applications.

[11]  Tom C. van der Zanden,et al.  On the Exact Complexity of Hamiltonian Cycle and q-Colouring in Disk Graphs , 2017, CIAC.

[12]  Jirí Fiala,et al.  Locally Injective Graph Homomorphism: Lists Guarantee Dichotomy , 2006, WG.

[13]  Claire Pennarun,et al.  Planar Graphs as L-intersection or L-contact graphs , 2017, SODA.

[14]  Jan Kratochvíl,et al.  Exact Algorithms for L (2, 1)-Labeling of Graphs , 2007, MFCS.

[15]  Nicholas C. Wormald,et al.  Geometric separator theorems and applications , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[16]  Jérémie Chalopin,et al.  Every planar graph is the intersection graph of segments in the plane: extended abstract , 2009, STOC '09.

[17]  Pavol Hell,et al.  List Homomorphisms and Circular Arc Graphs , 1999, Comb..

[18]  Colin McDiarmid,et al.  Integer realizations of disk and segment graphs , 2011, J. Comb. Theory, Ser. B.

[19]  Frédéric Havet,et al.  k-L(2, 1)-labelling for planar graphs is NP-complete for k>=4 , 2010, Discret. Appl. Math..

[20]  Jerrold R. Griggs,et al.  Labelling Graphs with a Condition at Distance 2 , 1992, SIAM J. Discret. Math..

[21]  Pawel Rzazewski,et al.  Subexponential algorithms for variants of the homomorphism problem in string graphs , 2020, J. Comput. Syst. Sci..

[22]  Jirí Fiala,et al.  A complete complexity classification of the role assignment problem , 2005, Theor. Comput. Sci..

[23]  B. Moret,et al.  Planar NAE3SAT is in P , 1988, SIGA.

[24]  Jan Kratochvíl,et al.  String graphs. II. recognizing string graphs is NP-hard , 1991, J. Comb. Theory, Ser. B.

[25]  Jan Kratochvíl,et al.  On the injective chromatic number of graphs , 2002, Discret. Math..

[26]  Michal Pilipczuk,et al.  Optimal Parameterized Algorithms for Planar Facility Location Problems Using Voronoi Diagrams , 2015, ESA.

[27]  Marcus Schaefer,et al.  Fixed Points, Nash Equilibria, and the Existential Theory of the Reals , 2017, Theory of Computing Systems.

[28]  Jan Kratochvíl,et al.  String graphs requiring exponential representations , 1991, J. Comb. Theory, Ser. B.

[29]  János Pach,et al.  Computing the independence number of intersection graphs , 2011, SODA '11.

[30]  Alan A. Bertossi,et al.  Code assignment for hidden terminal interference avoidance in multihop packet radio networks , 1992, [Proceedings] IEEE INFOCOM '92: The Conference on Computer Communications.

[31]  Jan Kratochvíl,et al.  Exact Algorithms for L(2,1)-Labeling of Graphs , 2009, Algorithmica.

[32]  Fahad Panolan,et al.  Finding, Hitting and Packing Cycles in Subexponential Time on Unit Disk Graphs , 2017, Discrete & Computational Geometry.

[33]  Pavol Hell,et al.  The dichotomy of list homomorphisms for digraphs , 2011, SODA '11.

[34]  Jirí Fiala,et al.  Locally Constrained Homomorphisms on Graphs of Bounded Treewidth and Bounded Degree , 2013, FCT.

[35]  Klaus Jansen,et al.  On the Complexity of the Maximum Cut Problem , 1994, Nord. J. Comput..

[36]  Subramanian Ramanathan,et al.  On the complexity of distance-2 coloring , 1992, Proceedings ICCI `92: Fourth International Conference on Computing and Information.

[37]  Russell Impagliazzo,et al.  On the Complexity of k-SAT , 2001, J. Comput. Syst. Sci..

[38]  János Pach,et al.  A Separator Theorem for String Graphs and its Applications , 2009, Combinatorics, Probability and Computing.

[39]  Jirí Fiala,et al.  Cantor-Bernstein type theorem for locally constrained graph homomorphisms , 2006, Eur. J. Comb..

[40]  Ali Dehghan On strongly planar not-all-equal 3SAT , 2016, J. Comb. Optim..

[41]  Alex D. Scott,et al.  H-colouring Pt-free graphs in subexponential time , 2019, Discret. Appl. Math..

[42]  Gary L. Miller,et al.  Separators for sphere-packings and nearest neighbor graphs , 1997, JACM.

[43]  André Raspaud,et al.  On Injective Colourings of Chordal Graphs , 2008, LATIN.

[44]  Jirí Matousek,et al.  Near-Optimal Separators in String Graphs , 2013, Combinatorics, Probability and Computing.

[45]  Gregory Gutin,et al.  A dichotomy for minimum cost graph homomorphisms , 2008, Eur. J. Comb..

[46]  Dániel Marx,et al.  Fine-Grained Complexity of Coloring Unit Disks and Balls , 2017, SoCG.

[47]  Jochen Alber,et al.  Geometric Separation and Exact Solutions for the Parameterized Independent Set Problem on Disk Graphs , 2002, IFIP TCS.

[48]  R. Tarjan,et al.  A Separator Theorem for Planar Graphs , 1977 .