표면에 삽입된 그래프의 리스트 d와 1 전부 라벨링

초록

본 논문은 표면에 삽입된 그래프 G에 대해 (d,1)-전부 라벨링의 리스트 버전을 연구한다. 최대 차수가 충분히 큰 경우, G의 (d,1)-전부 선택가능 수 C⁽ᵀ⁾_{d,1}(G)가 최대 차수 Δ(G)에 2d를 더한 값, 즉 Δ(G)+2d 이하임을 증명한다. 이는 기존의 전부 색칠 문제에 대한 선택가능성 추정치를 일반화한 결과이며, 표면의 오일러 특성 ε와의 관계를 명시적으로 이용한다.

상세 분석

(d,1)-전부 라벨링은 정점과 간선 모두에 정수를 할당하면서, 인접 정점 사이, 인접 간선 사이, 그리고 정점‑간선 인접 관계에 각각 최소 d, d, 1의 차이를 요구하는 라벨링이다. Havet와 Yu가 처음 제안한 이 개념은 전부 색칠(총 색칠) 문제를 d=1인 특수 경우로 포함한다. 리스트 버전에서는 각 정점·간선 v∈V∪E에 크기 k인 색 목록 L(v)가 주어지고, 목록에서 라벨을 선택해 위의 제약을 만족해야 한다. 최소한의 k를 C⁽ᵀ⁾_{d,1}(G)라 정의한다.

논문은 먼저 표면에 삽입된 그래프 G가 오일러 특성 ε를 갖는 경우, 평균 차수가 ε에 의해 제한된다는 사실을 활용한다. 구체적으로, G가 임의의 표면 Σ에 삽입될 때, Euler 공식 V−E+F=ε와 각 면이 최소 3개의 경계를 가진다는 전제 하에 평균 차수 d̄는 2|E|/|V| ≤ 6−12/|V|+6ε/|V| 와 같은 형태로 상한을 얻는다. 이 상한은 Δ(G)가 충분히 클 때, 저차 정점·간선이 충분히 희소함을 의미한다.

다음 단계에서는 구조적 귀류법을 적용한다. 저차 정점(특히 차수가 d 이하인 정점)과 그 주변 구조를 “감소 가능” 혹은 “불가피한” 구성으로 분류하고, 각 경우에 대해 리스트 라벨링을 확장할 수 있음을 보인다. 핵심은 다음과 같다.

1. 감소 가능 정점: 차수가 d 이하인 정점 v가 존재하면, v와 인접한 간선·정점을 제거한 부분 그래프 G′에 대해 귀납적으로 라벨링이 가능함을 가정한다. G′의 리스트 크기는 여전히 Δ(G)+2d 이상이므로, v와 그 인접 간선에 남은 색을 할당할 여유가 있다.

2. 불가피한 구성: 만약 모든 정점의 차수가 d+1 이상이라면, 평균 차수가 2d+2 이하가 되어야 한다. 그러나 앞서 언급한 평균 차수 상한과 Δ(G)의 충분히 큰 가정에 의해, 이러한 경우는 표면의 오일러 특성에 따라 제한된 몇 가지 작은 패턴만 남는다. 저자들은 이러한 패턴을 하나씩 분석하여, 각 패턴에 대해 직접적인 색 할당 알고리즘을 제시한다.

3. 디스차징 기법: 전체 그래프에 대해 “전하”를 정의하고, 저차 정점·간선에 전하를 부여한 뒤, 인접 고차 정점으로 전하를 재분배한다. 최종적으로 모든 원소가 비음전하를 갖게 되면, 위의 두 단계가 모두 적용 가능함을 보인다. 이 과정에서 ε가 전하의 총량에 영향을 주어, 표면이 복잡할수록(ε가 작을수록) 더 강한 제한이 필요하지만, Δ(G)≥Δ₀(d,ε)라는 충분히 큰 하한을 두면 문제없이 증명이 진행된다.

결과적으로, 저자들은 “Δ(G)≥f(d,ε)”라는 조건 하에 C⁽ᵀ⁾_{d,1}(G) ≤ Δ(G)+2d 라는 상한을 얻는다. 여기서 f(d,ε)는 구체적인 상수로, d와 ε에 대한 다항식 형태이며, 실제 증명에서는 Δ(G)≥max{12d+6, 4|ε|+…} 정도의 크기를 요구한다. 이 결과는 기존의 전부 색칠 선택가능성 결과(특히 d=1인 경우)와 일치하며, 표면에 삽입된 그래프에 대한 일반적인 확장을 제공한다.