직선형 RAC 그리기 문제는 NP하드

초록

본 논문은 인간이 그래프를 이해할 때 교차각이 70도 이상이면 부정적 영향이 감소한다는 인지 실험 결과를 바탕으로, 모든 교차가 직각인 RAC(Right Angle Crossing) 그리기의 중요성을 강조한다. 저자들은 고유한 RAC 조합 임베딩을 갖는 그래프 군을 정의하고, 이를 이용해 일반 그래프가 직선형 RAC 그리기를 가질 수 있는지를 판별하는 문제가 NP‑하드임을 증명한다.

상세 요약

RAC 그리기는 교차가 발생하더라도 각 교차점이 직각을 이루도록 제한함으로써 시각적 복잡성을 크게 낮춘다. 기존 연구에서는 RAC 그리기의 존재 여부를 다항시간에 결정할 수 있는 그래프 클래스(예: 트리, 외판원 경로 등)와, 직선형이 아닌 곡선형으로 허용할 경우의 상한을 제시했지만, 직선형 제한 하에서의 복잡도는 명확히 규명되지 않았다. 본 논문은 이러한 공백을 메우기 위해 두 단계의 전략을 채택한다. 첫째, ‘고유 RAC 임베딩’이라 부르는 특수 그래프 군을 구성한다. 이 군에 속하는 각 그래프는 교차 구조와 각 교차점의 위치가 유일하게 결정되며, 임베딩을 바꾸면 RAC 조건을 위배한다는 점에서 강력한 구조적 제약을 가진다. 둘째, 이러한 그래프들을 변수와 절을 표현하는 위젯으로 활용해 3‑SAT의 평면 버전(Planar 3‑SAT)으로부터 다항시간 감소(reduction)를 수행한다. 변수 위젯은 두 가지 가능한 직선형 RAC 배치를 갖고, 선택된 배치가 논리값(true/false)을 나타낸다. 절 위젯은 세 개의 리터럴 위젯과 연결되어, 적어도 하나의 리터럴이 true일 때만 전체 위젯이 RAC 조건을 만족하도록 설계된다. 위젯 간 연결선은 모두 직선이며, 교차는 의도적으로 직각을 이루도록 배치한다. 이때 고유 임베딩 특성 덕분에 위젯의 배치가 강제로 고정되며, 임의의 교차각 조정이 불가능해 논리적 일관성이 유지된다. 결과적으로, 주어진 3‑SAT 인스턴스가 만족 가능한 경우에만 해당 그래프가 직선형 RAC 그리기를 허용한다는 것이 증명된다. 따라서 직선형 RAC 그리기 존재 여부를 판별하는 문제는 NP‑완전이며, 특히 NP‑하드임이 확정된다. 이 증명은 기존에 알려진 ‘RAC 그리기의 존재 여부가 NP‑완전’이라는 결과와는 달리, 직선형이라는 추가 제약이 오히려 문제를 더 어려워지게 만든다는 중요한 통찰을 제공한다. 또한, 고유 RAC 임베딩이라는 새로운 구조적 개념은 향후 다른 그래프 레이아웃 문제의 복잡도 분석에 활용될 가능성을 열어준다.