친구와 적 사이 거리 배치 문제 재조명

초록

이 논문은 부호 그래프를 실수선 R¹에 임베딩할 때, 각 정점이 양(친구) 이웃보다 음(적) 이웃에 더 가깝게 배치될 수 있는지를 판별하는 문제를 심층적으로 탐구한다. 완전 부호 그래프의 경우 문제를 적절 구간 그래프 인식과 연결시켜 다항시간 알고리즘을 제시하고, 일반 경우는 NP‑완전임을 증명한다. 또한 지수시간 가설(ETH) 하에서의 하위지수 시간 알고리즘 존재가 불가능함을 보이며, 정점 수에 대해 단일 지수 시간의 동적 계획법을 제시한다.

상세 분석

문제 정의는 다음과 같다. 부호 그래프 G = (V,E⁺,E⁻) 에 대해 실수선 ℝ¹에 정점들을 실수값 p(v) 로 매핑한다. 모든 정점 v 에 대해 모든 양이웃 u∈N⁺(v) 는 |p(v)−p(u)| 가 모든 음이웃 w∈N⁻(v) 보다 작아야 한다. 이 조건을 만족하는 매핑이 존재하는지를 묻는 결정 문제를 ONE‑DIMENSIONAL SIGNED‑FRIEND‑ENEMY EMBEDDING(1‑SFE)이라 부른다.

첫 번째 주요 기여는 완전 부호 그래프, 즉 모든 정점 쌍이 양 또는 음으로 연결된 경우를 다룬다. 저자들은 양·음 관계를 순서쌍 (<,>) 로 해석해, 양관계가 전이적이고 음관계가 반전적일 때 순서가 완전한 선형 순서를 형성한다는 사실을 이용한다. 이를 기존의 적절 구간 그래프(proper interval graph) 인식 문제와 동형시켜, 1‑SFE가 적절 구간 그래프인지 여부와 동등함을 증명한다. 적절 구간 그래프는 선형 순서와 구간 길이가 모두 동일한 구간 모델로 표현 가능하므로, 기존의 선형 시간 알고리즘을 그대로 적용해 다항시간 해결이 가능함을 보여준다.

두 번째 기여는 일반 부호 그래프에 대한 복잡도 분석이다. 저자들은 3‑SAT의 변형인 Positive‑Not‑All‑Equal‑3SAT 문제로부터 다항시간 환원을 구성한다. 각 변수와 절을 그래프의 정점으로 만들고, 양·음 간선 배치를 통해 절이 만족될 경우에만 1‑SFE 조건을 만족하도록 설계한다. 이 환원은 매핑 존재 여부가 원래 논리식의 만족 여부와 정확히 일치함을 보이며, 따라서 1‑SFE는 NP‑완전임을 증명한다.

세 번째 기여는 시간 복잡도 하한과 상한을 제시한다. ETH(Exponential Time Hypothesis)를 가정하면, 위의 NP‑완전성 환원에서 얻은 인스턴스는 O(2^{o(n)}) 시간으로 풀 수 없음을 보인다. 즉, 입력 정점·간선 수 n 에 대해 2^{o(n)} 시간 알고리즘이 존재한다면 ETH가 깨진다. 반대로, 저자들은 정점 집합을 부분집합으로 나누어 동적 계획법을 적용하는 간단한 알고리즘을 제시한다. 이 알고리즘은 모든 정점 순열을 탐색하되, 부분집합의 유효성을 메모이제이션해 O(2^{n}·poly(n)) 시간에 해결한다. 따라서 문제는 단일 지수 시간 안에 해결 가능하지만, 하위지수 시간은 불가능함을 명확히 한다.

이러한 결과는 부호 그래프 시각화와 사회 네트워크 분석에서 실용적인 의미를 가진다. 완전 그래프에서는 효율적인 선형 순서 추출이 가능하지만, 일반적인 경우는 근본적으로 어려우므로 근사 알고리즘이나 제한된 구조(예: 트리, 코헨-다이어그램)에서의 특수 해법이 필요함을 시사한다.