그래프 감시 시스템 식별 코드의 확장

초록

이 논문은 기존의 식별 코드(Identifying Codes)를 일반화한 ‘감시 시스템(Watching Systems)’ 개념을 도입한다. 정점마다 여러 감시자를 배치해 각 정점이 자신을 감시하는 감시자 집합을 고유하게 만들며, 최소 감시자 수에 대한 상한선, 경로·사이클에서의 정확한 값, 그리고 최적 배치 문제의 NP‑완전성을 제시한다.

상세 분석

감시 시스템은 그래프 G=(V,E)에서 각 정점 v∈V에 ‘감시자 집합’ W(v)⊆V를 할당하는 함수로 정의된다. 감시자는 자신이 배치된 정점과 인접한 정점들을 동시에 감시할 수 있으며, 각 정점 u는 자신을 감시하는 감시자들의 집합 S(u)= {v∈V | u∈W(v)} 로 표현된다. 감시 시스템이 유효하려면 (i) 모든 정점이 적어도 하나의 감시자에 의해 감시되어야 하고, (ii) 서로 다른 정점 u≠w에 대해 S(u)≠S(w) 이어야 한다. 이는 기존 식별 코드가 각 정점에 ‘자기 감시’를 허용하지 않아 발생하는 제약을 완화한 형태이며, 감시자 집합을 자유롭게 선택함으로써 더 작은 규모의 시스템을 설계할 수 있다. 논문은 먼저 기본적인 성질을 정리한다. 예를 들어, 감시 시스템의 최소 크 γ_w(G)는 식별 코드 최소 크 γ_id(G)보다 항상 작거나 같다. 또한, 감시자 집합을 하나씩 추가할 때마다 감시 집합 S(u)의 변화를 추적함으로써 상호 구별성을 유지하는 조건을 명시한다. 핵심 정리는 모든 그래프에 대해 γ_w(G) ≤ ⌈log₂(|V|+1)⌉ 가 성립한다는 상한선이다. 이는 각 정점을 이진 문자열로 인코딩하고, 감시자를 해당 비트 위치에 대응시키는 ‘이진 감시’ 전략을 통해 증명된다. 상한선을 만족하는 그래프는 ‘완전 이진 감시 그래프’라 명명되며, 이들은 주로 완전 이진 트리와 그 변형에서 나타난다. 경로 P_n과 사이클 C_n에 대해서는 정확한 최소값을 구한다. 경로에서는 γ_w(P_n)=⌈log₂(n+1)⌉ 가 성립하고, 사이클에서는 n이 3의 배수인지에 따라 두 가지 경우로 나뉜다. 특히 C_{3k}에서는 γ_w(C_{3k})=k, 그 외에는 ⌈log₂(n)⌉ 가 된다. 마지막으로 최적 감시 시스템을 찾는 문제는 NP‑완전임을 보인다. 이는 식별 코드 문제의 NP‑완전성을 감시 시스템으로 직접 귀환(reduction)함으로써 증명되며, 근사 알고리즘 및 파라메트릭 복잡도에 대한 연구 필요성을 제시한다. 전체적으로 이 논문은 감시 시스템이라는 새로운 프레임워크를 통해 식별 코드의 한계를 넘어서는 설계 가능성을 제시하고, 이론적 상한선과 구체적인 그래프 클래스에 대한 정확한 결과를 제공한다.