그릴 위의 꼬인 경로 교차 그래프

초록

이 논문은 직사각형 격자에서 최대 k번의 90도 회전을 허용하는 경로(k‑bend path)들의 교차 그래프인 B_k‑VPG 클래스를 연구한다. 고정된 k에 대해 B_k‑VPG ⊂ B_{k+1}‑VPG 임을 보이며, B_{k+1}‑VPG 표현이 주어져도 B_k‑VPG 인지 판별은 NP‑complete임을 증명한다. 또한 k>0인 경우 B_k‑VPG와 평면 직선 구간 교차 그래프(SEG) 사이에 포함 관계가 없음을 보여준다.

상세 분석

본 연구는 격자 기반 경로 교차 그래프(B_k‑VPG)의 구조적 위계를 최초로 명확히 규정한다. k‑bend path는 격자선 위를 따라 이동하면서 최대 k개의 직각 전환을 허용하는 단순 경로이며, 이러한 경로들의 교차 관계로 형성된 그래프를 B_k‑VPG라 정의한다. 저자들은 먼저 B_k‑VPG ⊂ B_{k+1}‑VPG임을 보이기 위해 “소시지(sausage)”, “누들(noodle)”, “와플(waffle)”라 명명한 세 가지 기본 빌딩 블록을 설계한다. 소시지는 두 개의 긴 직선 구간을 k번 교차시키는 구조로, 이를 적절히 연결하면 B_k‑VPG에 속하지만 B_{k‑1}‑VPG에서는 구현이 불가능함을 증명한다. 누들은 경로가 격자 셀을 따라 꼬이는 형태로, k+1번의 굽힘을 이용해 복잡한 교차 패턴을 만들 수 있지만 k번 이하로는 재현할 수 없다는 점을 이용한다. 와플은 격자 셀을 격자형으로 채워 만든 2차원 격자망으로, 각 셀마다 경로가 교차하도록 배치해 B_{k+1}‑VPG에서는 표현 가능하지만 B_k‑VPG에서는 불가능함을 보인다. 이러한 구성은 그래프 이론적 관점에서 “포함 관계가 엄격히 증가한다”는 사실을 직관적으로 시각화한다.

다음으로 인식 문제의 복잡도 분석에 들어간다. 저자들은 B_{k+1}‑VPG 표현이 주어졌을 때 B_k‑VPG 여부를 판단하는 문제가 NP‑complete임을 증명한다. 이를 위해 먼저 3‑SAT의 변형인 “planar monotone 3‑SAT”을 선택하고, 각 변수와 절을 위의 빌딩 블록을 이용해 격자에 매핑한다. 변수는 두 가지 가능한 배치를 갖는 “노드”로, 절은 “클라우드” 형태의 교차 구조로 구현한다. 이때 k+1번의 굽힘을 허용하면 모든 제약을 만족시키는 배치가 가능하지만, k번 이하로는 특정 절이 만족되지 않을 경우 교차 충돌이 발생한다는 점을 이용해 논리적 귀결을 만든다. 따라서 주어진 B_{k+1}‑VPG 표현을 이용해 B_k‑VPG 인지를 판별하는 문제는 SAT 귀환을 통해 NP‑hard임을 보이고, 검증은 다항 시간에 가능하므로 NP‑complete임을 확정한다.

마지막으로 B_k‑VPG와 평면 직선 구간 교차 그래프(SEG) 사이의 관계를 조사한다. 기존 연구에서는 B_0‑VPG가 SEG와 동일하다는 사실이 알려져 있었지만, k>0인 경우 두 클래스가 서로 포함 관계에 있지 않음을 보인다. 구체적으로, “와플” 구조는 SEG로는 구현할 수 없으며, 반대로 “완전 이분 그래프”와 같은 일부 SEG 그래프는 제한된 굽힘 수를 가진 경로로는 표현이 불가능함을 증명한다. 이는 격자 기반 경로가 평면 구간보다 표현력이 다르며, 굽힘 수에 따라 새로운 그래프 패밀리를 형성한다는 중요한 통찰을 제공한다.

이러한 결과는 VPG 그래프 이론에 새로운 위계 구조를 도입하고, 인식 문제의 난이도를 명확히 함으로써 알고리즘 설계와 복잡도 이론에 중요한 영향을 미친다. 또한, 격자 기반 경로와 평면 구간 사이의 비포함 관계는 그래프 표현 모델 선택 시 트레이드오프를 명확히 제시한다는 점에서 실용적 의의가 크다.