최소 단방향 커버링 집합 계산 복잡도

초록

본 논문은 대안 집합에 대한 이진 우위 관계에서 위쪽(또는 아래쪽) 최소 커버링 집합을 찾는 문제의 계산 복잡도를 심층 분석한다. 기존 연구가 NP‑hard임을 보인 데 반해, 저자들은 이 문제를 Θ₂^p 수준으로 끌어올리고 Σ₂^p 상한을 제시한다. 또한 최소·최소크기 커버링 집합과 관련된 다양한 변형 문제들을 NP, coNP, Θ₂^p 완전성으로 분류한다. 중요한 결과는 최소 위쪽·아래쪽 커버링 집합이 존재한다 하더라도 다항시간 알고리즘이 없으며, 반대로 최소 양방향 커버링 집합은 다항시간에 계산 가능하다는 점이다.

상세 분석

이 논문은 사회과학에서 널리 사용되는 안정성 개념인 커버링 집합을 형식화하고, 특히 단방향(위쪽 또는 아래쪽) 최소 커버링 집합의 복잡도 특성을 파악한다. Brandt와 Fischer(2008)의 결과에 따르면, 특정 대안이 어떤 포함‑최소 위쪽(또는 아래쪽) 커버링 집합에 포함되는지를 판정하는 문제는 NP‑hard이다. 저자들은 이 하한을 단순히 NP 수준에 머물게 하지 않고, 다항계층의 Θ₂^p(=P^NP