무제한 무지개 연결성의 새로운 난이도 결과

초록

이 논문은 모든 정수 k에 대해 그래프의 무지개 연결성 rc(G)를 k 이하로 판단하는 문제가 NP 하드임을 증명한다. 또한 강한 무지개 연결성 src(G) 판단 문제도 이분 그래프에서 NP 하드임을 보여준다.

상세 분석

본 연구는 무지개 연결성 문제의 난이도 구간을 기존 결과에서 크게 확장한다. 이전까지는 짝수 k에 대해서만 rc(G) ≤ k 판정이 NP 하드임이 알려졌으며, 홀수 k에 대해서는 아직 미해결 상태였다. 저자들은 새로운 감소(gadget) 구조를 설계하여 임의의 정수 k에 대해 SAT 문제로부터 다항 시간 감소를 수행한다. 핵심 아이디어는 색상 수를 정확히 k 로 제한하면서도 각 색상이 한 번만 사용되는 경로를 강제하는 ‘색상 고정 클러스터’를 도입하는 것이다. 이 클러스터는 변수와 절을 각각 대응시키는 서브그래프와 결합되어, 어떤 색 배정이 가능한지 여부가 원래 논리식의 만족 가능성과 일대일 대응한다. 특히, 홀수 k 경우에는 기존 짝수 구조를 보완하기 위해 추가적인 ‘보조 경로’를 삽입해 전체 그래프의 직경을 유지하면서도 색상 제한을 만족시킨다. 이러한 구성은 그래프의 최대 차수를 제한하지 않으며, 필요에 따라 이분 그래프 형태로 변형할 수 있다. 강한 무지개 연결성 src(G) 에 대해서는, 최단 경로가 반드시 무지개가 되도록 하는 ‘거리 보존 장치’를 도입한다. 이 장치는 두 정점 사이의 모든 최단 경로에 서로 다른 색이 할당되도록 설계되어, src(G) ≤ k 판정이 동일하게 SAT의 만족 여부와 동치임을 보인다. 결과적으로, rc(G)와 src(G) 모두 모든 k 에 대해 NP 하드이며, 특히 src(G) 의 경우에는 이분 그래프에서도 동일한 난이도를 유지한다는 강력한 결론을 얻는다. 이 논문의 기여는 무지개 연결성 연구에 있어 복잡도 경계선을 명확히 하는 동시에, 색상 제한 하에서 그래프 구조를 조작하는 새로운 기법을 제시한다는 점에서 의의가 크다.