온라인 오바스 추측을 향한 새로운 증명

초록

본 논문은 독립수 ≤ 3인 그래프에 대해 “|V(G)| ≤ 2χ(G) ⇒ ch_{OL}(G)=χ(G)”라는 온라인 오바스 추측을 증명한다. 또한 완전 다중파트 그래프 K_{3⋆k}의 온라인 선택수를 3k/2 이하로 제한하고, 기존의 Kierstead 결과인 ch(K_{3⋆k})=⌈(4k−1)/3⌉에 대한 대체 증명을 제시한다. 마지막으로 |V(G)| ≤ χ(G)+√χ(G)인 일반 그래프에 대해 온라인 선택수가 색수와 일치함을 보인다.

상세 분석

논문은 먼저 온라인 리스트 색칠 게임을 정의하고, 기존의 선택수(ch)와 온라인 선택수(ch_{OL}) 사이의 관계를 정리한다. 온라인 버전에서는 Lister가 매 라운드마다 아직 색칠되지 않은 정점들의 부분집합 V_i를 제시하고, Painter가 V_i 안에서 독립집합 X_i를 선택한다. 각 정점 v는 자신에게 할당된 색의 수 f(v)보다 적은 색이 남아 있으면 게임이 종료된다. 이 정의를 이용해 ch_{OL}(G)≥ch(G)임을 상기한다.

핵심 기술은 Lemma 5이다. 그래프 G를 파트(part)들의 집합 A(크기 1), B(크기 2), C(크기 3), S(크기 1 또는 2)로 분류하고, 각 파트에 대해 정수 k₁, k₂, k₃, s를 정의한다. 함수 f:V(G)→ℕ에 대해 일련의 부등식(1)–(3.3)을 만족하면 G는 온라인 f‑choosable임을 보인다. 이 부등식들은 파트의 크기와 위치에 따라 f(v)의 최소값을 정해, Painter가 매 단계마다 적절한 독립집합 I⊆U를 선택해 남은 그래프 G−I가 동일한 형태의 조건을 유지하도록 설계된다. 증명은 |V(G)|에 대한 귀납법으로 진행되며, 각 경우에 따라 I를 선택하는 전략을 세밀히 구분한다. 특히 파트가 크기 3인 경우(케이스 1)와 크기 2인 경우(케이스 2)를 먼저 처리하고, 그 외 상황에서는 파트의 결손(deficit) 개념을 도입해 독립집합 선택이 파트의 결손을 감소시킴을 보인다. 결손이 0이 되면 해당 파트는 자동으로 제거되며, 전체 과정이 n=|V(G)|/2 라운드 안에 종료된다.

Lemma 5를 이용해 다음 두 주요 결과를 얻는다. 첫째, 독립수가 3 이하인 모든 그래프에 대해 |V(G)|≤2χ(G)이면 ch_{OL}(G)=χ(G)임을 증명한다. 이는 온라인 오바스 추측의 특수 경우를 완전히 해결한다. 둘째, 완전 k‑파트 그래프 K_{3⋆k}에 대해 f(v)=⌈3k/2⌉를 선택하면 Lemma 5의 조건을 만족하므로 ch_{OL}(K_{3⋆k})≤⌈3k/2⌉임을 얻는다. 기존에 알려진 ch(K_{3⋆k})=⌈(4k−1)/3⌉와 비교해, 온라인 선택수는 선택수보다 약간 큰 상한을 갖지만, 차이가 상수 수준에 머무른다.

또한 Theorem 3과 Corollary 4를 통해, 임의의 그래프 G에 충분히 많은 보편 정점(complete join with K_n)을 추가하면 χ(G+K_n)=ch_{OL}(G+K_n)임을 보인다. 여기서 n≈|V(G)|²/2 로 잡으면, 결손 감소 과정을 통해 최종 그래프가 완전 그래프가 되며, 모든 정점이 색칠될 수 있음을 확인한다. 이 결과는 “|V(G)|≤χ(G)+√χ(G) ⇒ ch_{OL}(G)=χ(G)”라는 보다 일반적인 경계식을 도출한다.

전체적으로 논문은 Hall 정리와 같은 전통적 매칭 기법이 온라인 상황에서는 적용되지 않음을 지적하고, 파트별 결손 관리와 귀납적 구조 분해라는 새로운 방법론을 제시한다. 이 접근법은 온라인 리스트 색칠 문제의 여러 개방된 질문에 적용 가능성을 열어준다.