[논문 리뷰] A tournament of order 24 with two disjoint TEQ-retentive sets

Felix Brandt, Hans Georg Seedig|arXiv (Cornell University)|2013. 02. 22.

Computability, Logic, AI Algorithms참고 문헌 11인용 수 9

한 줄 요약

이 논문은 24차의 구체적인 토너먼트를 구성하여 두 개의 서로소이면서 동형인 TEQ유지 집합을 가짐으로써, 스웨르츠의 추측에 대한 첫 번째 명시적 반례를 제공한다. 이는 최소 TEQ유지 집합의 유일성에 대한 추측을 반박하며, 기존의 확률적 존재 증명에서 약 ~10^136개의 대안을 필요로 하던 것보다 훨씬 작은 반례를 제시한다.

ABSTRACT

Brandt et al. (2013) have recently disproved a conjecture by Schwartz (1990) by non-constructively showing the existence of a counterexample with about 10^136 alternatives. We provide a concrete counterexample for Schwartz's conjecture with only 24 alternatives.

연구 동기 및 목표

• 토너먼트에서 최소 TEQ유지 집합의 유일성에 대한 스웨르츠의 추측에 대한 구체적이고 구성적인 반례를 제시하는 것.
• 기존의 확률적 존재 증명에서의 반례 크기(~10^136개의 대안)를 관리 가능한 24개의 대안으로 줄이는 것.
• 한 토너먼트 내에서 두 개의 서로소이면서 동형인 TEQ유지 집합이 동시에 존재할 수 있음을 보여주는 것.
• 모든 토너먼트가 고유한 최소 TEQ유지 집합을 갖는 최대 순서 $ n_{\mathit{TEQ}} $에 대한 더 강력한 경계를 설정하는 것.

제안 방법

• 토너먼트는 각각 12차인 두 개의 동형 부분토너먼트 $ X $와 $ Y $의 합집합으로 구성되며, 이들 사이에는 대칭적인 지배 관계가 존재한다.
• 각 부분토너먼트 내부 구조($ T|_X $ 및 $ T|_Y $)는 각 대안 $ x_i $에 대해 명시적인 지배자 집합 $ \overline{D}_X(x_i) $를 정의하여 구조적 대칭성을 확보한다.
• 부분토너먼트 간 지배 관계는 $ X_1 \succ Y_2 $, $ X_2 \succ Y_1 $, $ Y_1 \succ X_1 $, $ Y_2 \succ X_2 $로 정의되며, 순환적이고 균형 잡힌 상호작용 패턴을 형성한다.
• 각 대안의 지배자 집합 $ \overline{D}_A(x_i) $에 대해 TEQ 해를 계산하고, 결과가 모두 $ X $ 또는 $ Y $ 내부에만 존재함을 확인함으로써 TEQ유지 성질을 검증한다.
• TEQ 출력에서 $ X $와 $ Y $ 간의 대칭성이 유지됨: $ y_j \in \mathit{TEQ}(\overline{D}_A(y_i)) $이면 $ x_j \in \mathit{TEQ}(\overline{D}_A(x_i)) $이므로, 유지 집합 간의 동형성을 보장한다.

실험 결과

연구 질문

• RQ1 최소한의 포함 최소 TEQ유지 집합을 가진 유한하고 명시적인 토너먼트가 존재하는가?
• RQ2 스웨르츠의 추측에 대한 반례의 크기를 기존의 확률적 존재 증명에서 크게 줄일 수 있는가?
• RQ3 한 토너먼트 내에서 여러 개의 서로소 TEQ유지 집합이 존재할 수 있는 구조적 성질은 무엇인가?
• RQ4 소수의 순서를 가진 모든 토너먼트에서 토너먼트 균형 집합(TEQ) 해는 유일한 최소 유지 집합에 의해 유일하게 결정되는가?

주요 결과

• 24차로 구성된 이 토너먼트는 서로소이면서 동형인 두 개의 TEQ유지 집합 $ X $와 $ Y $를 포함하며, 각각 크기가 12이므로 최소 TEQ유지 집합이 여러 개인 존재를 증명한다.
• 모든 대안의 지배자 집합에 대한 TEQ 해는 항상 $ X $ 또는 $ Y $ 중 하나의 집합 내부에만 존재함을 확인하여, 이들의 TEQ유지 성질을 입증한다.
• $ X $와 $ Y $ 사이의 지배 구조는 대칭적이다: $ X_1 \succ Y_2 $, $ X_2 \succ Y_1 $, $ Y_1 \succ X_1 $, $ Y_2 \succ X_2 $로, 구조적 동형성을 유지한다.
• $ X $와 $ Y $의 대응 요소에 대한 TEQ 출력은 동일한 구조를 가지며, 두 TEQ유지 집합 간의 동형성을 확인한다.
• 이 반례는 $ 12 \leq n_{\mathit{TEQ}} \leq 23 $임을 증명한다. 여기서 $ n_{\mathit{TEQ}} $는 모든 토너먼트가 고유한 최소 TEQ유지 집합을 갖는 최대 순서이다.