On Weak Isomorphism of Rooted Vertex-Colored Graphs

In this work we consider a notion of isomorphism of rooted vertex-colored graphs which allows not only vertices, but also colors to be permuted. Here, a prospective color permutation must be chosen from a group specified at the input. We call this notion weak isomorphism. It turns out that already for severely restricted classes of graphs, the corresponding weak graph isomorphism problem is as hard as the well studied string isomorphism problem. Our main result states that weak isomorphism can be solved in FPT time when simultaneously parameterized by three graph invariants: maximum degree, BFS color number, and BFS width. Intuitively, the second parameter quantifies the number of colors that cross a level of a breadth first search (BFS) tree of the corresponding graph. The third parameter is a width measure based on a BFS-based decomposition introduced independently by Yamazaki et al. [Algorithmica ’99] and by Chepoi and Dragan [Eur. J. Comb. ’00]. We show that the resulting parameterized problem has close relations to the notion of (strong) isomorphism of bounded color class hypergraphs. Our algorithm can be used to solve the latter problem in FPT time. Another consequence is that isomorphism of hypergraphs implicitly represented by ordered decision diagrams (ODD’s) can be solved in FPT time if the width of the involved ODD’s is an additional parameter.

[1]  Beate Bollig,et al.  On the OBDD representation of some graph classes , 2016, Discret. Appl. Math..

[2]  Daniel Sawitzki A Symbolic Approach to the All-Pairs Shortest-Paths Problem , 2004, WG.

[3]  Martin Grohe,et al.  Isomorphism Testing for Graphs of Bounded Rank Width , 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.

[4]  Gary L. Miller,et al.  Isomorphism testing for graphs of bounded genus , 1980, STOC '80.

[5]  Philipp Woelfel,et al.  Representation of Graphs by OBDDs , 2005, ISAAC.

[6]  Feodor F. Dragan,et al.  A Note on Distance Approximating Trees in Graphs , 2000, Eur. J. Comb..

[7]  C. Sims Computational methods in the study of permutation groups , 1970 .

[8]  Stefan Kratsch,et al.  Isomorphism for Graphs of Bounded Feedback Vertex Set Number , 2010, SWAT.

[9]  John E. Hopcroft,et al.  Polynomial-time algorithms for permutation groups , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[10]  David M. Mount,et al.  Isomorphism of graphs with bounded eigenvalue multiplicity , 1982, STOC '82.

[11]  Eugene M. Luks,et al.  Isomorphism of graphs of bounded valence can be tested in polynomial time , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[12]  László Babai,et al.  Computational complexity and the classification of finite simple groups , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[13]  Michal Pilipczuk,et al.  Fixed-Parameter Tractable Canonization and Isomorphism Test for Graphs of Bounded Treewidth , 2014, 2014 IEEE 55th Annual Symposium on Foundations of Computer Science.

[14]  Martin Grohe,et al.  Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors , 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.

[15]  Philipp Woelfel Symbolic topological sorting with OBDDs , 2006, J. Discrete Algorithms.

[16]  Beate Bollig On symbolic OBDD-based algorithms for the minimum spanning tree problem , 2012, Theor. Comput. Sci..

[17]  Dániel Marx,et al.  Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs , 2015, SIAM J. Comput..

[18]  Koichi Yamazaki,et al.  Isomorphism for Graphs of Bounded Distance Width , 1997, Algorithmica.

[19]  László Babai,et al.  Graph isomorphism in quasipolynomial time [extended abstract] , 2016, STOC.

[20]  Vikraman Arvind,et al.  Colored Hypergraph Isomorphism is Fixed Parameter Tractable , 2013, Algorithmica.

[21]  Á. Seress Permutation Group Algorithms , 2003 .

[22]  Beate Bollig,et al.  On efficient implicit OBDD-based algorithms for maximal matchings , 2014, Inf. Comput..