[논문 리뷰] A new tractable combinatorial decomposition

Binh-Minh Bui-Xuan, Michel Habib외 2명|arXiv (Cornell University)|2007. 01. 01.

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

한 줄 요약

이 논문은 그래프 모듈과 비조인을 일반화하는 새로운 조합적 분해 프레임워크인 umodules를 소개한다. 이는 동일한 관계—비방향 그래프 및 토너먼트를 포함—에 대해 다항식 시간 내의 분해를 가능하게 하며, 자연스러운 공리들을 만족하는 구조에 대해 유일한 분해 트리를 수립한다. 이는 그래프와 토너먼트에 대해 선형 시간 알고리즘을 도출하며, 코그래프 이론과 라운드 토너먼트 이론을 새로운 특성과 효율적인 알고리즘으로 통합한다.

ABSTRACT

This paper introduces the umodules, a generalisation of the notion of module in graph theory. The structure to be decomposed, so-called homogeneous relation, captures among other undirected graphs, tournaments, digraphs, and 2-structures. Our resulting decomposition scheme when restricted to undirected graphs generalises the well-studied modular graph decomposition, and meets the recently introduced bi-join decomposition. All other cases up to our knowledge lead to new notions. First some properties of the umodule family are presented. Polynomial-time algorithms for non-trivial umodule existence test and for maximal umodule computation are then provided. When the input structure fulfills some natural axioms, the umodule family is shown to own a unique decomposition tree. We provide various algorithms to compute this tree in polynomial time: their exact performance depends on some size assumption. Among other our theory applies to two particular cases: undirected graphs and tournaments. First, the latter tree-decomposition time in theses two cases is linear in the size of the input structure. Besides, our work here can also be seen as a unification of the bi-join undirected graph decomposition and of a new tournament decomposition. From this viewpoint, we address the total decomposability of those structures, and obtain strong structural relationship between the so-called cographs and round tournaments. We then show how our theory provides a very natural manner to obtain several results on the so-called round tournaments, including characterisation by forbiding induced subgraphs, recognition, isomorphism testing, and feedback vertex set computation.

연구 동기 및 목표

• 비방향 그래프, 토너먼트, 2-구조를 포함한 더 넓은 클래스의 구조로 그래프 모듈 개념을 일반화하기.
• 동일한 관계 내에서 비자명한 umodules를 탐지하고 최대 umodules를 계산하기 위한 다항식 시간 알고리즘 개발.
• 자연스러운 공리들을 만족하는 구조에 대해 고유한 분해 트리를 수립하여 효율적인 구조 분석을 가능하게 하기.
• 특히 코그래프의 비조인 분해와 새로운 토너먼트 분해 이론을 통합하기.
• 라운드 토너먼트와 코그래프에서 인식, 동형 테스트, 피드백 정점 집합 계산에 대한 새로운 알고리즘 결과 유도하기.

제안 방법

• 비방향 그래프, 토너먼트, 방향 그래프를 포함한 동일한 관계 위에서 정의된 그래프 모듈의 일반화로 umodules를 도입한다.
• umodule 가족이 고유한 분해 트리를 형성할 수 있도록 하는 공리 체계 수립으로 구조적 일관성 확보.
• 입력 구조 내에서 비자명한 umodules의 존재 여부를 테스트하기 위한 다항식 시간 알고리즘 개발.
• 모든 최대 umodules를 계산하기 위한 다항식 시간 알고리즘 설계로 분해의 기초 마련.
• 특수 케이스인 비방향 그래프 및 토너먼트에 대해 분해 트리 구축을 적용하여 선형 시간 복잡도 달성.
• 분해 트리를 활용해 코그래프 및 라운드 토너먼트에 대한 새로운 구조적 특성과 알고리즘 결과 도출.

실험 결과

연구 질문

• RQ1 그래프 모듈 개념을 토너먼트 및 2-구조를 포함한 더 넓은 조합적 구조 클래스로 일반화할 수 있는가?
• RQ2 주어진 구조의 umodule 가족에 대해 고유한 분해 트리가 존재하는 조건은 무엇인가?
• RQ3 분해 트리는 어떻게 효율적으로 계산할 수 있으며, 비방향 그래프 및 토너먼트와 같은 특정 클래스에 대해 시간 복잡도는 얼마인가?
• RQ4 umodule 프레임워크는 비조인 분해 이론과 토너먼트 분해 이론을 통합할 수 있는가?
• RQ5 이 분해 프레임워크를 통해 라운드 토너먼트와 코그래프에 대해 유도할 수 있는 새로운 알고리즘적 및 구조적 결과는 무엇인가?

주요 결과

• umodule 프레임워크는 비방향 그래프의 모듈러 분해와 비조인 분해를 일반화하여 이러한 개념들을 통합적인 시각으로 제공한다.
• 비방향 그래프 및 토너먼트의 경우, 입력 크기와 선형 비례하는 시간 내에 분해 트리를 계산할 수 있다.
• 이론은 분해 구조에서 유도된 금지된 유도 부분그래프를 통한 코그래프의 새로운 특성화를 가능하게 한다.
• 라운드 토너먼트의 인식과 동형 테스트는 분해 트리를 활용해 효율적으로 해결할 수 있다.
• 라운드 토너먼트의 피드백 정점 집합 문제는 이 분해 프레임워크를 통해 다항식 시간 내에 해결 가능하다.
• 입력 구조가 특정 자연스러운 공리들을 만족할 경우, umodule 가족은 고유한 분해 트리 성질을 만족하여 구조적 일관성을 보장한다.