토너먼트 균형집합 멤버 인식 문제는 NP 하드

초록

수학적 사회과학에서 대안 집합에 대한 이진 우위 관계가 주어졌을 때 “가장 바람직한” 대안을 선택하는 문제는 반복적으로 등장한다. 슈워츠의 토너먼트 균형집합(TEQ)은 이러한 토너먼트 해법 중 가장 흥미롭지만 동시에 가장 난해한 개념 중 하나이다. 재귀적인 정의가 복잡해 TEQ에 대한 이론적 이해가 부족한데, 특히 단조성(monotonicity) 여부는 아직 해결되지 않은 핵심 질문이다. 만약 TEQ가 단조성을 만족한다면, 이는 뱅크스 집합과 두타의 최소 커버링 집합을 동시에 정제하는 매우 매력적인 토너먼트 해법이 된다. 본 논문에서는 주어진 대안이 TEQ에 포함되는지를 판정하는 문제가 NP‑hard임을 증명한다.

상세 요약

토너먼트 균형집합(TEQ)은 토너먼트 그래프, 즉 모든 정점 쌍 사이에 방향이 정해진 완전 그래프에서 “합리적인” 선택자를 정의하려는 시도이다. 기존의 토너먼트 해법들—예를 들어 뱅크스 집합, 최소 커버링 집합, 코어 등—은 각각 특정한 선호 구조를 포착하지만, 서로 간에 포함 관계가 복잡하게 얽혀 있다. TEQ는 이러한 해법들을 재귀적으로 결합해 가장 “안정적인” 대안을 추출한다는 점에서 이론적으로 매력적이다. 그러나 정의 자체가 “모든 최소 강력 서브토너먼트를 찾아 그 안의 TEQ를 다시 구한다”는 형태로, 실제 알고리즘 구현이 거의 불가능에 가깝다.

이 논문이 다루는 핵심 질문은 “특정 대안이 TEQ에 속하는가?”라는 결정 문제의 복잡도이다. 저자들은 이 문제를 NP‑hard임을 보이기 위해, 일반적인 NP‑완전 문제(예: 3‑SAT 혹은 피드백 아크 집합 문제)로부터 다항식 시간 환원을 구성한다. 구체적으로, 임의의 부울식 φ를 입력으로 받아, φ가 만족가능하면 TEQ에 특정 ‘표시 대안’이 포함되고, 만족불가능하면 포함되지 않도록 하는 토너먼트 인스턴스를 설계한다. 이 과정에서 토너먼트의 구조적 특성—예를 들어 사이클과 강력 연결 성분—을 정교하게 조작해 TEQ의 재귀적 정의가 정확히 부울식의 진리값을 반영하도록 만든다.

TEQ의 단조성 문제와도 밀접한 연관이 있다. 단조성은 어떤 대안의 승률이 향상될 때 그 대안이 TEQ에서 제외되지 않아야 한다는 성질이다. 만약 TEQ가 단조성을 만족한다면, TEQ는 뱅크스 집합과 최소 커버링 집합을 동시에 정제하는 강력한 해법이 된다. 그러나 현재 논문은 TEQ의 단조성 자체를 해결하지는 않지만, 결정 문제가 NP‑hard임을 보임으로써 TEQ가 계산적으로 매우 복잡한 구조임을 강조한다. 이는 TEQ를 실용적인 의사결정 도구로 활용하려면 근사 알고리즘이나 제한된 특수 경우에 대한 효율적 해법을 찾아야 함을 시사한다.

또한, 이 결과는 토너먼트 이론 전반에 중요한 함의를 가진다. 기존에 다수의 토너먼트 해법이 P‑시간에 계산 가능하거나, 최소 커버링 집합과 같이 NP‑hard임이 알려진 반면, TEQ는 그 복잡도가 아직 명확히 규명되지 않았다. 이번 연구는 TEQ가 최소 커버링 집합보다도 더 어려운 문제임을 공식화함으로써, 토너먼트 해법들의 복잡도 계층을 보다 정밀하게 구분한다. 향후 연구에서는 TEQ의 단조성 여부, 근사 비율, 그리고 특정 토너먼트 클래스(예: 순환 토너먼트, 트리 형태 토너먼트)에서의 효율적 계산 가능성을 탐구할 필요가 있다.