단위 정사각형 가시성 그래프의 구조와 인식 복잡도

초록

이 논문은 평면에 배치된 단위 정사각형 사이의 축‑평행 가시성으로 정의되는 USV와 격자 좌표에 제한된 USGV 두 그래프 클래스를 연구한다. 그래프의 최대 차수 4, 인접 정점 간 공통 이웃 제한 등 기본적인 조합적 성질을 증명하고, USGV가 직사각형(레크티라인) 그래프와 동형임을 보인다. 또한 USV·USGV 인식 문제가 NP‑hard임을 복잡도 이론을 통해 입증하고, USGV의 평면성, 금지 서브그래프, 트리 특성 등을 상세히 분석한다.

상세 분석

본 논문은 먼저 가시성 레이아웃을 엄밀히 정의한다. 각 정사각형 R_i는 좌표 (x_i , y_i) 에서 한 변의 길이가 1인 폐쇄 사각형이며, 두 정사각형 사이에 수평·수직 가시성(→, ↓)이 존재하면 그래프의 간선이 된다. USV는 이러한 정사각형이 임의의 실수 좌표에 놓일 수 있는 경우, USGV는 모든 정사각형이 ℕ×ℕ 격자점에 위치한다는 추가 제약을 가진다.

조합적 성질에 대해 저자들은 다음과 같은 기본적인 제한을 도출한다. (1) 최대 차수가 4를 초과할 수 없으며, 이는 한 정사각형이 네 방향(좌·우·위·아래)으로만 가시성을 가질 수 있기 때문이다. (2) 서로 다른 두 정점 u, v에 대해 공통 이웃의 수 |N(u)∩N(v)|는 2 이하이며, 실제 간선 (u,v)가 존재하면 공통 이웃은 전혀 없다는 강한 제약을 얻는다. 이러한 제약은 K_{1,5}, K_{2,3}, K_5 등 다수의 완전·완전 이분 그래프가 USGV에 포함될 수 없음을 즉시 보여준다.

다음으로 USGV와 직사각형(레크티라인) 그래프 사이의 동형성을 증명한다. 격자 상의 정사각형을 그 위치의 점으로 치환하고, 가시성을 직선 구간으로 바꾸면 레크티라인 드로잉이 된다. 반대로 레크티라인 드로잉을 2배 확대하고 각 점을 단위 정사각형으로 교체하면 USGV 레이아웃이 얻어진다. 다만 후자는 약한 레이아웃(weak layout)으로, 추가적인 가시성이 생길 수 있다. 그러나 모든 약한 USGV는 실제 USGV로 변환 가능함을 정리 4에서 증명한다.

평면성에 관한 탐구에서는 USGV가 반드시 평면 그래프가 아니라는 사실을 보여준다. K_{3,3}의 서브디비전이 USGV에 포함될 수 있음을 그림 2로 제시하고, Kuratowski 정리를 이용해 USGV가 비평면 그래프를 포함함을 정리 1에 명시한다. 또한, 특정 평면 그래프라도 모든 USGV 레이아웃이 비평면일 수 있음을 그림 1을 통해 증명한다.

금지 서브그래프에 기반한 완전한 특성화는 불가능함을 정리 2에서 증명한다. 이는 USGV 인식 문제가 NP‑hard임을 전제하면, 유한한 금지 집합으로는 모든 경우를 구분할 수 없다는 논리와 동일하다. 반면, 트리 구조에 대해서는 최대 차수가 4 이하이면 언제든 USGV에 포함될 수 있음을 정리 3에서 간단히 증명한다.

복잡도 측면에서는 USV와 USGV 인식 문제를 각각 Rec(USV), Rec(USGV)라 정의하고, 두 문제 모두 NP‑hard임을 보인다. 특히 USV 인식의 NP‑hardness는 복잡한 gadget 구성과 “고유한” 레이아웃을 강제하는 정교한 감소 과정을 통해 입증된다. USGV 인식은 이미 알려진 레크티라인 그래프 인식의 NP‑hardness와 동치이며, 기존 결과를 이용해 ETH(Exponential‑Time Hypothesis) 하에서 2^{Ω(n)} 시간 이하의 알고리즘이 존재하지 않음을 시사한다.

마지막으로 영역 최소화 버전, 즉 주어진 그래프를 제한된 사각형 영역 안에 배치할 수 있는지 여부를 결정하는 문제를 제시한다. 이는 VLSI 레이아웃 문제와 직접적인 연관이 있으며, 트리조차도 영역 최소화가 NP‑hard임을 언급한다. 전체적으로 논문은 USV/USGV 클래스의 구조적 한계와 알고리즘적 난이도를 명확히 구분하고, 기존 직사각형·RAC·레크티라인 그래프 이론과의 연결 고리를 체계적으로 정리한다.