그래프 이분법의 새로운 경계와 판단적 분할

초록

본 논문은 그래프의 최대 이분(bisection) 크기에 대한 에드워즈 경계를 확장하고, 최소 차수 조건 하에서 양쪽 부분이 적은 내부 간선을 갖는 판단적 이분을 존재함을 증명한다. 특히 최대 차수가 n/3+1 이하이고 고립 정점이 없을 때 m/2 + n/6 이상의 이분을, 최소 차수가 2 이상일 때는 각 부분에 (1/3+o(1)) m 이하의 간선만 포함하는 이분을 제공한다.

상세 분석

논문은 먼저 기존의 에드워즈 정리(모든 그래프는 m/2 + (√(2m+1)−1)/8 개의 절단을 가짐)를 이분 문제에 맞게 일반화한다. 이를 위해 ‘타이트 컴포넌트’라는 새로운 구조를 정의하고, 그래프의 최대 차수 Δ와 타이트 컴포넌트 수 τ를 파라미터로 하는 식
 m/2 + (n − max{τ, Δ−1})/4
을 도출한다. 이 식은 삼각형들의 불연속 합이나 별 그래프와 같은 극단적 예시에서도 정확히 맞아떨어지므로 최적성을 가진다. 위 결과는 Δ≤n/3+1이고 고립 정점이 없을 때 m/2 + n/6 ≥ m/2 + (n − Δ+1)/4 를 얻어, 앞서 언급한 간단한 코릴러리를 얻는다.

다음 단계에서는 ‘판단적(bijective) 이분’이라는 개념을 도입한다. 여기서는 절단 크기뿐 아니라 두 파트가 내부에 포함하는 간선 수도 동시에 최소화한다는 목표를 가진다. 별 K₁,ₙ₋₁ 과 같은 반례가 존재함에도 불구하고, 최소 차수 δ가 충분히 크면(특히 δ≥2) 양쪽 파트에 (1/3+o(1)) m 이하의 간선을 갖는 이분이 존재함을 보인다. 핵심은 두 가지 기법이다. 첫째, 무작위 매칭을 이용한 2차 모멘트 분석으로 큰 절단을 얻고, 둘째, 마팅게일 집중 불평등을 활용해 절단이 동시에 판단적 특성을 만족하도록 조정한다. 특히 정리 1.11에서는 최대 차수가 γn (γ은 작은 상수) 이하인 희소 그래프에 대해, τ개의 타이트 컴포넌트가 존재하면 각 파트에 m/4 − (n+τ)/8 + εn 이하의 내부 간선을 보장한다.

최소 차수 δ에 대한 정확한 상수도 구한다. 정리 1.9는
 e(V_i) ≤ (δ+2)/(4(δ+1))·m + o(m)
를 증명한다. 이는 δ가 짝수일 때는 (δ+2)/(4(δ+1))가, 홀수일 때는 (δ+1)/(4(δ+2))가 되는 형태와 일치한다. 두 가지 극한 예시(δ‑클리크들의 합과 완전 이분 그래프 K_{δ+1, n−δ−1})를 통해 이 식이 최적임을 확인한다. 또한, 정리 1.7과 1.8을 통해 최소 차수가 일정 수준 이상이면 절단 크기가 m/2 + Ω(n) 이면서 동시에 판단적 특성을 만족하는 이분을 얻을 수 있음을 보여준다.

마지막으로, 최대 차수에 대한 약한 제한만으로도 ‘거의 이분(α‑bisection)’을 얻을 수 있음을 정리 1.6이 제시한다. 여기서 α≤1/6이면 m/2 + αn 이상의 절단을 보장한다. 이는 기존의 절단 하한 m/2 + n/6을 일반화한 형태이며, 실제 알고리즘적 구현에서도 유용하게 쓰일 수 있다.

전체적으로 논문은 절단 이론과 판단적 분할 이론을 통합하여, 그래프 구조(최대·최소 차수, 타이트 컴포넌트)와 절단 품질 사이의 정밀한 관계식을 제공한다. 이는 그래프 이론뿐 아니라 네트워크 설계, 병렬 처리, 데이터 분산 등 실용적인 분야에서도 균형 잡힌 파티션을 설계하는 데 중요한 이론적 기반을 제공한다.