거리망 순찰 문제는 강NP완전하지만 트리 구조에서는 다항식 해결 가능

초록

본 논문은 평면상의 직선 구간 집합에 대해 최소한의 감시 지점을 찾는 문제를 정의하고, 이 문제가 그래프가 입방체 형태를 가질 때 강NP‑완전임을 증명한다. 반면, 구간들이 트리 구조를 이루는 경우에는 다항식 시간 알고리즘으로 최적 해를 구할 수 있음을 제시한다.

상세 분석

문제 정의는 “직선 구간 집합 S가 주어졌을 때, 각 구간 위에 배치된 최소 개수의 점 집합 P를 찾으라. P의 각 점은 해당 점이 포함된 구간뿐 아니라, 그 점에서 직선 시야가 닿는 모든 구간을 볼 수 있어야 한다.”라는 형태로 제시된다. 이는 전통적인 가드 문제와 유사하지만, 가시 범위가 무한히 연장되는 것이 아니라 구간 자체에 제한된다는 점에서 차별화된다. 논문은 먼저 이 문제를 결정적 형태로 변환하여, ‘k개의 점으로 모든 구간을 커버할 수 있는가?’라는 질문을 NP‑complete 문제인 3‑SAT 혹은 정확히는 “Vertex Cover” 문제와 다항식 환원함으로써 강NP‑완전성을 입증한다. 특히, 환원 과정에서 구간들의 교차 관계를 입방체(cubic) 그래프 형태로 구성한다. 입방체 그래프는 각 정점이 차수 3인 정규 그래프이며, 이러한 구조를 직선 구간으로 구현하기 위해 각 정점을 하나의 구간으로, 각 변을 두 구간이 겹치는 교차점으로 매핑한다. 이때, 한 점이 여러 구간을 동시에 볼 수 있는 상황을 정확히 제어하기 위해 “시야 차단”을 위한 아주 작은 오프셋을 도입한다. 결과적으로, 원래 그래프의 최소 정점 커버 크기가 k와 동일하면, 구간 집합에서도 k개의 점으로 전체를 커버할 수 있음을 보인다. 강NP‑완전성을 주장하기 위해 입력 크기에 대한 비트 수를 고려한 “강”이라는 수식어를 붙였으며, 이는 가중치가 다항식 범위에 있더라도 문제의 난이도가 변하지 않음을 의미한다.

다음으로 트리 구조에 대한 다항식 알고리즘을 제시한다. 트리 형태의 구간 집합은 교차 관계가 사이클을 이루지 않으며, 따라서 각 구간을 트리의 노드로, 교차점을 간선으로 보는 것이 자연스럽다. 논문은 동적 계획법(DP)을 이용해 루트에서 리프까지 진행하면서, 각 노드에 대해 “이 노드가 선택된 경우”와 “선택되지 않은 경우” 두 가지 상태를 유지한다. 상태 전이식은 자식 노드들의 최소 선택 수를 합산하고, 현재 노드가 선택될 경우 자식이 선택될 필요가 없다는 점을 활용한다. 또한, 구간이 겹치는 경우 시야가 공유되므로, 겹치는 구간을 하나의 “슈퍼 구간”으로 묶어 DP 테이블을 축소한다. 최종적으로 루트에서 얻은 최소값이 전체 구간을 커버하는 최소 점 개수가 된다. 이 알고리즘은 트리의 노드 수 n에 대해 O(n) 시간 복잡도를 가지며, 메모리 사용량도 O(n) 수준이다.

논문은 실험적 검증을 위해 무작위로 생성한 입방체 그래프 기반 구간 집합과, 다양한 크기의 트리 구간 집합에 대해 구현한 알고리즘을 적용하였다. 입방체 사례에서는 최적 해를 찾지 못하고 실행 시간이 급격히 증가함을 확인했으며, 트리 사례에서는 제시된 DP 알고리즘이 실제로 최적 해를 빠르게 도출함을 보여준다. 이러한 결과는 이론적 복잡도 분석과 일치한다.

마지막으로, 연구의 한계와 향후 과제에 대해 논의한다. 현재 모델은 시야가 직선 구간 전체에 무한히 뻗는다고 가정했으며, 실제 환경에서는 장애물, 시야 각도 제한, 감시 장비의 감지 범위 등 추가 제약이 존재한다. 이러한 요소들을 포함한 확장 모델은 여전히 NP‑hard일 가능성이 높지만, 특수한 그래프 구조(예: 평면 그래프, 제한된 차수 그래프)에서는 효율적인 근사 알고리즘이나 파라메트릭 알고리즘이 개발될 여지가 있다.