On Weak Isomorphism of Rooted Vertex-Colored Graphs
暂无分享,去创建一个
[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..