Towards an Isomorphism Dichotomy for Hereditary Graph Classes

作者: Pascal Schweitzer

DOI: 10.1007/S00224-017-9775-8

关键词: Discrete mathematicsCombinatoricsGraph automorphismGraph homomorphismGraph canonizationOrder isomorphismSubgraph isomorphism problemGraph isomorphismInduced subgraph isomorphism problemMathematicsGraph property

摘要: In this paper we resolve the complexity of isomorphism problem on all but finitely many graph classes characterized by two forbidden induced subgraphs. To end develop new techniques applicable for structural and algorithmic analysis graphs. First, a methodology to show completeness providing general framework unifying various reduction techniques. Second, generalize concept modular decomposition colored graphs, allowing non-standard decompositions. We that, given suitable functor, reduces checking prime Third, extend bounded color valence hypergraph hypergraphs class size as follows. say has generalized at most k if, after removing vertices in k, each C every vertex neighbors or non-neighbors C. that graphs can be solved polynomial time.

参考文章(34)
Andreas Brandstädt, Dieter Kratsch, On the structure of (P5,gem)-free graphs Discrete Applied Mathematics. ,vol. 145, pp. 155- 166 ,(2005) , 10.1016/J.DAM.2004.01.009
Uwe Schöning, Johannes Köbler, Jacobo Torán, The Graph Isomorphism Problem: Its Structural Complexity ,(2011)
Yahav Nussbaum, Francisco Juan Soulignac, Jayme Luiz Szwarcfiter, Min Chih Lin, Ross M. Mcconnell, Andrew R. Curtis, Jeremy P. Spinrad, Isomorphism of graph classes related to the circular-ones property Discrete Mathematics & Theoretical Computer Science. ,vol. 15, pp. 157- 182 ,(2013)
Pascal Schweitzer, Problems of Unknown Complexity: Graph isomorphism and Ramsey theoretic numbers Universität des Saarlandes Saarbrücken. ,(2009) , 10.22028/D291-25946
Yuri Gurevich, From invariants to canonization Current trends in theoretical computer science. ,vol. 63, pp. 327- 331 ,(2001)
Tommi Junttila, Petteri Kaski, Conflict Propagation and Component Recursion for Canonical Labeling Theory and Practice of Algorithms in (Computer) Systems. ,vol. 6595, pp. 151- 162 ,(2011) , 10.1007/978-3-642-19754-3_16
Martin Grohe, Pascal Schweitzer, Isomorphism Testing for Graphs of Bounded Rank Width 2015 IEEE 56th Annual Symposium on Foundations of Computer Science. pp. 1010- 1029 ,(2015) , 10.1109/FOCS.2015.66
Johannes Köbler, Oleg Verbitsky, From Invariants to Canonization in Parallel Computer Science – Theory and Applications. pp. 216- 227 ,(2008) , 10.1007/978-3-540-79709-8_23