무작위 탐욕적 삼각형 포장, 7/4 장벽을 넘어 5/3 지수 달성

초록

무작위 탐욕 알고리즘으로 완전 그래프에서 삼각형을 하나씩 제거해 삼각형이 없는 그래프가 될 때까지 진행한다. 기존 최선 상한은 (n^{7/4+o(1)})였으나, 본 논문은 마팅게일과 자기 교정 현상을 활용해 최종 남는 간선 수를 (O!\left(n^{5/3}\log^{4}n\right))​로 개선한다.

상세 분석

이 논문은 무작위 탐욕적 삼각형 포장 과정의 최종 그래프가 가질 수 있는 간선 수에 대한 새로운 상한을 제시한다. 기존 방법들은 공통 이웃(코-디그리) (|N_{u,v}|) 의 변동이 평균값과 동등해지는 (n^{7/4}) 시점에서 분석이 붕괴되는 ‘7/4 장벽’에 부딪혔다. 저자들은 이 장벽을 넘기 위해 두 가지 핵심 아이디어를 도입한다. 첫째, 과정 전체를 관찰하는 마팅게일 체계를 구축하여 (Q) (남은 삼각형 수), (Y_{u,v}=|N_{u,v}|), (R_{u,v}) (특정 이웃 쌍의 개수), (Y_u) (정점 (u) 의 차수), (T_u) (정점 (u) 에 인접한 두 간선이 형성하는 삼각형 수), (Y_{u,v,w}) (공통 이웃 3‑tuple) 등 여섯 종류의 변수들을 동시에 추적한다. 둘째, 각 변수에 대해 기대 변화식에서 나타나는 ‘드리프트’ 항이 현재 값이 평균보다 클 때는 감소하고, 작을 때는 증가하는 자기 교정(self‑correcting) 성질을 정량화한다. 이를 위해 연속 시간 (t=i/n^{2}) 와 밀도 (p=1-6t) 를 도입하고, (y(t)=p^{2},; q(t)=p^{3}/6) 와 같은 해석적 궤도를 설정한다.

특히, (\mathbb{E}