에지 정보 재사용 최단 경로 문제의 NP 완전성 증명

초록

본 논문은 가중치가 있는 방향성 비순환 그래프에서, 동일한 정보를 가진 에지의 가중치를 한 번만 계산하는 “에지 정보 재사용 최단 경로” 문제를 정의하고, 이를 3SAT으로부터 다항식 시간 감소시켜 NP‑완전임을 증명한다. 또한 문제의 NP 소속성을 간단히 설명하고, 기존의 잘못된 PARTITION 기반 증명과 색상 그래프와의 연관성을 논의한다.

상세 분석

논문은 먼저 “에지 정보 재사용 최단 경로”(Edge Information Reuse Shortest Path, EIRSP) 문제를 공식화한다. 입력은 가중치 w(e)∈ℕ와 정보 함수 f:E→ℕ를 가진 DAG G=(V,E)와 시작·종료 정점 s,t, 그리고 정수 K이다. 경로 U의 길이는 U에 포함된 에지들의 가중치 합이지만, 동일한 정보 f(e)=f(e′)를 가진 에지는 최초 등장 시에만 비용을 부과한다. 이 정의는 “정보 재사용”을 허용함으로써 전통적인 최단 경로와 달리 비용 절감이 가능함을 보여준다.

NP‑소속성은 명백하다. 주어진 경로 U를 두 번 순회하면서 사용된 정보 집합을 추적하고, 처음 등장한 정보에 대한 가중치만 합산하면 다항식 시간에 검증할 수 있다.

NP‑완전성을 보이기 위해 저자는 3SAT 인스턴스를 EIRSP 인스턴스로 변환한다. 변수 x_i마다 네 개의 정점 u_i, u_i′, \bar{u}i′, u{i+1}을 만들고, (u_i,u_i′)와 (u_i,\bar{u}i′)에 가중치 1, 이어지는 두 에지는 가중치 0으로 연결한다. 이 두 에지는 각각 “x_i가 true”와 “x_i가 false”를 의미한다. 각 절 C_j는 다섯 개의 정점 v_j, v{0j}, v_{1j}, v_{2j}, v_{j+1}을 갖는 서브그래프를 구성하고, (v_j, v_{kj}) (k=0,1,2) 에지는 가중치 1이며, 이들 에지는 변수 서브그래프의 (u_i,u_i′) 혹은 (u_i,\bar{u}_i′)와 동일한 정보를 공유한다. 즉, 절의 리터럴이 변수에 대응될 때 동일한 f값을 부여한다.

이 구조에서 s=u_0, t=v_m을 두고 모든 변수와 절 서브그래프를 순차적으로 연결한다. 어떤 s‑t 경로가 존재하려면 각 변수 서브그래프를 통과해야 하므로 반드시 n개의 가중치 1 에지를 포함한다. 만약 3SAT이 만족가능하면, 각 절에서 만족하는 리터럴에 해당하는 가중치 1 에지는 이미 변수 서브그래프에서 사용된 정보와 동일하므로 추가 비용이 발생하지 않는다. 따라서 전체 경로 비용은 정확히 n이 된다. 반대로 경로 비용이 n이면, 각 절에서 최소 하나의 공유 에지를 선택했음을 의미하므로 해당 리터럴이 true임을 나타내며, 이는 만족 가능한 할당을 구성한다.

이와 같이 “길이 n인 경로 ↔ 3SAT 만족”이 성립함을 보이며, 그래프의 정점·에지 수가 O(n+m)임을 확인해 다항식 시간 변환임을 증명한다.

또한 논문은 초기에 제시된 PARTITION 기반 감소가 오류임을 인정하고, 색상 그래프와의 연관성을 통해 간단한 대체 증명을 제시한다. f를 색상으로 해석하고 모든 가중치를 1로 두면, EIRSP는 “색상 수가 최소인 s‑t 경로” 문제와 동등해지며, 이는 알려진 NP‑완전 문제와 바로 연결된다.

결과적으로, EIRSP는 DAG에서도 NP‑완전이며, 정보 재사용이라는 새로운 비용 모델이 기존 최단 경로 문제에 비해 계산 복잡도를 크게 증가시킨다는 중요한 통찰을 제공한다.