[논문 리뷰] Bisections of graphs

Choongbum Lee, Po‐Shen Loh외 1명|arXiv (Cornell University)|2011. 09. 14.

Limits and Structures in Graph Theory참고 문헌 18인용 수 1

한 줄 요약

이 논문은 최대 컷에 대한 Edwards의 고전적 경계를 이분할로 확장하여 최대 차수와 조임 성분의 수를 핵심 매개변수로 도입한다. 고립된 정점이 없고 최대 차수가 n/3 + 1 이하인 모든 그래프는 크기 m/2 + n/6 이상의 이분할을 갖는다고 증명하며, 또한 최소 차수가 2 이상인 그래프가 각 부분에 최대 (1/3 + o(1))m개의 간선을 포함하는 균형 잡힌 이분할을 갖는다는 것을 보여주어 Bollobás와 Scott의 추측을 확인한다.

ABSTRACT

A bisection of a graph is a bipartition of its vertex set in which the number of vertices in the two parts differ by at most 1, and its size is the number of edges which go across the two parts. In this paper, motivated by several questions and conjectures of Bollobás and Scott, we study maximum bisections of graphs. First, we extend the classical Edwards bound on maximum cuts to bisections. A simple corollary of our result implies that every graph on <em>n</em> vertices and <em>m </em> edges with no isolated vertices, and maximum degree at mostn/3+1, admits a bisection of size at least m/2+n/6. Then using the tools that we developed to extend Edwardsʼs bound, we prove a judicious bisection result which states that graphs with large minimum degree have a bisection in which both parts span relatively few edges. A special case of this general theorem answers a conjecture of Bollobás and Scott, and shows that every graph on <em>n</em> vertices and <em>m </em> edges of minimum degree at least 2 admits a bisection in which the number of edges in each part is at most(1/3+o(1))m. We also present several other results on bisections of graphs.

연구 동기 및 목표

• 최대 차수와 새로운 구조적 매개변수인 조임 성분의 수를 통합하여 Edwards의 고전적 최대 컷 경계를 이분할로 확장하는 것.
• 최대 차수가 유계이고 고립된 정점이 없는 그래프에서 이분할 크기에 대한 향상된 하한을 확립하는 것.
• 최소 차수가 2 이상인 그래프가 각 부분에 최대 (1/3 + o(1))m개의 간선을 포함하는 이분할을 갖는다는 것을 보여주어 Bollobás와 Scott의 추측을 해결하는 것.
• 다중 매개변수를 동시에 최적화하는 그래프 분할 문제를 다루기 위해 확률론적 기법과 극적 조합론을 융합한 새로운 분석 도구를 개발하는 것.
• 조임 성분의 구조적 성질과 특히 정규 및 유계 차수 그래프에서 이분할 경계에 미치는 영향을 탐색하는 것.

제안 방법

• 이분할 분석에서 구조적 매개변수로 사용하기 위해 '조임 성분'—즉, 어떤 정점을 제거해도 최대 컷이 크게 남는 연결 성분—의 개념을 도입한다.
• 수정된 근사 알고리즘과 일계 확률적 추론을 사용하여 이분할 크기에 대한 하한을 유도하며, 정점 분할의 균형을 고려한다.
• 분산과 농도 부등식을 적용하여 初기 확률적 경계를 강화하고, 각 부분의 컷 크기와 내부 간선 수를 동시에 제어한다.
• 최소 차수 δ ≥ 2인 그래프에서 각 부분에 최대 (1/3 + o(1))m개의 간선을 포함하는 이분할이 존재함을 증명하기 위해 구조적 분해와 정점 재배치 논증을 적용한다.
• 색수와 Max Cut 사이의 관계를 활용하여 정규 그래프에서 초기 이분할을 찾은 후, 컷 크기를 유지하면서 정점 이동을 통해 균형을 맞춘다.
• 극적 구성법을 사용하여 극한 케이스를 식별하고, 특히 정규 및 고최소차수 그래프에서 경계의 점근적 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 최대 차수와 조임 성분과 같은 구조적 매개변수를 통합함으로써 Edwards의 최대 컷 경계를 이분할로 확장할 수 있는가?
• RQ2 고립된 정점이 없고 최대 차수가 n/3 + 1 이하인 그래프에서 이분할 크기에 대한 최적의 하한은 무엇인가?
• RQ3 최소 차수가 2 이상인 모든 그래프가 각 부분에 최대 (1/3 + o(1))m개의 간선을 포함하는 이분할을 갖는가, Bollobás와 Scott의 추측이 참인가?
• RQ4 최소 차수 δ ≥ 2에 대해, 균형 잡힌 이분할 경계에서 o(m) 오차 항을 제거하여 정확한 경계 (δ+2)/(4(δ+1))m를 달성할 수 있는가?
• RQ5 조임 성분은 극적 이분할 구성에서 어떤 역할을 하는가, 그리고 이러한 모든 성분은 홀수 클리크와 정점 접합 성분과 같은 기본 블록으로 구성될 수 있는가?

주요 결과

• 간선 수 m, 정점 수 n, 고립된 정점 없이 최대 차수가 n/3 + 1 이하인 모든 그래프는 크기 m/2 + n/6 이상의 이분할을 갖는다.
• 논문은 조임 성분 수와 최대 차수를 통합하여 Edwards의 고전적 컷 경계를 확장한 이분할 경계를 확립한다.
• 최소 차수가 2 이상인 그래프에서는 각 부분에 최대 (1/3 + o(1))m개의 간선을 포함하는 이분할이 존재하며, 이는 Bollobás와 Scott의 추측을 확인한다.
• r-정규 그래프에서는 r가 홀수일 경우 크기 최소 (r+1)/(2r) m의 이분할이 존재하고, r가 짝수일 경우 최소 (r+2)/(2(r+1)) m의 이분할이 존재한다.
• r-정규 그래프에 대한 경계는 o(1) 오차 항을 제외하고는 타당하며, 컷 크기를 유지하면서 전략적 정점 이동을 통해 초기 이분할을 균형 잡아 달성된다.
• 균형 잡힌 이분할 경계의 극한 예시는 본질적으로 유일하다: 또는 δ+1개의 고차수 정점이 다른 간선 없이 존재하거나, 나머지 부분에 정확한 수의 조임 성분을 포함하는 하나의 고차수 정점이 존재한다.