[논문 리뷰] Recognizing Members of the Tournament Equilibrium Set is NP-hard

Felix Brandt, Felix Fischer외 1명|arXiv (Cornell University)|2007. 11. 19.

Game Theory and Voting SystemsEconomics, Econometrics and Finance참고 문헌 8인용 수 19

한 줄 요약

이 논문은 토너먼트의 토너먼트 균형 집합(TEQ)에 속하는지 여부를 판단하는 것이 NP-난이도임을 증명하며, 이는 이 두드러진 사회선택 해법 개념에 대한 근본적인 계산 장벽을 설정한다. 이 결과는 3-SAT로의 환원을 통해 도출되며, P = NP가 성립하지 않는 한 TEQ에 속하는지 여부를 결정하는 것도 계산적으로 비가능하다는 것을 보여주며, 이는 TEQ가 바ง스 집합과 최소 커버링 집합의 정련으로서 이론적으로 매력적이지만 여전히 이해가 부족한 점을 감안할 때 중요하다.

ABSTRACT

A recurring theme in the mathematical social sciences is how to select the "most desirable" elements given a binary dominance relation on a set of alternatives. Schwartz's tournament equilibrium set (TEQ) ranks among the most intriguing, but also among the most enigmatic, tournament solutions that have been proposed so far in this context. Due to its unwieldy recursive definition, little is known about TEQ. In particular, its monotonicity remains an open problem up to date. Yet, if TEQ were to satisfy monotonicity, it would be a very attractive tournament solution concept refining both the Banks set and Dutta's minimal covering set. We show that the problem of deciding whether a given alternative is contained in TEQ is NP-hard.

연구 동기 및 목표

• 토너먼트 해법으로서 잘 알려져 있지만 이해가 부족한 샤츠의 토너먼트 균형 집합(TEQ)에 속하는지 여부를 결정하는 문제의 계산 복잡도를 해결하는 것.
• TEQ가 단조성(monotonicity)을 만족하는지 여부에 대한 오랫동안 열려있던 문제를 해결하기 위해, 기초가 되는 결정 문제의 NP-난이도를 보여주는 것.
• 바ング스 집합과 최소 커버링 집합과 달리, TEQ 소속 관계는 다항시간 내에 계산될 수 없음을 보여주는 것, 즉 P = NP가 성립하지 않는 한 TEQ 소속 문제를 다항시간에 해결할 수 없다는 것.
• 기존의 3-SAT 문제에서 TEQ 소속 문제로의 공식적 환원을 제공하여, 이 문제의 계산 난이도를 입증하는 것.

제안 방법

• 주어진 3-DNF 공식 ϕ로부터 토너먼트 T_TEQ_ϕ를 구성하여, 변수 할당과 절의 만족 조건을 지배 관계로 인코딩하는 것.
• 자기 참조를 사용한 재귀적 정의로 TEQ 관계를 정의: x →_X y 이면 x ∈ TEQ(D_X(y))이며, 여기서 D_X(y)는 부분집합 X 내에서 y의 지배자 집합이다.
• B ⊇ {d}인 부분집합에 대해 구조적 귀납법을 적용하여, 모든 관련 k에 대해 d ∈ TEQ(D_k)임을 증명함으로써 핵심 귀납 단계를 확립하는 것.
• Condorcet 승자와 순환성 부분토너먼트의 성질을 활용하여, 일부 대안이 TEQ 관계에서 다른 대안을 지배함을 보여주는 것.
• ϕ가 만족 가능할 경우 d ∈ TEQ(T_TEQ_ϕ)임을, 그렇지 않을 경우 d ∉ TEQ(T_TEQ_ϕ)임을 3-SAT로의 환원을 통해 증명하는 것.
• 특정 부분토너먼트에서 특정 대안 ci가 TEQ 관계를 통해 나머지 모든 대안을 지배함을 보여주는 보조 정리를 활용하여 귀납적 추론을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 주어진 대안이 토너먼트의 토너먼트 균형 집합(TEQ)에 속해 있는지 여부를 판단하는 문제는 계산적으로 다룰 수 있는가?
• RQ2 TEQ 해법 개념은 사회선택 이론에서 바람직한 성질인 단조성을 만족하는가?
• RQ3 TEQ 소속 문제는 다항시간 내에 해결될 수 있는가, 아니면 본질적으로 어려운가?
• RQ4 기존의 NP-완전 문제에서 TEQ 소속 문제로의 환원이 존재하는가?
• RQ5 TEQ 계산의 계산 복잡도는 바ング스 집합이나 최소 커버링 집합과 같은 다른 토너먼트 해법과 비교해 볼 때 어떻게 되는가?

주요 결과

• 주어진 대안이 토너먼트의 토너먼트 균형 집합(TEQ)에 속해 있는지 여부를 판단하는 문제는 NP-난이도이다.
• NP-난이도 결과는 3-SAT로의 환원을 통해 입증되며, TEQ 소속 문제를 해결하는 것은 3-SAT 문제를 해결하는 것만큼 어렵다는 것을 보여준다.
• 증명은 3-DNF 공식 ϕ가 만족 가능할 경우 지정된 대안 d가 TEQ(T_TEQ_ϕ)에 속하며, 그렇지 않을 경우 d가 TEQ(T_TEQ_ϕ)에 속하지 않음을 보여준다.
• 자기 참조(TEQ가 스스로를 정의하는 방식)에 의존하는 TEQ의 재귀적 정의가 계산 비가용성으로 이어짐을 입증한다.
• 이 결과는 P = NP가 성립하지 않는 한 TEQ를 계산하는 다항시간 알고리즘이 존재하지 않음을 암시한다.
• 바ング스 집합은 다항시간에 계산 가능하나 TEQ는 그렇지 않다는 점을 감안할 때, 두 개념 간의 핵심 계산적 차이를 드러내며, 이 결과는 이론적 매력성과는 대조적으로 계산적 난이도가 높다는 점을 강조한다.