정렬된 색상 사이클과 경로: 최신 결과와 미해결 문제

초록

본 논문은 색이 지정된 다중그래프에서 적절히 색칠된(PC) 사이클·경로의 존재 여부와 최단·최장 구조를 탐구한다. 기존 결과를 정리하고, PC 사이클·(s,t)-경로 문제를 일반 그래프로 변환하는 P‑가젯 기법을 제시한다. 변환 그래프의 최적 크기와 최소 정점·간선 수를 찾는 문제를 제기하고, 새로운 XP‑가젯이 최소 구조를 제공함을 보인다. 또한, 충분한 단색 차수 조건에서 긴 PC 사이클·경로 존재를 보장하는 여러 정리와 여러 개방된 추측을 제시한다.

상세 분석

논문은 먼저 색상 다중그래프 G 의 PC 사이클 존재 판정이 방향 그래프의 사이클 검증보다 일반적임을 보이며, Yeo의 정리(정점 z 가 제거된 후 각 연결 성분이 다중 색으로 연결되지 않음)를 이용해 재귀적 검사 알고리즘을 제시한다. d(n,c) 함수를 도입해 최소 단색 차수 k 가 주어졌을 때 PC 사이클이 보장되는 최소 k 값을 연구하고, 기존 상한 O(log n) 과 하한 Ω(log n) 을 정밀히 비교한다.

핵심 기법은 P‑가젯(P‑gadget)이다. 각 정점 x 에 대해 색 집합 χ(x) 를 기반으로 비색 그래프 Gₓ 를 구성한다. 가젯은 네 가지 속성(P1‑P4)을 만족해야 하며, 이를 통해 G의 PC 서브그래프 문제를 완전 매칭 문제로 환원한다. 세 가지 가젯(SP, BJGP, 신규 XP)을 비교했을 때, XP‑가젯이 정점·간선 수 모두에서 최적임을 증명하고, 이를 일반적인 변환 그래프 G* 및 G** 구축에 적용한다.

정리 4.1은 G에 r개의 간선을 갖는 PC 사이클 서브그래프가 존재하면, 변환 그래프 G* 에 정확히 r개의 E₂‑간선을 포함하는 완전 매칭이 존재함을 보인다. 이를 기반으로 Corollary 4.2는 PC 사이클 존재 여부와 최단·최대 사이클을 O(n*·(m*+nlog n)) 시간에 찾을 수 있음을 제시한다. 마찬가지로 (s,t)-경로 문제는 G** 에서 완전 매칭과 M‑증강 경로 탐색으로 O(m**) 혹은 O(n**·(m**+nlog n)) 시간에 해결한다.

길이와 차수 조건에 관한 섹션에서는 δ_mon(G) ≥ ⌈n/2⌉ 일 때 Hamilton PC 사이클이 존재한다는 정리 5.1과 그 강화를 위한 추측 5.2, 그리고 δ_mon(G) = d 일 때 최소 min{n‑1, 2⌊c/2⌋ d} 길이의 PC 경로가 존재한다는 정리 5.3을 제시한다. 저자들은 이를 일반화한 추측 5.4, 5.5를 제안한다.

완전 그래프 Kₙᶜ 에서는 PC Hamilton 경로와 PC 1‑path‑cycle 서브그래프의 동치성을 이용해 최대 PC 경로를 다항시간에 찾을 수 있음을 보이며, c≥3 인 경우 아직 완전한 특성화가 없고 복잡도 문제가 열려 있음을 강조한다(Problem 6.4).

전체적으로 논문은 색상 다중그래프의 PC 구조 탐색을 그래프 변환·완전 매칭 기법으로 통합하고, 변환 그래프의 최적화와 길이·차수 조건에 대한 새로운 정리·추측을 제시함으로써 이 분야의 이론적·알고리즘적 기반을 크게 확장한다.