[논문 리뷰] Maximum matching width: new characterizations and a fast algorithm for dominating set

Jisu Jeong, Sigve Hortemo Sæther외 1명|arXiv (Cornell University)|2015. 07. 09.

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

한 줄 요약

이 논문은 나무에서 부분수형의 교차를 통해 최대 매칭 폭(mm-width)을 새로운 방식으로 특성화하며, 이는 노드 중심과 엣지 중심의 트리 폭과 분기폭의 요소를 통합한다. mm-width $ k $ 를 사용한 $ O^*(8^k) $ 알고리즘을 제안하며, 이는 $ \text{tw}(G) > 1.549 \cdot \text{mmw}(G) $ 일 때 $ O^*(3^{\text{tw}}) $ 알고리즘을 능가하여 특정 그래프 계열에 대해 향상된 지수적 시간 복잡도를 제공한다.

ABSTRACT

We give alternative definitions for maximum matching width, e.g. a graph $G$ has $\operatorname{mmw}(G) \leq k$ if and only if it is a subgraph of a chordal graph $H$ and for every maximal clique $X$ of $H$ there exists $A,B,C \subseteq X$ with $A \cup B \cup C=X$ and $|A|,|B|,|C| \leq k$ such that any subset of $X$ that is a minimal separator of $H$ is a subset of either $A, B$ or $C$. Treewidth and branchwidth have alternative definitions through intersections of subtrees, where treewidth focuses on nodes and branchwidth focuses on edges. We show that mm-width combines both aspects, focusing on nodes and on edges. Based on this we prove that given a graph $G$ and a branch decomposition of mm-width $k$ we can solve Dominating Set in time $O^*({8^k})$, thereby beating $O^*(3^{\operatorname{tw}(G)})$ whenever $\operatorname{tw}(G) > \log_3{8} imes k \approx 1.893 k$. Note that $\operatorname{mmw}(G) \leq \operatorname{tw}(G)+1 \leq 3 \operatorname{mmw}(G)$ and these inequalities are tight. Given only the graph $G$ and using the best known algorithms to find decompositions, maximum matching width will be better for solving Dominating Set whenever $\operatorname{tw}(G) > 1.549 imes \operatorname{mmw}(G)$.

연구 동기 및 목표

• 노드 중심과 엣지 중심의 트리 폭과 분기폭의 특성을 통합하는 최대 매칭 폭(mm-width)의 새로운 특성화를 개발하는 것.
• mm-width를 매개변수로 사용하여 Dominating Set 문제에 대해 더 빠른 고정 매개변수 가능(FPT) 알고리즘을 설계하는 것.
• 특정 그래프에서 $ \text{tw}(G) > 1.549 \cdot \text{mmw}(G) $ 일 경우, mm-width가 트리 폭보다 지수적 시간 성능을 더 잘 제공할 수 있음을 보여주는 것.

제안 방법

• 각 정점가 부분수형에 대응되는 나무 표현을 통해 mm-width를 정의하며, 너비는 어떤 정점이나 간선를 공유하는 부분수형의 최대 수로 제한된다.
• 기타 특성화 도입: 그래프 $ G $ 가 $ \text{mmw}(G) \leq k $ 를 만족하는 것은, $ H $ 의 모든 최대 클리크 $ X $ 가 크기가 각각 $ k $ 이하인 세 집합 $ A, B, C $ 로 분할되고, $ H $ 의 모든 최소 분리집합이 $ A, B, C $ 중 하나에 포함될 때, $ G $ 가 $ H $ 의 부분그래프임과 동치이다.
• mm-width $ k $ 의 분기 분해에서 동적 프로그래밍을 사용하며, $ |A|, |B|, |C| \leq k $ 인 정점 부분집합에 대한 함수를 통해 독립 집합 상태를 추적한다.
• 빠른 부분집합 컨볼루션 기법을 적용하여 상태 전이를 효율적으로 계산하며, 실행 시간을 $ O^*(8^k) $ 로 제한한다.
• 이중 그래프에서 유일한 최소 정점 커버의 단조성 성질을 활용하여 새로운 특성화를 유도한다.
• mm-width가 FPT 측면에서 트리 폭과 분기폭과 동치이지만, 특정 그래프 가족에 대해 더 날카운 경계를 제공함을 보여준다.

실험 결과

연구 질문

• RQ1 mm-width는 나무에서 부분수형의 교차를 통해 특성화될 수 있는가? 이는 트리 폭과 분기폭의 노드 및 엣지 중심 제약 조건을 통합하는가?
• RQ2 mm-width는 $ \text{tw}(G) > 1.549 \cdot \text{mmw}(G) $ 인 그래프에서 트리 폭보다 Dominating Set 문제에 대해 더 빠른 알고리즘을 가능하게 하는가?
• RQ3 최소 분리집합을 포괄하는 캄프레스 초과 그래프와 클리크 분할을 이용한 mm-width의 구조적 특성화가 존재하는가?
• RQ4 새로운 특성화를 사용하여 mm-width 분해를 FPT 시간 내에 계산할 수 있는가?
• RQ5 mm-width용 동적 프로그래밍 프레임워크는 다른 $ (\sigma, \rho) $-문제로 일반화될 수 있는가?

주요 결과

• 논문은 $ \text{mmw}(G) \leq \text{tw}(G) + 1 \leq 3 \cdot \text{mmw}(G) $ 를 확립하며, 날카운 경계를 보여주어 mm-width가 강력한 매개변수임을 입증한다.
• mm-width에 대한 새로운 특성화가 제시된다: $ G $ 가 $ \text{mmw}(G) \leq k $ 를 만족하는 것은, $ H $ 의 모든 최대 클리크 $ X $ 가 크기가 각각 $ k $ 이하인 세 부분집합 $ A, B, C $ 로 분할되고, $ H $ 의 모든 최소 분리집합이 $ A, B, C $ 중 하나에 포함될 때, $ G $ 가 $ H $ 의 부분그래프임과 동치이다.
• mm-width 분해를 사용한 $ O^*(8^k) $ 알고리즘을 도출하였으며, $ \text{tw}(G) > \log_3 8 \cdot k \approx 1.893k $ 일 경우 $ O^*(3^{\text{tw}}) $ 알고리즘을 능가한다.
• 오직 그래프 $ G $ 만 주어진 경우, 총 실행 시간은 $ O^*(2^{9 \cdot \text{mmw}(G)}) $ 가 되며, 이는 $ \text{tw}(G) > 1.549 \cdot \text{mmw}(G) $ 일 경우 트리 폭 근사치로부터 유도된 $ O^*(3^{3.666 \cdot \text{tw}(G)}) $ 경계보다 우월하다.
• 알고리즘은 $ A, B, C \subseteq X $ 에 대한 상태 함수를 사용하며, 부분집합 크기 제약으로 인해 실행 시간은 $ O^*(2^{3k}) $ 로 제한되며, 이는 $ O^*(8^k) $ 를 달성한다.
• 나무 기반의 부분수형 표현은 mm-width가 트리 폭과 분기폭의 노드 및 엣지 중심 특성을 통합하여 그래프 매개변수에 대한 통합적 시각을 제공한다.