The Multicolored Graph Realization Problem

We introduce the multicolored graph realization problem (MGR). The input to the problem is a colored graph (G,φ), i.e., a graph together with a coloring φ on its vertices. We can associate to each colored graph (G,φ) a cluster graph (Gφ) in which, after collapsing to a node all vertices with the same color, we remove multiple edges and self-loops. A set of vertices S is multicolored when S has exactly one vertex from each color class. The problem is to decide whether there is a multicolored set S such that, after identifying each vertex in S with its color class, G[S] coincides with Gφ. The MGR problem is related to the well known class of generalized network problems, most of which are NP-hard. For example the generalized Minimun Spanning Tree problem. The MGR problem is a generalization of the multicolored clique problem, which is known to be W [1]-hard when parameterized by the number of colors. Thus MGR remains W [1]-hard, when parameterized by the size of the cluster graph. This results implies that the MGR problem is W [1]-hard when parameterized by any graph parameter on Gφ, among those for treewidth. In consequence, we look to instances of the problem in which both the number of color classes and the treewidth of Gφ are unbounded. We consider three natural such graph classes: chordal graphs, convex bipartite graphs and 2-dimensional grid graphs. We show that the MGR problem is NP-complete when Gφ is either chordal, biconvex bipartite, complete bipartite or a 2-dimensional grid. Our hardness results follows from suitable reductions from the 1-in-3 monotone SAT problem. Our reductions show that the problem remains hard even when the maximum number of vertices in a color class is 3. In the case of the grid, the hardness holds also graphs with bounded degree. We complement those results by showing combined parameterizations under which the MGR problem became tractable. ∗Corresponding author Email addresses: diaz@cs.upc.edu (Josep Dı́az), oznur.yasar@khas.edu.tr ( Öznur Yaşar Diner), mjserna@cs.upc.edu (Maria Serna), oriol.serra@upc.edu (Oriol Serra) Preprint submitted to Elsevier March 25, 2021

[1]  Matteo Fischetti,et al.  A Branch-and-Cut Algorithm for the Symmetric Generalized Traveling Salesman Problem , 1997, Oper. Res..

[2]  L. Vepstas Graph quotients : a topological approach to graphs , 2018 .

[3]  Daniël Paulusma,et al.  Narrowing the Complexity Gap for Colouring (C s , P t )-Free Graphs , 2014, AAIM.

[4]  Alain Quilliot,et al.  A retraction problem in graph theory , 1985, Discret. Math..

[5]  Gilbert Laporte,et al.  Generalized network design problems , 2003, Eur. J. Oper. Res..

[6]  Petrica C. Pop,et al.  On the complexity of the selective graph coloring problem in some special classes of graphs , 2014, Theor. Comput. Sci..

[7]  Krzysztof Pietrzak,et al.  On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems , 2003, J. Comput. Syst. Sci..

[8]  Michael R. Fellows,et al.  Fixed-Parameter Tractability and Completeness II: On Completeness for W[1] , 1995, Theor. Comput. Sci..

[9]  Petrica C. Pop,et al.  Generalized network design problems : modeling and optimization , 2012 .

[10]  Thomas J. Schaefer,et al.  The complexity of satisfiability problems , 1978, STOC.

[11]  Petrica C. Pop,et al.  A two-level solution approach for solving the generalized minimum spanning tree problem , 2018, Eur. J. Oper. Res..

[12]  Jeremy P. Spinrad,et al.  Bipartite permutation graphs , 1987, Discret. Appl. Math..

[13]  Gábor Tardos,et al.  On List Coloring and List Homomorphism of Permutation and Interval Graphs , 2012, SIAM J. Discret. Math..

[14]  Matteo Fischetti,et al.  The Generalized Traveling Salesman and Orienteering Problems , 2007 .

[15]  Michael R. Fellows,et al.  FIXED-PARAMETER TRACTABILITY AND COMPLETENESS , 2022 .

[16]  Gianpaolo Ghiani,et al.  An efficient transformation of the generalized vehicle routing problem , 2000, Eur. J. Oper. Res..

[17]  Marc Demange,et al.  On some applications of the selective graph coloring problem , 2015, Eur. J. Oper. Res..

[18]  Fanica Gavril,et al.  Algorithms for Minimum Coloring, Maximum Clique, Minimum Covering by Cliques, and Maximum Independent Set of a Chordal Graph , 1972, SIAM J. Comput..

[19]  Maria J. Serna,et al.  On List k-Coloring Convex Bipartite Graphs , 2020, AIRO Springer Series.

[20]  Matteo Fischetti,et al.  The symmetric generalized traveling salesman polytope , 1995, Networks.

[21]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[22]  Michael R. Fellows,et al.  On the parameterized complexity of multiple-interval graph problems , 2009, Theor. Comput. Sci..

[23]  Moshe Dror,et al.  Generalized spanning trees , 2000, Eur. J. Oper. Res..

[24]  Takeaki Uno,et al.  Finding Maximum Edge Bicliques in Convex Bipartite Graphs , 2010, Algorithmica.

[25]  Jörg Flum,et al.  Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) , 2006 .