최대 평균 차수를 이용한 k 포레스트 색 선택성 한계

초록

본 논문은 최대 차수가 Δ이고 k ≥ 4인 그래프에 대해, 그래프의 최대 평균 차수(mad)가 각각 12/5, 8/3, 3보다 작을 때 k‑포레스트 선택수 Λₗₖ(G)를 ⌈Δ/(k‑1)⌉ + 1, ⌈Δ/(k‑1)⌉ + 2, ⌈Δ/(k‑1)⌉ + 3 이하로 제한함을 증명한다. 이를 통해 평면 그래프와 투사 평면 그래프의 경우, 최소 사이클 길이(girth)에 따라 더욱 강한 상한을 얻는다.

상세 분석

논문은 먼저 k‑포레스트 색칠과 기존의 선형 색칠, 프루갈 색칠 개념을 연결한다. k‑포레스트 색칠이란 두 색 클래스가 이루는 부분 그래프가 차수가 k‑1보다 작은 포레스트가 되도록 하는 색칠이며, k = 3이면 선형 색칠과 동치가 된다. 저자들은 이러한 색칠이 리스트 색칠(list coloring) 형태로 확장될 수 있음을 정의하고, 선택수 Λₗₖ(G)를 최소 q라 두어 모든 정점에 크기 q인 리스트가 주어졌을 때 k‑포레스트 리스트 색칠이 가능하도록 한다.

핵심 정리는 그래프의 최대 평균 차수(mad)가 특정 임계값보다 작을 때, 선택수가 ⌈Δ/(k‑1)⌉에 상수 1, 2, 3을 더한 값으로 제한된다는 것이다. 이를 증명하기 위해 저자들은 최소 반례 G를 가정하고, G에 존재할 수 없는 ‘위험 구조’(C1~C5)를 차례로 배제한다. 각 구조는 저차수 정점이나 특정 인접 관계를 가진 정점들의 조합으로, 이러한 구조가 존재하면 리스트 색칠을 귀류법으로 확장할 수 있음을 보인다.

위험 구조 배제 후, 남은 그래프는 최소 차수가 2 이상이며, 각 정점에 초기 전하 w(v)=d(v)를 부여한다. 이후 세 단계의 디스차징(discharge) 과정을 설계한다. (1) mad < 12/5 경우에는 3‑정점이 인접한 2‑정점에 1/5 전하를, 4이상 정점이 인접한 2‑정점에 2/5 전하를 주는 규칙을 사용해 모든 정점의 최종 전하 w가 최소 12/5가 되도록 한다. (2) mad < 8/3 경우에는 3‑정점이 2‑정점에 1/9, 4·5‑정점이 1/3, 6이상 정점이 5/9 전하를 주는 규칙을 적용해 w ≥ 8/3을 얻는다. (3) mad < 3 경우에는 4이상 정점이 인접한 2‑정점에 1/2 전하를 주는 단순 규칙으로 w* ≥ 3을 확보한다. 디스차징 과정에서 각 정점의 최종 전하가 해당 임계값보다 작아질 수 없음을 보임으로써, 가정한 최소 반례가 존재할 수 없음을 귀류한다.

결과적으로, Δ ≥ k ≥ 4인 모든 그래프에 대해
 Λₗₖ(G) ≤ ⌈Δ/(k‑1)⌉ + 1 if mad < 12/5,
 Λₗₖ(G) ≤ ⌈Δ/(k‑1)⌉ + 2 if mad < 8/3,
 Λₗₖ(G) ≤ ⌈Δ/(k‑1)⌉ + 3 if mad < 3,
가 성립한다. 평면 그래프와 투사 평면 그래프는 girth와 mad 사이의 알려진 관계(g ≥ 12 ⇒ mad < 12/5 등)를 이용해 직접적인 corollary를 얻으며, 특히 girth ≥ 12이면 선택수가 정확히 ⌈Δ/(k‑1)⌉ + 1임을 확인한다.

이 연구는 기존의 선형 선택수 결과(특히 k = 3인 경우) 를 일반 k에 대해 확장하고, 평균 차수 기반의 디스차징 기법을 k‑포레스트 리스트 색칠에 성공적으로 적용한 점에서 의미가 크다. 또한, 위험 구조 분석과 디스차징 규칙 설계가 비교적 간결하면서도 강력한 상한을 제공한다는 점에서 향후 더 넓은 그래프 클래스(예: 고차원 매니폴드 그래프)나 다른 색칠 제약(예: 제한된 색상 빈도)에도 적용 가능성을 시사한다.