완전 이분 그래프의 f 색채 스패닝 포레스트 일반화

초록

본 논문은 색이 할당된 완전 이분 그래프 Kₙ,ₙ에서, 색마다 허용 횟수 f(c)를 정한 f‑색채 조건을 만족하는 스패닝 포레스트(정확히 w개의 컴포넌트)를 존재시키는 충분·필요 조건을 제시한다. 기존의 Brualdi‑Hollingsworth 정리를 f‑색채 개념으로 확장함으로써, 색 집합 R에 대해 “R 색으로 색칠된 간선 수 > Σ_{c∈R} f(c)·|R|/2” 와 같은 불균형 조건을 만족하면 원하는 포레스트가 존재함을 증명한다.

상세 분석

이 연구는 두 단계의 이론적 토대를 바탕으로 한다. 첫 번째는 2001년 Brualdi와 Hollingsworth가 제시한 이분 완전 그래프 Kₙ,ₙ에 대한 이색성(heterochromatic) 스패닝 트리 존재 조건이다. 그들은 색 집합 C={1,…,2n‑1}에 대해, 임의의 비공집합 R⊆C에 속한 색으로 색칠된 간선 수 e(R)가 |R|²/4보다 크면 서로 다른 색을 가진 스패닝 트리를 찾을 수 있음을 보였다. 이는 색이 충분히 “분산”되어 있을 때, Hall의 정리와 유사한 매칭 조건이 성립한다는 직관적 해석을 제공한다.

두 번째는 Suzuki가 2010년에 도입한 f‑색채 그래프 개념이다. 여기서 각 색 c∈C에 대해 허용 횟수 f(c)∈ℕ₀를 지정하고, 그래프가 f‑색채라면 어떤 색도 f(c)번을 초과해 사용되지 않는다. Suzuki는 “정확히 w개의 연결 성분을 갖는 f‑색채 스패닝 포레스트”가 존재하기 위한 필요충분 조건을 제시했는데, 이는 모든 색 집합 R에 대해
  e(R) ≥ Σ_{c∈R} f(c) + w·(|R|‑1)
와 같은 형태의 부등식이다. 이 조건은 기존의 이색성 조건을 f‑색채 형태로 일반화한 것으로, 각 색의 허용 횟수를 고려한 “색 용량”과 그래프의 구조적 요구 사이의 균형을 정량화한다.

본 논문은 위 두 결과를 결합한다. 저자들은 Suzuki의 필요충분 조건을 Kₙ,ₙ에 특화시켜, 색 집합 R에 대한 간선 수 하한을 보다 강력하게 추정한다. 핵심 아이디어는 Kₙ,ₙ의 완전성으로 인해 임의의 색 집합 R이 차지하는 양쪽 파트의 정점 수가 동일하다는 점을 이용해, e(R)를 최소화하는 “최악의 색 배치”를 구성하고, 그 경우에도 Suzuki 조건을 만족하도록 f(c)와 w를 조정한다. 구체적으로, 모든 비공집합 R⊆C에 대해
  e(R) > ( Σ_{c∈R} f(c) )· (|R|/2)
를 보이면, Kₙ,ₙ은 정확히 w개의 컴포넌트를 갖는 f‑색채 스패닝 포레스트를 포함한다는 정리를 얻는다. 여기서 |R|/2는 이분 그래프의 양쪽 파트가 동일한 크기 n을 갖는 특수성을 반영한 계수이며, 기존 Brualdi‑Hollingsworth의 |R|²/4와 형태가 유사하지만 f(c)라는 가중치를 도입함으로써 일반화된다.

증명 과정은 크게 두 부분으로 나뉜다. 첫째, 색 집합 R에 대한 “색 용량 함수” g(R)=Σ_{c∈R} f(c)를 정의하고, 이를 이용해 Hall‑type 매칭 조건을 Kₙ,ₙ에 적용한다. 둘째, 매칭이 존재하면 이를 기반으로 각 색을 최대 f(c)번씩 사용하면서도 사이클을 만들지 않는 포레스트를 구성한다. 이때, 포레스트의 컴포넌트 수 w는 색 용량과 간선 수 사이의 차이로 조절되며, 필요에 따라 추가적인 “가상 색”을 도입해 w를 정확히 맞춘다.

결과적으로, 저자들은 Brualdi‑Hollingsworth 정리를 f‑색채 환경으로 확장함으로써, 색마다 다른 허용 횟수를 갖는 현실적인 네트워크(예: 주파수 할당, 작업 스케줄링)에서도 스패닝 포레스트를 보장할 수 있는 새로운 이론적 토대를 제공한다. 또한, 제시된 조건은 기존의 이색성 결과를 특수 경우로 포함하므로, 두 이론 사이의 연속성을 명확히 보여준다.