[논문 리뷰] A Log-space Algorithm for Canonization of Planar Graphs

Samir Datta, Nutan Limaye외 3명|ArXiv.org|2008. 09. 15.

Advanced Graph Theory Research참고 문헌 27인용 수 4

한 줄 요약

이 논문은 평면 그래프의 캐논화를 위한 로그공간 알고리즘을 제시하며, 그래프를 이중연결 및 삼중연결 성분으로 재귀적으로 분해하고, 로그공간 사용을 위해 Lindell의 트리 캐논화를 수정하며, 자동형사수를 유 bounds하기 위해 군론적 보조정리를 활용함으로써 평면 그래프 동형성의 L-완전성을 달성한다. 주요 결과는 평면 그래프 캐논화—따라서 동형성까지—로그공간 내에 존재한다는 것이다. 이는 이 그래프 유형의 복잡도 갭을 해결한다.

ABSTRACT

Graph Isomorphism is the prime example of a computational problem with a wide difference between the best known lower and upper bounds on its complexity. We bridge this gap for a natural and important special case, planar graph isomorphism, by presenting an upper bound that matches the known logspace hardness [Lindell'92]. In fact, we show the formally stronger result that planar graph canonization is in logspace. This improves the previously known upper bound of AC1 [MillerReif'91]. Our algorithm first constructs the biconnected component tree of a connected planar graph and then refines each biconnected component into a triconnected component tree. The next step is to logspace reduce the biconnected planar graph isomorphism and canonization problems to those for 3-connected planar graphs, which are known to be in logspace by [DattaLimayeNimbhorkar'08]. This is achieved by using the above decomposition, and by making significant modifications to Lindell's algorithm for tree canonization, along with changes in the space complexity analysis. The reduction from the connected case to the biconnected case requires further new ideas, including a non-trivial case analysis and a group theoretic lemma to bound the number of automorphisms of a colored 3-connected planar graph. This lemma is crucial for the reduction to work in logspace.

연구 동기 및 목표

• 평면 그래프 동형성에 대한 알려진 하한과 상한 사이의 복잡도 갭을 해결하기 위해.
• 평면 그래프 캐논화가 로그공간 내에 있음을 입증함으로써 문제의 L-완전성을 확립하기 위해.
• 구조적 분해를 통해 이전의 3연결 평면 그래프 결과를 일반 평면 그래프로 확장하기 위해.
• 최소한의 공간 사용으로 재귀적 트리 캐논화를 처리할 수 있는 로그공간 알고리즘을 개발하기 위해.

제안 방법

• 평면 그래프를 이중연결 성분으로 분해하고, 로그공간 내에서 이중연결 성분 트리를 구성하기 위해.
• 각 이중연결 성분을 삼중연결 성분으로 추가로 분해하여 삼중연결 성분 트리를 형성하고, 이를 로그공간 구현을 통해 수행하기 위해.
• 구조적 분해를 통해 이중연결 평면 그래프의 동형성 및 캐논화를 3연결 평면 그래프의 것들로 환원하기 위해.
• 컴ponent 트리의 계층적 구조를 처리하면서 공간 효율성을 유지할 수 있도록 Lindell의 로그공간 트리 캐논화 알고리즘을 수정하기 위해.
• 색칠된 3연결 평면 그래프의 자동형사수 수를 유 bounds하기 위해 군론적 보조정리를 사용하여 로그공간 환원을 가능하게 하기 위해.
• 깊은 재귀에서 공간을 관리하기 위해 짧고 재구성 가능한 그래프 성질을 통한 상태 복구를 수행하는 재귀적 순회를 사용하기 위해.

실험 결과

연구 질문

• RQ1 평면 그래프 동형성의 복잡도를 AC¹에서 로그공간으로 낮출 수 있는가?
• RQ2 구성요소 분해를 사용하여 평면 그래프를 로그공간 내에서 캐논화할 수 있는가?
• RQ3 Lindell의 트리 캐논화 알고리즘이 계층적 그래프 구조에서 로그공간 사용을 위해 어떻게 수정될 수 있는가?
• RQ4 어떤 구조적 성질이 이중연결 성분에서 3연결 성분으로의 로그공간 환원을 가능하게 하는가?
• RQ5 색칠된 3연결 평면 그래프의 자동형사수 유 bounds를 사용하여 로그공간 복잡도를 보장할 수 있는가?

주요 결과

• 평면 그래프 캐논화는 로그공간 내에 존재하며, 이는 문제의 L-완전성을 확립한다.
• 알고리즘은 로그공간 구축 가능한 구성요소 트리를 사용하여 그래프를 이중연결 및 삼중연결 성분으로 재귀적으로 분해함으로써 이를 달성한다.
• 공간 복잡도가 O(log N)로 유 bounds된 재귀적 분해를 통해, Lindell의 트리 캐논화 알고리즘의 수정된 버전이 사용된다.
• 색칠된 3연결 평면 그래프의 자동형사수 수를 유 bounds하는 새로운 군론적 보조정리가 제안되며, 이는 로그공간 환원에 필수적이다.
• 중간 상태의 짧은 기술서만 저장하고 필요 시 재계산함으로써 알고리즘이 오직 O(log N)의 공간만을 사용한다.
• 최종 캐논은 모든 연결점들을 루트로 삼아 순환하며 사전순으로 가장 작은 표현을 선택함으로써 생성되며, 이는 모두 로그공간 내에서 수행된다.