조건부 색칠을 통한 파라미터화 그래프의 색채 특성 분석

초록

**
본 논문은 정수 k 와 r 에 대해 정의되는 조건부 (k, r)‑색칠을 이용해 풍차 그래프, 그 라인·미들 그래프, 우정·완전 k‑파트ite·이분 그래프 등 여러 파라미터화된 그래프들의 r‑차 조건부 색채수 χ₍ᵣ₎(G)를 정확히 구한다. 주요 결과는 각 그래프에 대한 χ₍ᵣ₎(G)의 폐쇄식이며, 이를 위해 두 개의 보조 정리와 일곱 개의 명제(프로포지션)를 제시한다.

**

상세 분석

**
조건부 (k, r)‑색칠은 기존의 정상 색칠에 “각 정점이 인접한 색의 최소 개수 ≥ min{r, d(v)}”라는 제약을 추가한 개념이다. 이 제약은 그래프의 국소 구조를 강하게 제한하므로, 색채수 χ₍ᵣ₎(G)는 일반 색채수 χ(G)보다 크게 될 가능성이 있다. 논문은 먼저 두 개의 보조 정리(Lemma 1, Lemma 2)를 도입한다. Lemma 1은 V₍d≤r₎ 라 불리는 “정점 집합 S₍d≤r₎”이 존재하면 χ₍ᵣ₎(G) ≥ |S₍d≤r₎|임을 보이며, 이는 하한을 제공한다. Lemma 2는 색칠 c가 조건 (C2)만 만족하고, 그래프가 추가적인 구조적 성질 (C3)를 갖는 경우 자동으로 (C1)도 만족한다는 충분조건을 제시한다. 이 두 정리를 활용해 각 그래프에 대해 상한과 하한을 일치시켜 정확한 값을 도출한다.

주요 그래프군은 다음과 같다.

1. 풍차 그래프 W₍d₎(k, n) – k‑클릭 n 개의 복사본이 한 정점을 공유한다. r이 2 이상 k‑1 이하이면 χ₍ᵣ₎ = k이며, r ≥ k이면 χ₍ᵣ₎ = min{r, Δ}+1 (Δ는 최대 차수)이다. 이는 중심 정점의 높은 차수가 색채수에 미치는 영향을 정확히 포착한다.
2. 풍차 그래프의 라인 그래프 L(W₍d₎(k, n)) – 정점 수와 최대 클리크 크기를 이용해 z = n(k‑1)+⌈k/2⌉ 이라는 폐쇄식을 얻는다. 여기서 z 는 Lemma 1에 의해 얻은 하한과 Lemma 2에 의해 구성 가능한 색칠이 일치함을 보인다.
3. 우정 그래프 Fₙ = W₍d₎(3, n) 의 라인 그래프는 Δ = 2n 이며, r < Δ이면 χ₍ᵣ₎ = 2n, r = Δ이면 χ₍ᵣ₎ = 2n+1이다. 이는 라인 그래프가 원래 그래프보다 클리크가 크게 늘어나면서도 색채수는 선형적으로 증가함을 보여준다.
4. 완전 k‑파트ite 그래프 K_{n₁,…,n_k} 의 미들 그래프 M(K) 에 대해 χ₍Δ₎ = k + ℓ, 여기서 ℓ = ½∑_{i=1}^k n_i (n − n_i) 이다. 이는 파트별 정점과 에지 사이의 이중 연결 구조가 색채수에 미치는 복합 효과를 정량화한다.
5. 사이클 Cₙ 의 미들 그래프 M(Cₙ) 에 대해 r=2이면 χ₍ᵣ₎=3, r=3이면 χ₍ᵣ₎=4이다. 이는 단순한 2‑정도 그래프에서도 조건부 색칠이 일반 색칠보다 한두 색 더 필요함을 보여준다.
6. 우정 그래프 Fₙ 의 미들 그래프 M(Fₙ) 에 대해 r ≤ 2n이면 χ₍ᵣ₎=2n+1, r=2n+1이면 χ₍ᵣ₎=2n+2, r=Δ(=2n+2)이면 χ₍ᵣ₎=2n+4이다. 여기서는 클리크 크기와 V₍d≤r₎ 집합을 동시에 활용해 하한을 잡고, 복잡한 색칠 패턴을 설계해 상한을 맞춘다.
7. 완전 이분 그래프 K_{n₁,n₂} 의 미들 그래프 M(K_{n₁,n₂}) 에 대해 r ≤ n₂이면 χ₍ᵣ₎=n₂+1, r=n₂+1이면 χ₍ᵣ₎=n₂+2이다. 이는 파트 간 에지 수가 색채수에 직접적인 영향을 미치는 전형적인 사례다.

각 명제는 구체적인 색칠 함수를 구성함으로써 상한을 실현하고, Lemma 1을 통해 얻은 하한과 일치시켜 정확한 값을 증명한다. 논문은 또한 기존 연구(