[논문 리뷰] Graph Isomorphism for Bounded Genus Graphs In Linear Time

Ken‐ichi Kawarabayashi|arXiv (Cornell University)|2015. 11. 08.

Advanced Graph Theory Research참고 문헌 40인용 수 7

한 줄 요약

이 논문은 유계 올레르 오일러 유니티를 가진 그래프에서 그래프 이sov머피즘의 첫 번째 선형 시간 알고리즘을 제시하며, 오랫동안 미해결이었던 문제를 해결한다. 다면체 매장, 면 너비 제약 조건, 정점-두 개 컷을 통한 정규 분해를 활용하여, 이sov머피즘 테스트를 평면 또는 다면체 부분그래프에서의 매장 이sov머피즘으로 감소시켜, 고정된 유니티 g에 대해 O(n) 시간 복잡도를 달성한다.

ABSTRACT

For every integer $g$, isomorphism of graphs of Euler genus at most $g$ can be decided in linear time. This improves previously known algorithms whose time complexity is $n^{O(g)}$ (shown in early 1980's), and in fact, this is the first fixed-parameter tractable algorithm for the graph isomorphism problem for bounded genus graphs in terms of the Euler genus $g$. Our result also generalizes the seminal result of Hopcroft and Wong in 1974, which says that the graph isomorphism problem can be decided in linear time for planar graphs. Our proof is quite lengthly and complicated, but if we are satisfied with an $O(n^3)$ time algorithm for the same problem, the proof is shorter and easier.

연구 동기 및 목표

• 유니티가 최대 g인 그래프에서 고정 매개변수 트랙터블 선형 시간 알고리즘을 개발한다.
• 이전에 n^{O(g)} 시간으로 제한되었던 고유니티 표면에서의 매장 수의 지수적 증가를 극복한다.
• 홉코프트와 용의 1974년 선형 시간 평면 그래프 이sov머피즘 알고리즘을 고유니티가 더 높은 표면으로 일반화한다.
• 3연결 그래프에서 면 너비 ≥3을 만족하는 경우, 최대 f(g)개의 서로 다른 다면체 매장을 가짐을 입증하여 효율적인 이sov머피즘 검사를 가능하게 한다.
• 정점-두 개 컷을 통한 정규 분해를 제공하여 이sov머피즘을 평면 매장 이sov머피즘으로 감소시킨다.

제안 방법

• 유니티가 유계인 표면에서의 고유한 매장을 활용하여 그래프 이sov머피즘 문제를 매장 이sov머피즘으로 감소시킨다.
• 면 너비 ≥3 매장을 사용하여 면이 정점이나 변에서만 겹치는 다면체 구조를 보장한다.
• 정점-두 개 컷에서 정규 정점 분할을 적용하여 그래프를 평면 또는 다면체 부분그래프로 분해한다.
• 각 단계에서 정규 표현을 유지하는 재귀적 분해 전략을 적용한다.
• 감소된 색이 칠해진 정점이 있는 부분그래프에서 매장 이sov머피즘을 O(n) 시간 내에 테스트하기 위해 정리 2.1을 활용한다.
• 정규 부분그래프의 이sov머피즘으로부터 O(n) 시간 내에 원래 그래프의 이sov머피즘을 재구성한다.

실험 결과

연구 질문

• RQ1 유니티가 유계인 그래프에 대한 그래프 이sov머피즘 문제는 이전의 n^{O(g)} 장벽을 극복하고 선형 시간 내에 해결될 수 있는가?
• RQ2 고유니티가 높은 표면에서의 매장 수의 지수적 증가를 어떻게 제어하여 효율적인 이sov머피즘 테스트를 가능하게 할 수 있는가?
• RQ3 유니티가 유계인 표면에서 3연결 그래프를 효율적인 부분그래프로 분해할 수 있는 정규적인 방법이 존재하는가?
• RQ4 면 너비 ≥3 매장을 이용해 각 유니티에 대해 유한한 수의 서로 다른 매장이 존재함을 보장할 수 있는가? 이는 알고리즘 처리 가능성에 기여한다.
• RQ5 평면 또는 다면체 부분그래프에서의 매장 이sov머피즘으로의 감소가, 유니티가 유계인 그래프에서 선형 시간 이sov머피즘 테스트를 가능하게 하는가?

주요 결과

• 유니티가 최대 g인 그래프의 그래프 이sov머피즘 문제는 임의의 고정된 g에 대해 O(n) 시간 내에 해결할 수 있다.
• 모든 유니티 g에 대해 함수 f(g)가 존재하여, 면 너비 ≥3인 3연결 그래프는 유니티 g인 표면에서 최대 f(g)개의 서로 다른 다면체 매장을 가진다.
• 알고리즘은 정점-두 개 컷에서 정규 정점 분할을 사용하여 그래프를 평면 또는 다면체 부분그래프로 분해하며, 이sov머피즘 불변성을 유지한다.
• 색이 칠해진 정점이 있는 부분그래프의 매장 이sov머피즘은 O(n) 시간 내에 테스트할 수 있어 전역 이sov머피즘의 효율적 재구성이 가능하다.
• 재귀적 분해와 정규 표현을 통해 부분그래프 이sov머피즘 검사를 마친 후 전역 이sov머피즘은 O(n) 시간 내에 결정된다.
• 결과적으로 홉코프트와 용의 1974년 선형 시간 평면 그래프 이sov머피즘 알고리즘은 모든 유니티가 유계인 올레르 유니티 표면으로 일반화된다.