[논문 리뷰] Lower Bounds for Maximum Weighted Cut

Gregory Gutin, Anders Yeo|arXiv (Cornell University)|2021. 01. 01.

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

한 줄 요약

이 논문은 확률적 방법, Vizing의 정리 및 구조적 그래프 성질을 이용하여 가중 그래프에서 최대 가중 컷(MWC) 문제에 대한 새로운 하한을 확립한다. 일반적인 하한을 제안하고, 둘레가 유계이거나 삼각형이 없는 그래프에 대해 더 강력한 결과를 도출한다. 특히, 최대 차수 ≤3인 부분삼각형 그래프에 대해 mac(G) ≥ 8/11 · w(G)라는 핵심 하한을 도출하였으며, 삼각형이 없는 그래프에 대해 spanning tree T가 존재할 경우 mac(G) ≥ w(G)/2 + 3w(T)/8라는 추측된 하한을 제시한다.

ABSTRACT

Let G be a graph on n vertices. For i ∈ {0,1} and a connected graph G, a spanning forest F of G is called an i-perfect forest if every tree in F is an induced subgraph of G and exactly i vertices of F have even degree (including zero). An i-perfect forest of G is proper if it has no vertices of degree zero. Scott (2001) showed that every connected graph with even number of vertices contains a (proper) 0-perfect forest. We prove that one can find a 0-perfect forest with minimum number of edges in polynomial time, but it is NP-hard to obtain a 0-perfect forest with maximum number of edges. We also prove that for a prescribed edge e of G, it is NP-hard to obtain a 0-perfect forest containing e, but we can find a 0-perfect forest not containing e in polynomial time. It is easy to see that every graph with odd number of vertices has a 1-perfect forest. It is not the case for proper 1-perfect forests. We give a characterization of when a connected graph has a proper 1-perfect forest.

연구 동기 및 목표

• 일般적인 가중 그래프에서 최대 가중 컷(MWC) 문제에 대한 새로운, 계산 가능한 하한을 도출하는 것.
• 특히 둘레가 유계이거나 삼각형이 없는 등의 구조적 제약 조건이 있는 그래프에 대해 기존의 비자명한 하한을 향상시키는 것.
• Poljak-Turzák 하한을 최소 스패닝 트리가 아닌 DFS 트리로 대체하여 확장하고, 이러한 개선의 계산 복잡도를 탐구하는 것.
• 특히 부분삼각형 그래프이자 최대 차수 유계인 그래프의 구조적 성질을 조사하고, 더 강력한 MWC 하한을 도출하는 것.

제안 방법

• 모든 B-부분그래프 R에 대해 mac(G) ≥ (w(G) + w(R))/2라는 일반적인 하한을 도입함으로써 Poljak-Turzák 하한을 일반화함.
• 정점 분할의 랜덤 2색 칠하기를 분석하기 위해 확률적 방법을 사용하고 기대 컷 무게를 도출함.
• Vizing의 색인 수 정리에 따라 간선을 색칠하고, 부분그래프 내의 매칭 및 사이클 구조를 활용함.
• DFS 트리, 최대 무게 스패닝 트리, 최대 무게 매칭을 기반으로 새로운 부등식을 유도함.
• DFS 트리를 최대 무게 DFS 트리로 대체할 경우, 하한 계산이 NP-난이도가 됨을 증명함. 이는 삼각형이 없는 그래프의 경우에도 마찬가지임.
• 다양한 구조적 케이스(A0, A1, A2)에서 유도된 여러 부등식을 볼록 조합을 통해 통합하여 강력한 종합 하한을 도출함.

실험 결과

연구 질문

• RQ1 최소 스패닝 트리를 DFS 트리로 대체함으로써 Poljak-Turzák 하한 mac(G) ≥ w(G)/2 + w(Tmin)/4를 개선할 수 있는가?
• RQ2 둘레가 유계이거나 삼각형이 없는 그래프에 대해 기존 하한보다 더 강력한 다항식 시간 계산 가능한 MWC 하한을 얻을 수 있는가?
• RQ3 삼각형이 없는 그래프에서 최대 차수 ∆ ≤ 3일 때, 형태 mac(G) ≥ a∆ · w(G)의 최적 하한은 무엇인가?
• RQ4 모든 삼각형이 없는 부분삼각형 그래프는 각 5사이클이 정확히 한 개의 간선만 포함하는 간선 집합 E′을 갖는가? 이는 MWC 하한과 어떻게 관련되는가?
• RQ5 모든 삼각형이 없는 그래프 G와 모든 스패닝 트리 T에 대해 mac(G) ≥ w(G)/2 + 3w(T)/8를 증명할 수 있는가?

주요 결과

• 논문은 G의 임의의 DFS 트리 D에 대해 mac(G) ≥ w(G)/2 + w(D)/4임을 증명하였으며, 이는 최소 무게 트리가 필요하지 않기 때문에 Poljak-Turzák 하한보다 더 강력함을 보여줌.
• 최대 차수 ∆(G) ≤ 3인 삼각형이 없는 그래프에 대해 강력한 하한 mac(G) ≥ 8/11 · w(G)를 확립함으로써 이전 하한을 향상시킴.
• 삼각형이 없는 부분삼각형 그래프 G의 임의의 스패닝 트리 T에 대해 mac(G) ≥ w(G)/2 + 0.3193 · w(T)임을 보여주며, 트리의 무게에 대한 강력한 선형 의존성을 제공함.
• DFS 트리를 최대 무게 DFS 트리로 대체할 경우, 하한 계산이 NP-난이도가 됨을 증명함. 이는 삼각형이 없는 그래프의 경우에도 마찬가지임.
• 논문은 삼각형이 없는 그래프 G와 임의의 스패닝 트리 T에 대해 mac(G) ≥ w(G)/2 + 3w(T)/8라는 추측을 제기함으로써 8/11 하한을 일반화함.
• 최대 차수 ∆인 삼각형이 없는 그래프에 대해 mac(G) ≥ a∆ · w(G)를 확립하였으며, a∆ > 1/2임을 보였고, ∆ ≤ 16일 경우 Theorem 5.12의 하한이 Shearer의 하한보다 더 강력함을 증명함.