Graph Isomorphism Parameterized by Elimination Distance to Bounded Degree

被引:19
作者
Bulian, Jannis [1 ]
Dawar, Anuj [1 ]
机构
[1] Univ Cambridge, Comp Lab, Pembroke St, Cambridge CB2 3QG, England
基金
英国工程与自然科学研究理事会;
关键词
Graph; Isomorphism; Canonization; Parameterized complexity; Fixed-parameter tractable; Bounded degree; Graph theory; Complexity theory; Tree-depth;
D O I
10.1007/s00453-015-0045-3
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
A commonly studied means of parameterizing graph problems is the deletion distance from triviality (Guo et al., Parameterized and exact computation, Springer, Berlin, pp. 162-173, 2004), which counts vertices that need to be deleted from a graph to place it in some class for which efficient algorithms are known. In the context of graph isomorphism, we define triviality to mean a graph with maximum degree bounded by a constant, as such graph classes admit polynomial-time isomorphism tests. We generalise deletion distance to a measure we call elimination distance to triviality, based on elimination trees or tree-depth decompositions. We establish that graph canonisation, and thus graph isomorphism, is when parameterized by elimination distance to bounded degree, extending results of Bouland et al. (Parameterized and exact computation, Springer, Berlin, pp. 218-230, 2012).
引用
收藏
页码:363 / 382
页数:20
相关论文
共 21 条
[1]  
[Anonymous], 2012, PARAMETERIZED COMPLE
[2]  
[Anonymous], 2000, Graph Theory
[3]  
[Anonymous], 1983, P 15 ANN ACM S THEOR, DOI [10.1145/800061.808746, DOI 10.1145/800061.808746]
[4]  
[Anonymous], 1980, P 12 ACM S THEOR COM
[5]  
Bouland Adam, 2012, Parameterized and Exact Computation. Proceedings of the 7th International Symposium (IPEC 2012), P218, DOI 10.1007/978-3-642-33293-7_21
[6]   Isomorphism of coloured graphs with slowly increasing multiplicity of Jordan blocks [J].
Evdokimov, S ;
Ponomarenko, I .
COMBINATORICA, 1999, 19 (03) :321-333
[7]   A generalization of Nemhauser and Trotter's local optimization theorem [J].
Fellows, Michael R. ;
Guo, Jiong ;
Moser, Hannes ;
Niedermeier, Rolf .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2011, 77 (06) :1141-1158
[8]  
Fellows MR, 2008, LECT NOTES COMPUT SC, V5369, P294, DOI 10.1007/978-3-540-92182-0_28
[9]  
Flum J., 2006, TEXT THEORET COMP S
[10]  
Grohe M, 2012, STOC'12: PROCEEDINGS OF THE 2012 ACM SYMPOSIUM ON THEORY OF COMPUTING, P173