[논문 리뷰] Designing Output Sensitive Algorithms for Subgraph Enumeration

Yixin Cao|arXiv (Cornell University)|2020. 04. 21.

Advanced Graph Theory Research참고 문헌 50인용 수 6

한 줄 요약

이 논문은 유전적 그래프 계열에서 최대 유도 부분그래프에 대한 출력에 민감한 순회 알고리즘을 설계하기 위한 새로운 프레임워크를 제안한다. 복수의 정점에 대한 보복 없는 경로와 t-제한된 문제 변형을 활용하여, 간단한 증명을 제공하고 기존 접근법을 솔루션 맵을 통해 통합함으로써, 간격 그래프, 임계 그래프, 유계 차수 그래프 등 주요 계열에서 연결 및 비연결 변형에 대해 다항 지연 알고리즘을 확립한다.

ABSTRACT

Given a graph $G$, the maximal induced subgraphs problem asks to enumerate all maximal induced subgraphs of $G$ that belong to a certain hereditary graph class. While its optimization version, known as the minimum vertex deletion problem in literature, has been intensively studied, enumeration algorithms are known for a few simple graph classes, e.g., independent sets, cliques, and forests, until very recently [Conte and Uno, STOC 2019]. There is also a connected variation of this problem, where one is concerned with only those induced subgraphs that are connected. We introduce two new approaches, which enable us to develop algorithms that solve both variations for a number of important graph classes. A general technique that has been proved very powerful in enumeration algorithms is to build a solution map, i.e., a multiple digraph on all the solutions of the problem, and the key of this approach is to make the solution map strongly connected, so that a simple traversal of the solution map solves the problem. We introduce retaliation-free paths to certificate strong connectedness of the solution map we build. Generalizing the idea of Cohen, Kimelfeld, and Sagiv [JCSS 2008], we introduce the $t$-restricted version, $t$ being a positive integer, of the maximal (connected) induced subgraphs problem, and show that it is equivalent to the original problem in terms of solvability in incremental polynomial time. Moreover, we give reductions between the two variations, so that it suffices to solve one of the variations for each class we study. Our work also leads to direct and simpler proofs of several important known results.

연구 동기 및 목표

• 중요한 유전적 그래프 계열에서 최대 유도 부분그래프에 대한 효율적이고 출력에 민감한 순회 알고리즘을 개발하기 위해.
• 최대 유도 부분그래프 문제의 표준 및 연결 변형을 모두 다루기 위해.
• 솔루션 맵과 강한 연결성에 기반한 새로운 이론적 프레임워크를 통해 기존 결과를 통합하고 단순화하기 위해.
• 증분 다항 시간 내에서 t-제한된 문제와 원래 문제 간의 동치성을 확립하기 위해.
• 일부 알려진 결과에 대해 직접적이고 간단한 증명을 제공하기 위해.

제안 방법

• 노드가 최대 유도 부분그래프를 나타내고, 화살표가 후속 관계를 나타내는 방향성 있는 다중그래프로 구성된 솔루션 맵을 구축하기 위해.
• 각 솔루션 S에 대해, S에 속하지 않는 정점 v를 하나 추가하고 S ∪ {v}에서 제한된 부분문제를 해결함으로써 새로운 솔루션을 생성하는 후속 함수를 정의하기 위해.
• 목표 솔루션으로 향하는 진전을 보장하면서 사이클을 피하는 '보복 없는 경로'를 사용하여 솔루션 맵의 강한 연결성을 인증하기 위해.
• 증분 다항 시간 내에서 해결 가능한 t-제한된 문제 변형(≥ 1)을 도입하여 원래 문제와의 동치성을 확립하기 위해.
• 목표 솔루션으로부터 누락된 원소의 수와 같은 척도 기반의 추론(예: 목표 솔루션으로부터의 거리)을 사용하여, 모든 솔루션이 기준 솔루션에 더 가까운 후속 솔루션을 가짐을 증명하기 위해.
• Cohen 등 [20]의 결과를 활용하여, 입력 제한 문제의 다항 시간 내에서의 해법 가능성이 다항 지연 순회를 암시함을 증명하기 위해.

실험 결과

연구 질문

• RQ1 유전적 그래프 계열의 광범위한 범주에서 최대 유도 부분그래프 문제에 대한 다항 지연 순회 알고리즘을 설계할 수 있는가?
• RQ2 문제의 t-제한된 변형은 어떻게 증분 다항 시간 내에서 순회 가능하게 만들 수 있는가?
• RQ3 어떤 그래프 계열의 구조적 성질이 솔루션 맵이 보복 없는 경로를 통해 강하게 연결되도록 보장하는가?
• RQ4 최대 유도 부분그래프 문제의 연결 및 비연결 변형은 효율적인 알고리즘 설계를 위해 상호로 환원될 수 있는가?
• RQ5 제안된 프레임워크는 기존의 하위그래프 순회 결과에 대해 더 단순하고 일반적인 증명을 도출할 수 있는가?

주요 결과

• 간격 그래프, 자명하게 완전한 그래프, 스플릿 그래프, 임계 그래프, 클러스터 그래프, 완전 이분 그래프, d-차수 유계 그래프에서 최대 유도 P 부분그래프 문제와 그 연결 변형은 다항 지연으로 해결 가능하다.
• 휠-프리 그래프, 유닛 간격 그래프, 블록 그래프, 3-엽력 그래프, 그리고 유한한 금지된 유도 부분그래프 특성화를 가진 모든 그래프 계열에서는 문제를 증분 다항 시간 내에서 해결할 수 있다.
• 스플릿 그래프 계열은 CKS 성질을 가지며, 임의의 그래프에서 최대 O(n²)개의 최대 유도 스플릿 부분그래프가 존재하므로 효율적인 순회가 가능하다.
• 퍼소-스플릿 그래프 계열 역시 CKS 성질을 가지며, 클리크와 독립 집합의 구조적 제약으로 인해 최대 O(n⁴)개의 최대 유도 퍼소-스플릿 부분그래프가 존재한다.
• 최대 차수 d(고정된 d)를 가진 그래프에서는 최대 O(d²d nᵈ)개의 최대 유도 부분그래프가 존재하며, 이는 n에 대한 다항식이므로 다항 지연 순회가 가능하다.
• 문제의 t-제한된 변형은 증분 다항 시간 내에서의 해법 가능성 측면에서 원래 문제와 동치이며, 이는 통합된 알고리즘 접근법을 가능하게 한다.