최대 간섭 최소화 문제는 NP완전

본 논문은 무선 센서 및 애드혹 네트워크에서 ‘수신 간섭’이라는 개념을 중심으로, 네트워크 연결성을 유지하면서 간섭을 최소화하는 문제의 계산 복잡성을 분석한다. 간섭은 한 노드가 다른 노드들의 전송 범위(디스크) 안에 들어가는 횟수로 정의되며, 각 노드의 전송 반경은 자유롭게 선택할 수 있다. 목표는 모든 노드가 포함된 스패닝 트리를 구성하면서, 각 노드가 겪는 최대 간섭을 최소화하는 것이다. 논문은 먼저 문제를 공식화한다. n개의 평면상의 점이 주어지면, 각 점에 반경 r_i를 부여해 원을 만든다. 두 점 i와 j가 서로의 원 안에 있으면 양방향 통신이 가능하고, 이때 형성되는 무방향 그래프가 ‘대칭 통신 그래프’가 된다. 이 그래프가 연결(스패닝 트리를 포함)하도록 반경을 선택하고, 모든 점에 대해 그 점이 포함되는 다른 원의 수(자신의 원 제외)의 최댓값을 최소화한다. 이 문제는 기존 연구에서 상한 O(√n) 알고리즘이 알려져 있었지만, 하한에 대한 결과는 없었다. 저자는 최대 차수가 3인 격자 그래프의 해밀턴 경로 문제를 이용해 NP‑hard성을 증명한다. 격자 그래프는 정수 격자 Z×Z 위에 정점이 놓이고, 인접한 격자점 사이에 간선이 존재하는 그래프이며, 차수가 3 이하인 경우 해밀턴 경로 존재 여부가 NP‑hard함이 알려져 있다. 증명은 다음과 같은 다항식 환원을 사용한다. 격자 그래프의 각 정점 x를 ‘정점 가젯’이라 부르는 작은 노드 집합으로 변환한다. 가젯은 중심 노드 하나와 최대 세 개의 위성 노드로 구성된다. 위성 노드들은 x의 네 방향(상·하·좌·우) 중 실제로 격자에서 변이 존재하는 방향에 배치된다. 차수가 2 이하인 정점의 경우, 남은 위성은 인접한 차수‑2 정점의 위성과 거리를 1보다 크게 하도록 배치한다. 이렇게 하면 두 정점 가젯 사이에 같은 변을 공유하는 위성 쌍을 ‘파트너’라 부른다. 이제 전체 노드 집합을 구성하고, 각 가젯 내부와 파트너 위성 사이에 적절한 전송 반경을 할당한다. 중심 노드와 그 가젯의 위성들 사이의 거리는 ¼이며, 파트너 위성 사이의 거리는 ½이다. 이렇게 하면 중심 노드는 자신을 제외한 세 위성의 디스크에 포함되고, 다른 가젯의 노드와는 최소 ¾ 거리 이상 떨어져 있어 추가 간섭이 발생하지 않는다. 따라서 중심 노드의 간섭은 정확히 3이다. 위성 노드의 경우, 자신을 포함하는 중심 노드와(필요시) 파트너 위성, 그리고 같은 가젯 내 다른 위성(파트너와 연결된 경우)만이 간섭을 일으키며, 이 역시 최대 3이다. Lemma 1은 격자 그래프에 해밀턴 경로가 존재하면 위와 같은 방식으로 간섭 ≤ 3인 스패닝 트리를 만들 수 있음을 보인다. Lemma 2는 가젯 간에 파트너가 아닌 다른 방식으로 연결될 경우, 최소 하나의 노드가 간섭 4 이상을 겪게 된다는 것을 증명한다. 이는 파트너가 아닌 위성이 다른 가젯의 중심 노드에 접근하게 되면, 그 중심 노드가 자신과 두 위성, 그리고 파트너 위성까지 포함해 최소 4개의 디스크에 들어가게 되기 때문이다. Lemma 3은 반대로, 간섭 ≤ 3인 스패닝 트리가 존재한다면 그 트리는 반드시 파트너 연결만을 사용해야 함을 보이며, 따라서 해당 트리는 격자 그래프의 해밀턴 경로와 일대일 대응한다. 즉, 간섭 ≤ 3인 스패닝 트리 존재 여부는 격자 그래프의 해밀턴 경로 존재 여부와 동치이다. 이로써 Theorem 1은 “주어진 평면상의 점 집합이 간섭 ≤ 3인 스패닝 트리를 가질 수 있는가?” 문제는 NP‑complete임을 결론짓는다. NP‑hard성은 위의 다항식 환원으로, NP‑membership은 주어진 트리의 간섭을 O(n²) 원 안 테스트로 검증할 수 있기에 성립한다. 논문의 의의는 다음과 같다. 첫째, 간섭 최소화 문제에 대한 하한을 명확히 제시함으로써 기존 O(√n) 근사 알고리즘과의 격차를 수치적으로 드러낸다. 둘째, 간섭 3과 4를 구분하는 것이 NP‑hard이므로, 4/3 이하의 근사 비율을 다항식 시간에 달성하는 것은 불가능함을 보여준다(즉, 간섭 3과 4를 구별할 수 없는 경우는 P=NP가 될 때만 가능). 셋째, 증명 기법은 격자 그래프와 위성‑가젯 구조를 이용한 창의적인 환원으로, 다른 무선 네트워크 설계 문제에도 적용 가능할 잠재력을 가진다. 마지막으로, 논문은 향후 연구 방향을 제시한다. 제한된 전력 모델(전송 반경이 동일하거나 제한된 값만 허용되는 경우), 1차원 혹은 특정 토폴로지(예: 트리형 배치)에서의 정확한 알고리즘, 그리고 실험적 평가를 통한 실제 네트워크 적용 가능성 등을 탐구할 필요가 있다.