그래프 선택 수

본 논문은 그래프 이론에서 리스트 색칠의 일반화인 (a:b)-choosability 를 중심으로 여러 새로운 정리와 응용을 제시한다. 서론에서는 (a:b)-choosability 의 정의와 기존 연구들을 간략히 소개하고, 본 연구의 주요 목표를 제시한다. 첫 번째 장에서는 큰 k에 대해 k번째 선택 수 ch_k(G) 의 상한을 다룬다. 정리 1.1은 임의의 그래프 G와 ε>0에 대해 충분히 큰 k가 존재하여 ch_k(G) ≤ k(χ(G)+ε) 가 성립함을 보인다. 증명은 각 정점에 ⌊k(χ(G)+ε)⌋ 개의 색을 무작위로 할당하고, 색이 특정 색상 클래스에 배정될 확률을 균등하게 설정함으로써, 베르누이 변수들의 합이 기대값을 크게 초과하도록 하는 확률적 방법을 사용한다. 체비셰프 부등식과 Chernoff 경계를 이용해 원하는 색 집합이 존재할 확률이 1에 수렴함을 보인다. 다음으로 Erdős‑Rubin‑Taylor 가 제기한 “(a:b)-choosable ⇒ (c:d)-choosable (c/d > a/b)?” 질문에 부정적 답을 제공한다. Corollary 1.2는 l>m≥3 인 경우, (a:b)-choosable 이면서도 (c:d)-choosable 가 아닌 그래프가 존재함을 보인다. 구체적으로, ch(G)=l+1, χ(G)=m−1 인 그래프를 선택하고, 정리 1.1을 이용해 (k·m : k)-choosable 이지만 (l:1)-choosable 가 아님을 증명한다. 이는 비율만으로 선택 가능성을 판단할 수 없음을 의미한다. 세 번째 장에서는 k번째 선택 수에 대한 구체적인 상한을 완전 r-파트ite 그래프 K_{m1,…,mr} 에 대해 제시한다. Lemma 3.2는 r≤t (t = Σ mi) 인 경우 ch_k ≤ 4r(k+log t) 를 보이며, Lemma 3.3은 r>t 인 경우 재귀적 분할과 정밀한 상수 조정을 통해 ch_k ≤ 244·r·(k+log t) 를 얻는다. 최종적으로 Theorem 1.3은 ch_k(K_{m1,…,mr}) ≤ 948·r·(k+log m1+…+mr) 를 증명한다. 이를 이용해 Corollary 1.4는 임의의 그래프 G에 대해 ch_k(G) ≤ 948·χ(G)·(k+log(|V|·χ(G)+1)) 를 얻는다. 또한, 무작위 그래프 G_{n,p} 에 대해 ch_k(G_{n,p}) ≤ 475·log(1/(1-p))·n·loglog n·log n 가 거의 확실히 성립함을 보인다 (Corollary 1.5). 네 번째 장에서는 방향 그래프와 선택 가능성 사이의 관계를 탐구한다. Theorem 1.6은 최대 외향 차수가 d이고 홀 사이클이 없는 방향 그래프 D에 대해, 각 정점 v에 크기 k(d+outdeg(v)+1) 인 색 집합 S(v)를 할당하면, 서로 인접한 정점들의 선택 집합이 겹치지 않도록 선택할 수 있음을 보인다. 이는 다항 시간 알고리즘으로 구현 가능하다. Corollary 1.7은 무방향 그래프 G가 최대 외향 차수 d인 홀 사이클이 없는 방향화가 가능하면 G는 (k(d+1):k)-choosable 임을 도출한다. 이를 통해 짝수 사이클은 (2k:k)-choosable (Corollary 1.8) 임을 얻고, Brooks 정리의 선택 버전인 “연결된 그래프가 K_n 이거나 홀 사이클이 아니면 ch_k(G) ≤ k·Δ(G)” (Corollary 1.9) 를 증명한다. 또한, bipartite 그래프와 planar bipartite 그래프에 대한 특수한 선택 가능성 결과 (Corollary 1.10, 1.11) 도 제시한다. 다섯 번째 장에서는 2-choosable 그래프와 (4:2)-choosable 사이의 관계를 다룬다. Theorem 1.15는 2-choosable 그래프의 구조적 특성을 (코어가 K1, 짝수 사이클, Θ-그래프 등)로 규정한다. 이를 이용해 Theorem 1.16은 모든 2-choosable 그래프가 (4:2)-choosable 임을 증명한다. 더 일반적으로, k가 홀수일 때 (2mk:mk)-choosable 그래프는 2m-choosable 임을 Theorem 1.17 로 제시한다. 여섯 번째 장에서는 그래프 선택 가능성 판단 문제의 복잡도를 분석한다. Bipartite (2,3)-choosability 문제는 Π₂^p‑complete 임이 알려져 있다. Theorem 1.18은 k≥3 인 경우, Bipartite k‑choosability 문제 역시 Π₂^p‑complete 임을 증명한다. 이는 리스트 색칠 문제의 일반적인 난이도가 높은 것을 다시 확인시킨다. 일곱 번째 장에서는 강한 선택 수(sχ) 개념을 도입한다. 강한 k‑choosable 은 모든 정점에 최대 k개의 정점-분리 클리크를 추가해도 k‑choosable 인 그래프를 의미한다. Theorem 1.19와 1.20은 강한 k‑choosable ⇒ 강한 (k+1)‑choosable, 그리고 강한 k‑choosable ⇒ 강한 km‑choosable 를 각각 증명한다. Theorem 1.21은 특정 조건 하에 강한 km‑choosable 로부터 강한 k‑choosable 로의 전이를 역으로 보인다. Corollary 1.22는 (3k+1)-정규 그래프가 특정 해밀턴 회로와 3k‑클리크 분해를 가질 때, ch(G)=3k 임을 보여준다. 마지막으로 Theorem 1.23은 모든 최대 차수 d에 대해 강한 선택 수 sχ(d) ≥ 2d 를 증명함으로써 기존 하한을 개선한다. 결론에서는 위의 결과들을 종합하여 (a:b)-choosability 의 구조적 한계와 확률적 상한을 동시에 다루었으며, 방향 그래프와 강한 선택 수 개념을 통해 기존 이론을 크게 확장했음을 강조한다. 또한, 선택 가능성의 비율만으로는 충분하지 않다는 부정적 예시와, 큰 k에 대한 선형 상한을 제공한 점이 주요 공헌이라고 평가한다.