레 이 그래프에서 클리크 문제의 난이도

초록

본 논문은 모든 평면 그래프가 짝수 분할된 뒤 보완 그래프가 레 이 교차 그래프가 됨을 보이고, 이를 이용해 레 이 교차 그래프(따라서 선분 교차 그래프)에서 최대 클리크 찾기가 NP‑hard임을 증명한다. 이 결과는 21년간 미해결이던 Kratochvíl‑Nešetřil의 열린 문제를 해결한다.

상세 분석

논문은 먼저 레 이 교차 그래프의 정의와 기존 연구에서 남아 있던 최대 클리크 문제의 복잡도 질문을 정리한다. 핵심 아이디어는 “짝수 서브디비전(even subdivision)”이라는 변환을 통해 임의의 평면 그래프 G를 변형시켜, 그 보완 그래프 (\overline{G’})가 레 이 교차 그래프가 되도록 하는 것이다. 이를 위해 저자들은 파라미터 (k) (홀수) 를 선택하고, 단위 원 위에 (k)개의 점 (p_i) 를 배치한 뒤, 각 인덱스 (i)에 대해 사각형 (R_i)와 곡선 (\alpha_i) 를 정의한다. 이 구조를 “레퍼런스 프레임(reference frame)”이라 부른다.

다음 단계에서는 임베디드 트리 (T)에 대해 “스누커(snooker) 표현”을 만든다. 트리의 각 레벨 (i)에 속한 정점은 (\Gamma_i)에 속하는 레이 하나로 매핑되며, 레이의 시작점은 (\alpha_{i+1}) 위에 놓인다. 부모‑자식 관계는 레이가 부모 레이의 시작점을 통과하도록 함으로써 구현한다. 중요한 두 레이 사이의 교차 여부는 레이들이 속한 레벨 차이에 따라 완전히 제어된다: (|i-j|>1)이면 언제나 교차하고, 같은 레벨에서는 인접한 정점들의 시작점 순서와 (\alpha_i)와의 교차 순서가 반대가 되도록 설계한다. 이 구조는 레이 집합이 (\overline{T})의 모든 비인접 정점 쌍을 정확히 교차시키게 만든다.

그 후, 트리 (T)에 “허용 가능한 확장(admissible extension) (P)”을 추가한다. (P)는 길이가 3 또는 4인 경로들의 집합으로, 각 경로의 양 끝은 같은 레벨에 있는 연속적인 리프 정점이며 내부 정점은 트리에는 존재하지 않는다. 레이 표현을 이용해 이러한 경로를 각각 하나 혹은 두 개의 추가 레이로 구현한다. 경로가 하나의 내부 정점을 가질 경우, 두 리프 레이의 시작점을 연결하는 직선을 새로운 레이로 두고, 길이가 두 개인 경우에는 “near‑tangent” 레이를 적절히 이동시켜 부모 레이와의 교차를 방지하면서 다른 모든 레이와는 교차하도록 만든다.

마지막으로, 임의의 평면 그래프 (G)에 대해 BFS 트리 (B)와 그 보완 집합 (C)를 구하고, (C)의 각 간선을 짝수 개수만큼 세분화한다. 이렇게 얻어진 서브디비전 (G’)는 (T+P) 형태가 되며, 위에서 만든 스누커 표현을 적용하면 (\overline{G’})는 레이 교차 그래프가 된다. 변환 과정은 모든 단계가 다항 시간에 수행 가능하므로, 평면 그래프의 최대 독립 집합 문제(NP‑hard)와 레이 교차 그래프의 최대 클리크 문제 사이에 다항 시간 감소가 존재한다. 따라서 레이 교차 그래프, 나아가 선분 교차 그래프에서 최대 클리크 찾기가 NP‑hard임을 결론짓는다.

이 결과는 1990년대부터 제기된 “선분 교차 그래프에서 최대 클리크 문제는 다항 시간에 해결될 수 있는가?”라는 질문에 부정적인 답을 제공하며, 기존에 알려진 타원, 1‑교차 곡선 등 특수 경우와 달리 가장 기본적인 레이(반직선) 모델에서도 문제의 난이도가 그대로 유지됨을 보여준다. 또한, 평면 그래프의 보완이 레이 교차 그래프가 될 수 있다는 구조적 사실은 향후 다른 기하학적 교차 그래프 클래스의 복잡도 분석에 중요한 도구가 될 가능성을 시사한다.