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

본 논문은 색이 지정된 다중그래프(Edge‑coloured multigraph)에서 적절히 색칠된(Properly Coloured, PC) 사이클·경로 문제를 포괄적으로 다룬다. 서론에서는 색상 다중그래프가 방향 그래프와의 관계, 그리고 기존 연구(예: Grossman‑Häggkvist, Yeo 등)를 소개하며, PC 사이클 존재 검증이 일반적인 사이클 검증보다 복잡함을 강조한다. 제2절에서는 Yeo의 정리(정점 z 제거 후 각 연결 성분이 다중 색으로 연결되지 않음)를 이용해 PC 사이클 존재 여부를 재귀적으로 검사하는 방법을 제시한다. 또한, d(n,c) 함수를 정의해 최소 단색 차수 k 가 주어졌을 때 PC 사이클이 보장되는 최소 k 값을 연구한다. 기존에 알려진 상한 O(log n) 과 하한 Ω(log n) 을 정밀히 비교하고, Conjecture 2.2에서 s(c)·log₂ n 형태의 정확한 상수 s(c) 존재를 제안한다. 제3절에서는 P‑가젯(P‑gadget)이라는 변환 도구를 도입한다. 각 정점 x 에 대해 색 집합 χ(x) 를 기반으로 비색 그래프 Gₓ 를 구성하고, 네 가지 속성(P1‑P4)을 만족하도록 설계한다. 세 가지 가젯을 소개한다. 첫 번째는 Szeider가 제안한 SP‑가젯, 두 번째는 Bang‑Jensen‑Gutin이 제안한 BJGP‑가젯, 세 번째는 저자들이 새롭게 제안한 XP‑가젯이다. XP‑가젯은 정점·간선 수 모두에서 최소임을 증명하고, 모든 z≥2 에 대해 최적임을 추측한다(Conjecture 3.1). 제4절에서는 P‑가젯을 이용해 원래의 색상 다중그래프 G 를 일반 그래프 G* (및 G**) 로 변환하는 과정을 상세히 설명한다. 변환 그래프의 정점·간선 수를 n*, m* (또는 n**, m**) 로 표기하고, 정리 4.1을 통해 G에 r개의 간선을 갖는 PC 사이클 서브그래프가 존재하면 G*에 정확히 r개의 E₂‑간선을 포함하는 완전 매칭이 존재함을 보인다. 이를 기반으로 Corollary 4.2는 PC 사이클 존재 여부와 최단·최대 사이클을 O(n*·(m*+n*log n*)) 시간에 찾을 수 있음을 제시한다. 또한, (s,t)-경로 문제에 대해서는 G**에 완전 매칭과 M‑증강 경로 탐색을 적용해 존재 여부를 O(m**) 시간에, 최단 경로를 O(n**·(m**+n**log n**)) 시간에 찾을 수 있음을 보인다(정리 4.3, 4.4). 제5절에서는 긴 PC 사이클·경로에 관한 기존 결과와 새로운 추측을 정리한다. Theorem 5.1은 δ_mon(G) ≥ ⌈(n+1)/2⌉ 일 때 c≥3 혹은 c=2·n 짝수이면 Hamilton PC 사이클이, c=2·n 홀수이면 길이 n‑1의 PC 사이클이 존재함을 보여준다. Conjecture 5.2는 차수 조건을 ⌈n/2⌉ 로 완화할 수 있음을 제안한다. Theorem 5.3은 δ_mon(G)=d 일 때 최소 min{n‑1, 2⌊c/2⌋ d} 길이의 PC 경로가 존재함을 증명하고, 이를 기반으로 Conjecture 5.4와 5.5가 각각 그래프와 다중그래프에 대해 더 강한 길이 보장을 제시한다. 제6절은 색상 완전 그래프 Kₙᶜ 에 초점을 맞춘다. Theorem 6.1은 Kₙᶜ 에 PC Hamilton 경로가 존재하는 것이 PC 1‑path‑cycle 서브그래프 존재와 동치임을 보이며, 이를 통해 최대 PC 경로를 다항시간에 찾을 수 있음을 설명한다. c=2 경우 Saad의 색상 연결성 개념을 이용해 longest PC cycle 문제를 랜덤 다항시간 알고리즘으로 해결했으며, Bang‑Jensen‑Gutin이 이를 결정적 다항시간 알고리즘으로 개선했다. 그러나 c≥3 에서는 아직 PC Hamilton 사이클의 완전한 특성화가 없으며, Problem 6.4로 복잡도 문제를 제시한다. 결론적으로, 논문은 색상 다중그래프의 PC 구조 탐색을 P‑가젯 기반 변환·완전 매칭 기법으로 통합하고, 변환 그래프의 최적화, 차수·길이 조건에 대한 새로운 정리·추측을 제시함으로써 이 분야의 이론적·알고리즘적 연구에 중요한 발판을 제공한다.