헤드 엘리멘터리 집합 자유 프로그램 식별 복잡도 완전성

초록

본 논문은 헤드 엘리멘터리 집합 자유(HEF) 프로그램을 판별하는 문제의 복잡도를 규명한다. 저자들은 이 문제가 co‑NP에 속함을 보이고, 동시에 co‑NP‑hard임을 증명하여 전체 복잡도가 co‑NP‑complete임을 확정한다.

상세 분석

논문은 먼저 DLP(Disjunctive Logic Programming)의 기본 개념과 HEF 프로그램의 정의를 정리한다. HEF 프로그램은 모든 규칙의 헤드에 대해 두 개 이상의 원자를 동시에 포함하는 엘리멘터리 집합이 존재하지 않는 프로그램으로, HCF(Head‑Cycle‑Free) 프로그램의 일반화이다. 핵심 기술은 ‘엘리멘터리 집합’과 ‘아웃바운드 집합’ 개념을 이용해 프로그램 내부의 의존 구조를 분석하는 데 있다.

정리된 정리 1은 엘리멘터리 집합이 양방향으로 강하게 연결된 양의 의존 그래프를 형성한다는 사실을 보여, 이러한 집합이 프로그램 내에서 독립적으로 존재할 수 없음을 증명한다. 정리 2는 엘리멘터리 집합에 속한 각 원자가 최소 두 개의 규칙에 의해 “정당화”되어야 함을 제시한다. 이는 HEF 판별에 필요한 증거 구조를 제한한다.

다음으로 저자들은 HEF 판별이 co‑NP에 속함을 보이기 위해 ‘증인 프로그램’ 개념을 도입한다. 주어진 원자 집합 E가 엘리멘터리 집합이면서 동시에 ‘분산 집합’(헤드에 두 개 이상 포함)이라면, E의 투영 프로그램 P_E가 비분산(헤드가 단일)이며 E에 대한 증인 역할을 한다는 사실을 이용한다. 정리 3은 비HEF 프로그램이 존재한다면 반드시 이러한 (E, P_E) 쌍이 존재함을 보이며, 이를 통해 비결정적 다항시간 알고리즘이 “존재하지 않음”을 검증한다.

복잡도 하드니스는 3‑SAT 인스턴스를 HEF 판별 문제로 다항시간 변환함으로써 증명한다. 각 절 C_i를 표현하는 규칙 집합과 보조 원자들을 설계해, 원래 부정형식식이 만족 가능하면 프로그램에 헤드에 두 원자를 포함하는 엘리멘터리 집합이 존재하도록 만든다. 따라서 SAT의 부정형식식이 만족 불가능하면 프로그램은 HEF가 된다. 이 변환은 다항시간에 수행되므로 HEF 판별이 co‑NP‑hard임을 확보한다.

결과적으로, HEF 프로그램 식별 문제는 co‑NP에 속하고, 동시에 co‑NP‑hard이므로 co‑NP‑complete임을 확정한다. 이는 HCF 판별이 선형시간에 가능하던 것과 대조적으로, HEF 판별이 본질적으로 더 어려운 문제임을 의미한다. 또한, HEF 프로그램이 갖는 “쉽게 변환 가능한” 성질과는 별개로, 해당 성질을 갖는 프로그램을 찾는 과정 자체가 높은 복잡도를 가진다는 중요한 교훈을 제공한다.