[논문 리뷰] Exact counting of Euler Tours for Graphs of Bounded Treewidth

Prasad Chebolu, Mary Cryan외 1명|arXiv (Cornell University)|2013. 10. 01.

Advanced Graph Theory Research참고 문헌 3인용 수 3

한 줄 요약

이 논문은 유 bound treewidth를 가진 무방향 올러러안 그래프에서 정확한 올러러 투어 수를 다항시간에 세는 알고리즘을 제시한다. 이는 유명한 트리 분해를 기반으로 한 동적 프로그래밍을 활용한다. 주요 기여는 이전의 결과를 트리너비 2인 시리즈-패러럴 그래프에서 고정된 트리너비를 가진 모든 그래프로 확장한 것으로, 이 그래프 클래스에 대한 수세기 동안 미해결된 열린 문제를 해결한다.

ABSTRACT

In this paper we give a simple polynomial-time algorithm to exactly count the number of Euler Tours (ETs) of any Eulerian graph of bounded treewidth. The problems of counting ETs are known to be #P-complete for general graphs (Brightwell and Winkler, (Brightwell and Winkler, 2005). To date, no polynomial-time algorithm for counting Euler tours of any class of graphs is known except for the very special case of series-parallel graphs (which have treewidth 2).

연구 동기 및 목표

• 유 bound treewidth를 가진 무방향 올러러안 그래프에서 올러러 투어를 효율적으로 정확하게 세는 알고리즘을 개발하는 것.
• 트리너비 2인 시리즈-패러럴 그래프에 대해 알려진 다항시간 결과를 고정된 트리너비를 가진 모든 그래프로 확장하는 것.
• 일반 그래프에서 올러러 투어 수를 세는 것이 #P-완전임이 알려져 있음에도 불구하고 이 문제의 계산 난이도를 다루는 것.
• 트리 분해와 분해 상에서의 동적 프로그래밍을 활용하는 구조적 방법을 제공하는 것.

제안 방법

• 알고리즘은 입력 그래프의 나이스 트리 분해를 사용한다. 이는 유 bound treewidth 그래프에 표준적인 기법이다.
• 각 부트리에서 부분 포레스트의 충전 벡터와 루트 벡터를 추적하는 동적 프로그래밍 테이블을 유지한다.
• 트리 분해의 조인 노드에서는 왼쪽 및 오른쪽 서브트리의 해를 조합하는 조합 규칙을 사용하여 루트 할당과 충전 전파의 일관성을 유지한다.
• 결과 포레스트에서 사이클 없음과 적절한 연결성을 보장하기 위해 루트 벡터에 대한 조건을 확인함으로써 유효한 조합을 계산한다.
• 하나의 하향식 재귀적 순회를 통해 트리 분해를 순회하며, 리프에서 테이블을 초기화하고 내부 노드에서 이를 결합한다.
• 유효한 올러러안 방향화와 일관된 간선 순회에 대응하는 제약 조건을 강제하여 정확성을 확보한다.

실험 결과

연구 질문

• RQ1 일반적으로 #P-완전임이 알려진 문제임에도 불구하고, 유 bound treewidth를 가진 그래프에서 올러러 투어 수를 다항시간에 세는 것이 가능한가?
• RQ2 충전 및 루트 벡터와 같은 구조적 성질을 추적함으로써 트리 분해 상에서의 동적 프로그래밍 접근이 올러러 투어 수를 효율적으로 세는 데 사용될 수 있는가?
• RQ3 유 방향 올러러안 그래프에서 올러러 투어와 내부 아보레스런스 간의 관계를 어떻게 활용하여 유 bound treewidth를 가진 무방향 그래프에서 수를 세는 데 응용할 수 있는가?
• RQ4 이 알고리즘은 트리너비가 유한한 그래프에 대해 다른 그래프 다항식, 예를 들어 마르틴 다항식을 계산하는 데로 확장될 수 있는가?

주요 결과

• 논문은 유 bound treewidth를 가진 임의의 올러러안 그래프에서 올러러 투어 수를 다항시간에 세는 알고리즘을 제시하며, 수세기 동안 미해결이었던 계산 복잡도 이론의 열린 문제를 해결한다.
• 알고리즘은 나이스 트리 분해 상에서의 동적 프로그래밍에 기반하며, 부분 포레스트의 충전 및 루트 벡터를 추적하는 상태 테이블을 사용한다.
• 조인 노드를 정확히 처리하기 위해, 사이클 없음과 일관된 루트 할당을 보장하는 제약 조건 하에 서브트리의 해를 조합한다.
• 이 방법은 이전의 트리너비 2인 시리즈-패러럴 그래프에 대한 연구를 고정된 트리너비 d를 가진 모든 그래프로 일반화한다.
• 알고리즘의 정확성은 올러러 투어가 트리 분해 상의 내부 아보레스런스 및 포레스트 구조와 어떻게 관련되어 있는지를 정밀하게 특성화한 데 기반한다.
• 이 작업은 마르틴 다항식과 같은 다른 그래프 다항식을 유 bound treewidth 그래프에 대해 계산할 수 있는 기초를 제공한다.