프루얼 색채의 새로운 지평: 복잡도, 경계 및 그래프곱 연구

초록

본 논문은 t‑프루얼 독립집합 αₜᶠ와 t‑프루얼 색채수 χₜᶠ에 대한 계산 복잡도와 구조적 경계를 체계적으로 탐구한다. αₜᶠ 결정문제가 이분 그래프에서도 NP‑완전임을 보이며, 트리에서는 선형 시간 알고리즘을 제시한다. 또한 χₜᶠ와 αₜᶠ 사이의 일반적인 하한식, α₂ᶠ에 대한 상한식 α₂ᶠ ≤ 2n/(δ+2), Δ=3인 그래프에 대한 3≤χ₂ᶠ≤5 등 다양한 정리를 얻는다. 블록 그래프, 무한 격자와 같은 특수 그래프와 네 가지 표준 그래프곱에 대한 정확한 값과 경계를 제공하고, χ₂ᶠ(G)+χ₂ᶠ(Ĝ)의 Nordhaus‑Gaddum 부등식과 극한 그래프군을 완전히 규명한다.

상세 분석

논문은 먼저 t‑프루얼 독립집합 문제를 정의하고, 기존에 알려진 t‑프루얼 색채수의 NP‑hardness와 차별화한다. 저자들은 Exact Cover by 3‑Sets (X3C) 문제를 이용해, 임의의 양의 정수 t에 대해 αₜᶠ 결정문제가 이분 그래프에서도 NP‑완전임을 증명한다. 이 증명은 각 3‑원소 집합을 길이 3의 경로로, 각 원소를 중심으로 t‑1개의 잎을 가진 별로 변환한 뒤, 적절한 연결을 추가해 구성한다. 이 과정에서 αₜᶠ의 크기가 정확히 X3C의 해와 일대일 대응함을 보인다.

다음으로 트리 구조에 특화된 선형 시간 알고리즘을 제시한다. 트리를 임의의 비단말 정점 r을 루트로 잡고, 거리 기준으로 바텀‑업 순서를 만든다. 이 순서대로 정점을 탐색하면서 현재 집합이 t‑프루얼 독립조건을 위배하지 않을 경우 집합에 추가한다. 귀납적 논증을 통해 이 그리디 과정이 최적해를 생성함을 보이며, 각 정점에 대한 지역 검증만으로 전체 복잡도가 O(|V|)임을 확인한다.

구조적 경계 측면에서는 χₜᶠ와 αₜᶠ, 그래프의 간선 수 m 사이에 χₜᶠ ≥ ½ + √(¼+2m/(t·αₜᶠ)) 라는 새로운 하한식을 도출한다. 이 식은 기존의 Δ/t 기반 하한보다 강력하며, 등호가 성립하는 그래프군을 정확히 규명한다. 또한, 최소 차수 δ≥2인 경우 α₂ᶠ ≤ 2n/(δ+2) 라는 상한을 증명한다. 이 식은 δ가 커질수록 α₂ᶠ가 급격히 감소함을 보여, 고차수 그래프에서 2‑프루얼 독립집합이 매우 제한됨을 의미한다.

특히 Δ=3인 서브큐빅 그래프에 대해 3≤χ₂ᶠ≤5 라는 범위를 얻는다. 하한은 정점의 최대 차수와 직접 연결되는 간단한 카운팅으로부터 나오며, 상한은 7이라는 기존 그리디 결과를 크게 개선한다. 증명은 가능한 색 배치를 경우별로 분석하고, 특정 구조(예: 클로우‑프리)에서는 χ₂ᶠ=3이 정확히 달성됨을 보인다.

그래프곱에 대한 연구에서는 블록 그래프에 대해 χ₂ᶠ = max{ω,⌈Δ/2⌉+1} 라는 정확한 식을 얻고, 무한 2‑방향 경로들의 카르테시안 및 강곱에 대해 α₂ᶠ의 정확한 값이나 상한을 제공한다. 네 가지 표준 그래프곱(카르테시안, 텐서, 강, 레키시코그래픽) 각각에 대해 χ₂ᶠ와 α₂ᶠ를 인자들의 최대·최소값, 차수, 클리크 수 등으로 묶은 상·하한을 제시하고, 여러 예시를 통해 경계의 날카로움을 입증한다.

마지막으로 Nordhaus‑Gaddum 유형의 부등식 χ₂ᶠ(G)+χ₂ᶠ(Ĝ)에 대해 n/2+2 ≤ … ≤ 3n/2 를 증명하고, 상한에 대해 n이 짝수이고 G가 K₁,n‑1 혹은 그 보완인 경우에만 등호가 성립함을 완전히 특성화한다. 이는 프루얼 색채수가 그래프와 그 보완 사이에서 얼마나 균형을 이루는지를 정량화한 중요한 결과다.

전반적으로 이 논문은 프루얼 색채와 독립집합의 계산적 난이도, 구조적 한계, 그리고 다양한 그래프 연산에 대한 정확한 수식들을 포괄적으로 제공함으로써, 해당 분야의 연구 지평을 크게 확장한다.