[논문 리뷰] Deciding Membership in Minimal Upward Covering Sets is Hard for Parallel Access to NP

Dorothea Baumeister, Felix Brandt외 2명|arXiv (Cornell University)|2009. 01. 23.

Game Theory and Voting Systems참고 문헌 38인용 수 1

한 줄 요약

이 논문은 최소 상향 커버링 세트에 속하는지 여부를 결정하는 문제의 계산 복잡도가 Θ₂^p-난이도임을 입증하며, 이는 이전에 Brandt와 Fischer에 의해 밝혀진 NP-난이도에서 다항계층의 두 번째 수준으로 복잡도 하한을 높인 것이다. 또한 관련 문제들에 대해 coNP-난이도임을 증명하여, 최소 상향 커버링 세트가 다항시간 내에 계산될 수 없다는 것을 의미하며, 이는 P = NP가 성립하지 않는 한 그러한 계산이 불가능하다는 것이다.

ABSTRACT

A common thread in the social sciences is to identify the “most desirable” elements of a set of alternatives according to some binary dominance relation. Examples can be found in areas as diverse as voting theory, game theory, and argumentation theory. Brandt and Fischer [BF08] proved that MCu-MEMBER, the problem of deciding whether an alternative is contained in some inclusion-minimal upward covering set—a subset of alternatives that satisfies certain notions of internal and external stability—is NP-hard. We raise their NPhardness lower bound to the Θ p 2 level of the polynomial hierarchy and provide a Σp 2 upper bound. Relatedly, we show that other problems regarding minimal upward covering sets, such as deciding whether the set of all alternatives is a minimal upward covering set, are coNP-hard. As a consequence, minimal upward covering sets cannot be found in polynomial time unless P = NP.

연구 동기 및 목표

• 어떤 대안이 최소 상향 커버링 세트에 속하는지 여부를 결정하는 문제의 정확한 계산 복잡도를 규명하는 것.
• 이전에 알려진 MCu-MEMBER 문제에 대한 NP-난이도 결과를 개선하여 더 강력한 하한을 확립하는 것.
• 예를 들어 전체 대안 집합이 최소 상향 커버링 세트인지 여부를 판단하는 문제와 같은 관련 문제들의 복잡도를 분석하는 것.
• 사회선택 이론과 추론 이론에서 최소 상향 커버링 세트의 효율적 계산의 한계를 명확히 하는 것.

제안 방법

• MCu-MEMBER 문제가 다항계층의 두 번째 수준, 특히 Θ₂^p에 속하는 것임을 보이기 위해 감소 기법을 사용한다.
• Θ₂^p에 속하는 완전 문제에서 MCu-MEMBER로의 다대일 감소를 구성하여 하한을 확립한다.
• 전체 대안 집합이 최소 상향 커버링 세트인지 여부를 판단하는 문제에 대해 coNP-난이도임을 증명한다.
• 내부 안정성 및 외부 안정성 조건을 포함한 상향 커버링 세트의 구조적 성질에 기반한 분석을 수행한다.
• 최소 상향 커버링 세트와 관련된 결정 문제를 분류하기 위해 복잡도이론적 기법을 적용한다.
• 표준 계산 복잡도 이론 도구를 사용하여 복잡도의 상한과 하한을 유도한다.

실험 결과

연구 질문

• RQ1 최소 상향 커버링 세트에 속하는지 여부를 결정하는 MCu-MEMBER 문제의 정확한 복잡도 클래스는 무엇인가?
• RQ2 MCu-MEMBER 문제에 대한 NP-난이도 결과를 다항계층의 더 높은 수준으로 강화할 수 있는가?
• RQ3 전체 대안 집합이 최소 상향 커버링 세트인지 여부를 판단하는 문제는 계산적으로 난이도가 높은가?
• RQ4 이러한 복잡도 한계는 최소 상향 커버링 세트의 효율적 계산에 어떤 영향을 미치는가?
• RQ5 최소 상향 커버링 세트가 다항시간 내에 계산될 수 있는 조건은 무엇인가?

주요 결과

• 최소 상향 커버링 세트에 속하는지 여부를 결정하는 문제는 Θ₂^p-난이도이며, 이는 이전에 알려진 NP-난이도 결과보다 엄밀히 향상된 것이다.
• MCu-MEMBER 문제에 대해 Σ₂^p 상한을 확립하여, 이 문제가 다항계층의 두 번째 수준에 속한다는 것을 입증한다.
• 전체 대안 집합이 최소 상향 커버링 세트인지 여부를 판단하는 문제는 coNP-난이도이다.
• P = NP가 성립하지 않는 한, 최소 상향 커버링 세트는 다항시간 내에 계산될 수 없다. 이는 증명된 난이도 결과에 기반한다.
• 기본 복잡도 가정 하에 최소 상향 커버링 세트를 효율적으로 계산하는 알고리즘이 존재할 가능성은 매우 낮다.