[논문 리뷰] Dichotomies for Maximum Matching Cut: $H$-Freeness, Bounded Diameter, Bounded Radius

Felicia Lucke, Daniël Paulusma외 1명|arXiv (Cornell University)|2023. 01. 01.

Advanced Graph Theory Research인용 수 2

한 줄 요약

이 논문은 H-free 그래프, 유계 직경 그래프, 유계 반경 그래프에서 최대 매칭 컷 문제에 대해 완전한 이분법을 수립한다. 그래프 계열이 H ⊆i sP₂ + P₆, 유계 직경 ≤2, 또는 유계 반경 ≤1로 제한될 경우 다항식 시간 내에서 해법 가능하며, 그 외의 경우는 NP-난이도임을 증명한다. 이는 기존의 매칭 컷 및 완벽 매칭 컷에 대한 결과를 최적화 설정으로 확장하며, 새로운 기법과 비연결 완벽 매칭에 대한 적용을 포함한다.

ABSTRACT

The (Perfect) Matching Cut problem is to decide if a graph $G$ has a (perfect) matching cut, i.e., a (perfect) matching that is also an edge cut of $G$. Both Matching Cut and Perfect Matching Cut are known to be NP-complete. A perfect matching cut is also a matching cut with maximum number of edges. To increase our understanding of the relationship between the two problems, we perform a complexity study for the Maximum Matching Cut problem, which is to determine a largest matching cut in a graph. Our results yield full dichotomies of Maximum Matching Cut for graphs of bounded diameter, bounded radius and $H$-free graphs. A disconnected perfect matching of a graph $G$ is a perfect matching that contains a matching cut of $G$. We also show how our new techniques can be used for finding a disconnected perfect matching with a largest matching cut for special graph classes. In this way we can prove that the decision problem Disconnected Perfect Matching is polynomial-time solvable for $(P_6+sP_2)$-free graphs for every $s\geq 0$, extending a known result for $P_5$-free graphs (Bouquet and Picouleau, 2020).

연구 동기 및 목표

• 주요 그래프 계열, 즉 H-free 그래프, 유계 직경, 유계 반경 그래프에서 최대 매칭 컷 문제의 계산 복잡도를 분류하는 것.
• 기존의 매칭 컷 및 완벽 매칭 컷에 대한 다항식 시간 알고리즘의 결과를 최적화 형태인 최대 매칭 컷으로 확장하는 것.
• 특수 그래프 계열에서 비연결 완벽 매칭 문제와 최대 매칭 컷 간의 관계를 조사하는 것.
• 특정 그래프 계열, 특히 직경 3 및 반경 2 그래프에 대해 완벽 매칭 컷 및 비연결 완벽 매칭 문제의 복잡도에 대한 열린 문제를 해결하는 것.
• 최대 매칭 컷 및 최대 비연결 완벽 매칭에 대해 일반화 가능한 새로운 구조 기법을 사용한 통합 프레임워크를 제공하는 것.

제안 방법

• 큰 매칭 컷을 가지는 그래프의 새로운 구조적 특성화를 개발하였으며, 특히 금지된 부분그래프와 직경/반경 제약 조건에 중점을 두었다.
• 2P₃-free 사각형 그래프에서 직경 3 및 반경 2인 경우에 대해 NP-난이도를 증명하기 위해 감소 기법을 사용하였다. 이 경우 매칭 컷 문제는 기존에 다항식 시간 내에서 해법 가능하다고 알려져 있다.
• P₆-free 및 (P₆ + sP₂)-free 그래프에 대한 기존 결과를 활용하여 최대 매칭 컷 및 최대 비연결 완벽 매칭에 대한 다항식 시간 알고리즘을 확장하였다.
• 정점 제거 닫힘 및 유전적 계열 분석 기법을 적용하여 H-free 그래프를 H의 구조에 따라 분류하였다.
• 최대 매칭 컷의 복잡도 이분법이 동일한 그래프 제약 조건 하에서 최대 비연결 완벽 매칭의 것과 정확히 일치함을 증명하였다.
• 완전 매칭에 포함된 매칭 컷을 갖는 비연결 완벽 매칭의 개념을 활용하여, (P₆ + sP₂)-free 그래프에 대해 새로운 다항식 시간 알고리즘을 유도하였다.

실험 결과

연구 질문

• RQ1 어떤 그래프 계열에서 최대 매칭 컷 문제가 다항식 시간 내에서 해법 가능하며, 어떤 경우는 NP-난이도인가?
• RQ2 H-free, 유계 직경, 유계 반경 그래프에서 최대 매칭 컷의 복잡도는 매칭 컷 및 완벽 매칭 컷의 복잡도와 어떻게 비교되는가?
• RQ3 최대 매칭 컷에 사용된 기법을 비연결 완벽 매칭의 최적화 형태로 적응시킬 수 있는가?
• RQ4 직경 3인 그래프에 대해 완벽 매칭 컷의 복잡도는 얼마이며, 반경 2인 그래프에 대해 비연결 완벽 매칭의 복잡도는 얼마인가?
• RQ5 H-free 그래프에서 비연결 완벽 매칭이 다항식 시간 내에서 해법 가능하다면, (H + P₃)-free 그래프에서도 동일한 다항식 시간 내 해법 가능성은 성립하는가?

주요 결과

• 최대 매칭 컷은 직경이 2 이하인 그래프에서는 다항식 시간 내에서 해법 가능하고, 직경이 3 이상인 그래프에서는 NP-난이도이며, 이는 이분법을 확립한다.
• 최대 매칭 컷은 반경이 1 이하인 그래프에서는 다항식 시간 내에서 해법 가능하고, 반경이 2 이상인 그래프에서는 NP-난이도이며, 이는 완전한 이분법을 제공한다.
• H-free 그래프에서 최대 매칭 컷은 H ⊆i sP₂ + P₆ (s ≥ 0)일 경우 다항식 시간 내에서 해법 가능하고, H가 K₁,₃, 2P₃, 또는 Cr (r ≥ 3)을 포함할 경우 NP-난이도이다.
• 최대 비연결 완벽 매칭에 대해서도 동일한 이분법이 성립하며, 모든 s ≥ 0에 대해 (P₆ + sP₂)-free 그래프에서 다항식 시간 내에서 해법 가능하다는 것을 증명한다.
• 논문은 기존에 P₅-free 그래프에 대해 성립하는 결과를 확장하여, (P₆ + sP₂)-free 그래프에서 비연결 완벽 매칭이 다항식 시간 내에서 해법 가능하다는 것을 보여줌으로써 열린 문제를 해결한다.
• 저자들은 사각형 그래프에서 매칭 컷 문제가 다항식 시간 내에서 해법 가능하나, 2P₃-free 사각형 그래프에서 최대 매칭 컷 문제는 NP-난이도임을 증명하였다.