[논문 리뷰] Efficient Enumeration of Dominating Sets for Sparse Graphs

Kurita, Kazuhiro, K. Wasa외 2명|arXiv (Cornell University)|2018. 01. 01.

Advanced Graph Theory Research참고 문헌 26인용 수 1

한 줄 요약

이 논문은 희박한 그래프에서 모든 지배 집합을 효율적으로 열거하는 두 가지 알고리즘을 제안한다: EDS-D는 k-희박성 그래프에서 각 해에 대해 O(k) 시간에 작동하며, EDS-G는 둘레가 9 이상인 그래프에서 각 해에 대해 상수 시간의 평균 시간을 달성한다. 이 방법들은 희박성의 구조적 특성인 희박성과 둘레 제약을 활용하여 최적의 출력 민감도 성능을 달성한다.

ABSTRACT

A dominating set $D$ of a graph $G$ is a set of vertices such that any vertex in $G$ is in $D$ or its neighbor is in $D$. Enumeration of minimal dominating sets in a graph is one of central problems in enumeration study since enumeration of minimal dominating sets corresponds to enumeration of minimal hypergraph transversal. However, enumeration of dominating sets including non-minimal ones has not been received much attention. In this paper, we address enumeration problems for dominating sets from sparse graphs which are degenerate graphs and graphs with large girth, and we propose two algorithms for solving the problems. The first algorithm enumerates all the dominating sets for a $k$-degenerate graph in $O(k)$ time per solution using $O(n + m)$ space, where $n$ and $m$ are respectively the number of vertices and edges in an input graph. That is, the algorithm is optimal for graphs with constant degeneracy such as trees, planar graphs, $H$-minor free graphs with some fixed $H$. The second algorithm enumerates all the dominating sets in constant time per solution for input graphs with girth at least nine.

연구 동기 및 목표

• 희박한 그래프에서 최소 및 비최소 지배 집합을 모두 효율적으로 열거하는 알고리즘을 개발한다.
• 실제 응용에서의 중요성에도 불구하고 비최소 지배 집합 열거에 대한 관심이 부족한 점을 보완한다.
• 희박성 측정치(희박성과 둘레)를 활용하여 출력 민감도 알고리즘을 설계하고 각 해당 시간을 최적화한다.
• 나무와 평면 그래프와 같은 상수 희박성 또는 큰 둔률을 가진 그래프 클래스에서 효율적 열거를 위한 이론적 기반을 제공한다.

제안 방법

• k-희박성 기반 정점 순서를 사용하여 각 해당 시간이 O(k)인 EDS-D를 제안한다.
• 중복 없이 전체를 커버하는 것을 보장하기 위해 표준 부모-자식 관계를 가진 역방향 탐색 프레임워크를 사용한다.
• EDS-G에서는 둘레 제약(≥9)을 활용하여 각 지배 집합이 유한한 수의 후손을 가짐을 증명하고, 이를 통해 각 해당 시간을 상수 시간으로 약간의 평균화를 달성한다.
• 이웃 및 사이클 제약 조건에 기반해 지배 집합의 자식, 손자, 증손자를 수치적으로 제한하기 위해 구조적 보조정리를 적용한다.
• 잠재 함수 분석을 통해 재귀적 탐색의 비용을 후손들에 걸쳐 분산시켜, 둘레 기반 알고리즘에서 O(1)의 평균 시간 성능을 달성한다.
• 짧은 사이클의 부재와 제한된 공통 이웃과 같은 그래프 이론적 성질을 활용하여 유일성과 유한한 분기 수를 보장한다.

실험 결과

연구 질문

• RQ1 희박한 그래프에서 비최소 지배 집합까지 포함한 모든 지배 집합의 출력 민감도 열거를 통해 비트리비얼 시간 복잡도 이하의 성능을 달성할 수 있는가?
• RQ2 그래프의 희박성이 O(n) 또는 O(∆) 시간 이하의 해당 시간보다 더 빠른 열거 알고리즘을 가능하게 하는가?
• RQ3 그래프의 둔률을 활용하여 모든 지배 집합의 상수 시간 평균 열거를 달성할 수 있는가?
• RQ4 고르지 않은 둔률 또는 낮은 희박성을 가진 밀집 그래프 클래스에서 다항 지연 또는 상수 평균 시간으로 작동하는 알고리즘을 설계할 수 있는가?
• RQ5 희박성과 둔률과 같은 구조적 성질이 그래프 내 분기 계수와 지배 집합 총 수에 어떤 영향을 미치는가?

주요 결과

• EDS-D는 k-희박성 그래프에서 각 해당 시간이 O(k)로, 나무, 평면 그래프, H-미니멀 프리 그래프와 같이 상수 희박성을 가진 그래프에서 최적의 성능을 달성한다.
• EDS-G는 둘레가 9 이상인 그래프에서 각 해당 시간이 O(1)로, 짧은 사이클의 부재를 활용해 후손 성장률을 제한한다.
• 두 알고리즘은 표준 부모-자식 관계를 가진 역방향 탐색 프레임워크를 사용하여 중복 없이 전체를 커버하는 열거를 보장한다.
• 두 알고리즘의 공간 복잡도는 O(n + m)이며, 이는 큰 희박한 그래프에 대해 메모리 효율적이다.
• 이론적 분석을 통해 각 재귀 호출의 비용이 후손들에 걸쳐 분산되어, 둔률 기반 알고리즘에서 상수 시간 성능을 달성함을 증명한다.
• 구조적 희박성(희박성과 둔률로 측정)이 비트리비얼 한계를 초월해 열거 효율성을 크게 향상시킬 수 있음을 입증한다.