그래프 선택 수

초록

이 논문은 (a:b)-리스트 색칠 가능성의 구조를 탐구하고, 큰 k에 대한 k번째 선택 수의 상한을 확률적 방법으로 제시한다. 또한, 방향 그래프의 최대 외향 차수와 홀 사이클 부재 조건 하에서 (k(d+1):k)-선택 가능성을 보이며, 2-선택 가능한 그래프가 (4:2)-선택 가능함을 증명한다. 강한 선택 수와 관련된 몇몇 결과와 함께, 그래프 선택 가능성 판단 문제의 복잡도 분석도 수행한다.

상세 분석

본 논문은 그래프 이론에서 리스트 색칠(list coloring) 개념을 일반화한 (a:b)-choosability 를 중심으로 여러 새로운 정리를 제시한다. 첫 번째 주요 결과는 임의의 그래프 G에 대해 ε>0이 주어지면 충분히 큰 k에 대해 ch_k(G) ≤ k(χ(G)+ε) 가 성립한다는 정리이다. 이는 기존에 알려진 ch(G) ≤ χ(G)·log|V| 정도의 상한을 강화한 것으로, 확률적 색칠 방법을 이용해 각 정점에 충분히 많은 색을 무작위 할당하고, 베르누이 변수의 체비쇼프 부등식과 체비셰프 불평등을 활용해 원하는 색 집합이 존재할 확률이 1에 수렴함을 보인다. 이 과정에서 색의 수를 ⌊k(χ(G)+ε)⌋ 로 잡아, 각 색이 특정 색상 클래스에 할당될 확률을 균등하게 설정함으로써 독립적인 사건들의 합이 기대값을 크게 초과하도록 만든다.

두 번째 핵심은 Erdős‑Rubin‑Taylor 가 제기한 질문에 대한 부정적 답변이다. 저자는 (a:b)-choosable 이면서도 c/d > a/b 인 경우 (c:d)-choosable 가 아닐 수 있음을, l>m≥3 인 정수에 대해 ch(G)=l+1, χ(G)=m−1 인 그래프를 구성함으로써 증명한다. 이는 (a:b)와 (c:d) 사이의 비율만으로 선택 가능성을 판단할 수 없음을 보여준다.

다음으로 k번째 선택 수에 대한 상한을 다루며, 완전 r-파트ite 그래프 K_{m1,…,mr} 에 대해 ch_k ≤ 948·r·(k+log m1+…+mr) 를 얻는다. 여기서는 색 집합을 ⌊4r(k+log t)⌋ 로 잡고, 색을 r개의 파트에 무작위로 할당한 뒤, 베르누이 분포의 꼬리 확률을 Chernoff 경계로 억제한다. 또한, r이 t보다 클 때는 재귀적 분할 기법과 정밀한 상수 조정을 통해 전체 상한을 244·r·(k+log t) 로 개선하고, 최종적으로 948·r·(k+log t) 로 정리한다. 이 결과는 임의의 그래프 G에 대해 ch_k(G) ≤ 948·χ(G)·(k+log(|V|·χ(G)+1)) 로 귀결된다.

방향 그래프에 대한 결과도 눈에 띈다. 최대 외향 차수가 d이고 홀 사이클이 없는 방향 그래프 D에 대해, 각 정점 v에 크기 k(d+ outdeg(v)+1) 인 색 집합 S(v)를 할당하면, 서로 인접한 정점들의 선택 집합이 겹치지 않도록 선택할 수 있음을 보인다. 이는 다항 시간 알고리즘을 통해 실제로 구성 가능함을 의미한다. 무방향 그래프 G가 이러한 방향 그래프의 방향화가 가능하면, G는 (k(d+1):k)-choosable 이다. 특히 짝수 사이클은 (2k:k)-choosable 임을 얻으며, 이는 Brooks 정리의 선택 버전으로 확장된다.

2-choosable 그래프에 대한 구조적 특성을 이용해, 모든 2-choosable 그래프가 (4:2)-choosable 임을 증명한다. 이는 Erdős‑Rubin‑Taylor 가 제시한 (a:b) → (am:bm) 전이 질문에 대한 부분적 양성 답변이며, 더 일반적으로 (2mk:mk)-choosable 그래프가 2m-choosable 임을 k가 홀수일 때 성립한다.

복잡도 측면에서는, bipartite 그래프에 대한 (k)-choosability 판정 문제가 k≥3 일 때 Π₂^p‑complete 임을 보이며, k=2 일 때는 다항 시간으로 해결 가능함을 기존 정리와 연결한다. 강한 선택 수 sχ(G) 를 정의하고, sχ(d) ≥ 2d 를 증명함으로써 강한 색칠 가능성의 하한을 크게 향상시킨다. 또한, 강한 k‑choosable ⇒ 강한 km‑choosable 와 같은 전이 성질을 입증한다.

전체적으로 이 논문은 (a:b)-choosability 의 구조적 한계와 확률적 상한을 동시에 다루며, 방향 그래프와 강한 선택 수 개념을 도입해 기존 이론을 크게 확장한다. 특히, 선택 가능성의 비율만으로는 충분하지 않다는 부정적 예시와, 큰 k에 대한 선형 상한을 제공한 점이 주요 공헌이다.