[논문 리뷰] Nearly Complete Graphs Decomposable into Large Induced Matchings and their Applications

Noga Alon, Ankur Moitra외 1명|arXiv (Cornell University)|2011. 11. 01.

Advanced Graph Theory Research참고 문헌 17인용 수 5

한 줄 요약

이 논문은 거의 완전 그래프를 큰 유도 매칭들로 분해할 수 있도록 구성한다—각 매칭 크기가 N^{1−o(1)}이고 간선 밀도가 1−o(1)에 도달한다. 이는 통신 복잡도, PCP 분석, 근사 알고리즘 분야의 열린 문제들을 해결하며, Meshulam의 추측을 반증하고 방향성 스티너 나무 문제에 대한 개선된 라운딩 기법을 가능하게 한다.

ABSTRACT

We describe two constructions of (very) dense graphs which are edge disjoint unions of large {\em induced} matchings. The first construction exhibits graphs on $N$ vertices with ${N \choose 2}-o(N^2)$ edges, which can be decomposed into pairwise disjoint induced matchings, each of size $N^{1-o(1)}$. The second construction provides a covering of all edges of the complete graph $K_N$ by two graphs, each being the edge disjoint union of at most $N^{2-δ}$ induced matchings, where $δ> 0.058$. This disproves (in a strong form) a conjecture of Meshulam, substantially improves a result of Birk, Linial and Meshulam on communicating over a shared channel, and (slightly) extends the analysis of Håstad and Wigderson of the graph test of Samorodnitsky and Trevisan for linearity. Additionally, our constructions settle a combinatorial question of Vempala regarding a candidate rounding scheme for the directed Steiner tree problem.

연구 동기 및 목표

• 완전 그래프에 가까운 간선 밀도를 가지며, 간선이 서로소인 큰 유도 매칭들로 분해되는 밀도 높은 그래프를 구성하는 것.
• 양의 간선 밀도와 다항식 크기의 유도 매칭을 가지는 그래프가 존재하지 않는다는 Meshulam의 추측을 반증하는 것.
• 특히 방향성 전송기를 갖는 다중 채널 스케줄링에 대해 통신 복잡도의 기존 한계를 향상시키는 것.
• 선형성 테스트를 위한 그래프 테스트 분석을 확장하고, 방향성 스티너 나무 문제에 대한 라운딩 알고리즘에 새로운 통찰을 제공하는 것.
• 이분 그래프를 유도 매칭들로 분할할 때 간선 차수 합에 대한 Vempala의 조합론적 추측을 해결하는 것.

제안 방법

• 고도의 조합 및 기하 기법을 사용하여 N 개 정점에서 구성된 (r,t)-Ruzsa-Szemerédi 그래프를 구축하며, rt = (1−o(1))\binom{N}{2} 이고 r = N^{1−o(1)} 임을 확보한다.
• 덧셈 수론, 코드 이론, 저차수 부울 함수 표현 기법을 적용하여 거의 완전한 간선 커버리지를 가지는 그래프를 생성한다.
• 모든 K_N 간선을 커버하기 위해 두 번째 구성 기법을 사용하며, 각 하위그래프가 최대 N^{2−δ}개의 유도 매칭으로 분해되며 δ > 0.058 임을 보장한다.
• 정점을 복제하고 간선을 유도 매칭과 누락된 간선에 해당하는 단일 간선들로 분할하여 이분 그래프에 적용한다.
• 엔트로피와 정규성 기반의 추론을 사용하여 정점 쌍에 대해 min(1, Σ p_i p_j / |p|)의 합을 유계로 제한하며, Vempala의 추측을 반박한다.
• 그래프 구조를 활용하여 방향성 스티너 나무 문제의 라운딩 기법 성능을 분석하고 근사 비율을 유계로 제한한다.

실험 결과

연구 질문

• RQ1 간선 밀도가 1−o(1)이고 유도 매칭 크기가 N^{1−o(1)}인 (r,t)-Ruzsa-Szemerédi 그래프가 존재할 수 있는가?
• RQ2 K_N를 상수 개의 하위그래프로 커버할 수 있는가? 각 하위그래프는 O(N^{2−δ})개의 유도 매칭의 합집합이어야 하며 δ>0 인가?
• RQ3 Vempala의 추측—이분 매칭에 대해 정규화된 차수 곱의 합에 대해 모든 분할에 대해 성립하는가?
• RQ4 이러한 거의 완전한 유도 매칭 분해는 PCP 구성에서 선형성 테스트 분석을 향상시킬 수 있는가?
• RQ5 이러한 그래프는 방향성 스티너 나무 문제에 대해 더 나은 정수 프로그래밍 간극 또는 근사 비율을 제공할 수 있는가?

주요 결과

• 논문은 N 개 정점에서 구성된 (r,t)-RS 그래프를 r = N^{1−o(1)} 이고 rt = (1−o(1))\binom{N}{2} 인 조건으로 구성하며, 큰 유도 매칭들로 거의 완전한 간선 밀도를 달성한다.
• K_N를 두 개의 하위그래프로 커버하는 구성 기법을 제공하며, 각 하위그래프가 최대 N^{2−δ}개의 유도 매칭으로 분해되며 δ > 0.058 이다. 이는 이전의 기준에 비해 크게 향상된 결과이다.
• 이 구성은 Meshulam의 추측—큰 유도 매칭을 가진 밀도 높은 (r,t)-RS 그래프가 존재하지 않는다—를 강력한 형태로 반증한다.
• Vempala의 추측에 대한 반례를 제시하며, ∑_{i,j} min(1, Σ p_i p_j / |p|)의 합이 O(N^{1.942})로 유계로 제한될 수 있음을 보여, 제안된 Ω(Nk/log N) 하한선과 모순됨을 밝힌다.
• Samorodnitsky-Trevisan 선형성 테스트의 분석을 향상시키며, 그래프 테스트의 적용 범위를 더 높은 밀도의 설정으로 확장한다.
• 이러한 구성 기법은 방향성 스티너 나무 문제의 라운딩 기법에 대해 다항로그 시간 근사 비율을 가능하게 하여 근사 알고리즘 분야에서 오랫동안 열려있던 문제를 해결한다.