연관 교차수 문제의 난이도: 차원 6 이상의 표면에서 NP‑Hard 증명

초록

본 논문은 두 개의 서로 독립된 그래프를 동일한 표면에 동시에 삽입하면서 두 그래프 사이의 교차수를 최소화하는 Joint Crossing Number 문제와 그 변형(동형·방향 보존 동형)들의 복잡도를 조사한다. 특수한 앵커드 교차수 문제로부터의 다단계 환원 과정을 통해, 이들 문제는 차수 6 이상의 방향가능 표면에서 이미 NP‑Hard임을 보인다. 또한, 가중치 변환과 면‑앵커드 임베딩 기법을 활용한 정교한 구성도 제시한다.

상세 분석

논문은 먼저 기존 연구에서 정의된 세 가지 변형, 즉 (1) 일반 Joint Crossing Number, (2) Joint Homeomorphic Crossing Number, (3) Joint OP‑Homeomorphic Crossing Number 를 명확히 구분하고, 각각이 “두 그래프가 주어진 표면 Σ에 동시에 삽입될 때, 서로 다른 그래프의 간선 사이에 발생하는 교차수”를 최소화하는 문제임을 강조한다. 특히, 두 번째와 세 번째 변형은 각각 주어진 임베딩을 동형(또는 방향 보존 동형)으로 유지해야 하는 제약을 추가한다는 점에서 일반형보다 더 제한적이다.

주요 기술은 Cabello‑Mohar가 제시한 Anchored Crossing Number 문제의 특수 버전으로부터의 환원이다. Anchored 문제는 특정 정점들을 미리 정해진 면에 ‘앵커’시켜야 하는 제약이 있는데, 이를 이용해 면‑앵커드 Joint Embedding을 정의하고, 이러한 임베딩을 고차원 표면(특히 S_h, h≥6)으로 옮기는 방법을 설계한다. 논문은 다음과 같은 핵심 아이디어를 사용한다.

1. 가중치 변환 (Proposition 2.4)
   각 그래프의 간선을 가중치(두께)로 확장하고, 이를 다중 간선으로 교체함으로써 가중치 교차수를 일반 교차수 문제로 다항식 시간에 변환한다. 이 과정에서 3‑연결성 및 단순성을 보존하도록 추가적인 정점 분할과 경로 연결을 수행한다.

2. 면‑앵커드 임베딩 (Section 3)
   그래프 G₁의 특정 사이클 C_i를 ‘앵커 면’으로 지정하고, G₂의 정점 a_i 를 해당 면 내부에 배치하도록 강제한다. 이를 구현하기 위해 C_i 를 복제한 C′_i 를 만들고, C_i 와 C′_i 사이에 ‘프레임’ 구조를 삽입한다. 이렇게 하면 G₁‑임베딩이 해당 면을 고정하게 된다.

3. 토러스 가젯 삽입 (Theorem 3.1)
   각 앵커 면에 토러스 형태의 격자(튜브) T_i 를 부착한다. T_i 는 ‘무거운’ 간선(가중치 p)과 ‘가벼운’ 간선(가중치 1)으로 구성된 복합 구조이며, 토러스 핸들을 통해 표면의 차수를 증가시킨다. 이때 T_i 의 설계는 교차수가 최소화될 경우 반드시 해당 토러스가 특정 면에 배치되도록 강제한다.

4. K₃,₃ 가젯 (L_i) 삽입
   G₂에 K₃,₃ 복제본을 삽입하고, 그 중 일곱 개의 간선을 매우 무거운 가중치 t_i 로 설정한다. t_i 는 (h+1‑i)·t 형태로 감소하도록 선택해, 서로 다른 L_i 가 서로 다른 토러스 핸들을 ‘점유’하도록 만든다. 이는 각 앵커 정점 a_i 가 정확히 대응하는 면 α_i 에 고정되게 하는 핵심 메커니즘이다.

5. 교차수 하한 분석 (Lemma 2.5)
   가중치 배열 a_i 와 b_i 를 이용해 교차수 하한을 정량화한다. 교차수는 순열에 따라 달라지며, 최적 순열이 정체(identity)일 때 최소값이 보장된다. 이를 통해 ‘잘못된’ 배치가 발생하면 최소 교차수보다 크게 증가함을 보인다.

위 구성 요소들을 조합하면, 임의의 인스턴스 (G₁,G₂) 의 면‑앵커드 Joint Planar Crossing Number 가 s 라면, 변환된 인스턴스 (H₁,H₂) 의 Joint OP‑Homeomorphic Crossing Number 는 f(s)=p·s+O(1) 이하가 된다. 반대로 (H₁,H₂) 의 교차수가 f(s) 이하이면 원래 인스턴스의 면‑앵커드 교차수는 s 이하가 된다. 따라서 Anchored Crossing Number 가 NP‑Hard인 것이 알려져 있으므로, 본 변환을 통해 제시된 세 변형 모두 차수 6 이상의 표면에서 NP‑Hard임을 증명한다.

논문은 또한 이 결과가 단순 3‑연결 그래프에 대해서도 성립함을 강조한다. 즉, 복잡한 다중 연결 구조가 필요 없으며, 비교적 간단한 그래프 클래스에서도 동일한 난이도가 발생한다는 점은 이론적 의미가 크다. 마지막 섹션에서는 Cabello‑Mohar의 원본 결과를 약간 강화하는 부가적인 정리와, 향후 연구 방향(예: 낮은 차수 표면에서의 복잡도, 근사 알고리즘 가능성 등)을 제시한다.

전체적으로, 이 논문은 그래프 임베딩 이론과 복합적인 가중치·토러스 가젯 설계를 결합해, 표면 위의 교차수 최소화 문제에 대한 복잡도 경계를 크게 확장한 중요한 연구라 할 수 있다.