[논문 리뷰] Characterization of threshold functions: state of the art, some new contributions and open problems

Josep Freixas, Marc Freixas외 1명|EPub Bayreuth (University of Bayreuth)|2016. 03. 01.

Game Theory and Voting Systems참고 문헌 57인용 수 9

한 줄 요약

이 논문은 가중 투표 체계를 표현할 수 있는 가중 퀼럼을 갖는 단조성 투표 체계인 가중 게임을 무역 안정성과 불변 무역 안정성으로 특성화하여 임계값 논리와 단순 게임 이론을 통합한다. 1개 또는 2개의 동일한 유형의 투표자만을 가진 완전 게임에서 2-불변 무역 안정성이 가중성의 완전한 특성화를 제공한다는 것을 증명한다. 또한, 2-무역 안정성은 갖지만 3-무역 안정성은 갖지 않는 파라미터 가중 가중 게임의 가족을 제시하고, 3-무역 안정성이 3개의 투표자 유형 또는 2개의 이동 최소 승리 연합 유형을 가진 게임에서 가중성으로 이어진다는 추측을 제기한다.

ABSTRACT

This paper has a twofold scope. The first one is to clarify and put in evidence the isomorphic character of two theories developed in quite different fields: on one side, threshold logic, on the other side, simple games. One of the main purposes in both theories is to determine when a simple game is representable as a weighted game, which allows a very compact and easily comprehensible representation. Deep results were found in threshold logic in the sixties and seventies for this problem. However, game theory has taken the lead and some new results have been obtained for the problem in the last two decades. The second and main goal of this paper is to provide some new results on this problem and propose several open questions and conjectures for future research. The results we obtain depend on two significant parameters of the game: the number of types of equivalent players and the number of types of shift-minimal winning coalitions.

연구 동기 및 목표

• 가중 게임의 이sov형 처리를 명확히 하여 임계값 논리와 단순 게임 이론을 통합하는 것.
• 무역 안정성과 불변 무역 안정성을 사용하여 가중 게임에 대한 새로운 특성화 결과를 제공하는 것.
• 가중성 결정 문제의 단순화에 기여하는 구조적 파라미터—투표자 유형 수와 이동 최소 승리 연합 유형 수—를 규명하는 것.
• k-무역 안정성은 갖지만 (k+1)-무역 안정성은 갖지 않는 비가중 게임의 명시적 가족을 구성하여, 무역 안정성이 특성화 도구로서의 한계를 부각하는 것.
• 미해결 문제와 추측을 제안하여 향후 연구에 대한 기반을 마련하는 것.

제안 방법

• 완전 단순 게임에서 가중성의 결정 기준으로 무역 안정성과 불변 무역 안정성을 사용한다.
• 분리 초평면과 선형 부등식계를 분석하기 위해 기하학적 및 대수적 기법을 적용한다.
• 투표자 및 연합 유형 수에 기반한 파라미터화된 게임 구축 기법을 활용하여 제어 가능한 무역 안정성 수준을 가진 예제를 생성한다.
• 이러한 게임의 수를 세는 생성 함수를 유도하여 특정 파라미터 집합에서 Θ(n³)의 점근적 성장을 보여준다.
• n=20까지의 완전한 열거를 통해 무역 안정성과 가중성에 대한 추측을 검증한다.
• 특히 비가역성과 선형 분리 가능성에 기반한 임계값 논리의 결과들을 게임 이론 프레임워크에 적응시킨다.

실험 결과

연구 질문

• RQ1 무역 안정성 수준 k≥2에서 항상 k-무역 안정성은 갖지만 (k+1)-무역 안정성은 갖지 않는 완전 단순 게임의 수열이 존재하는 투표자 유형 수 t의 값은 무엇인가?
• RQ2 이러한 수열이 존재하는 이동 최소 승리 연합 유형 수 r의 값은 무엇인가?
• RQ3 t=3개의 투표자 유형 또는 r=2개의 이동 최소 승리 연합 유형을 가진 완전 단순 게임에서 3-무역 안정성이 가중성으로 이어지는가?
• RQ4 유한한 m≥3에 대해 m-무역 안정성이 완전 단순 게임에서 가중성으로 이어지는가?
• RQ5 t=3 및 r=2를 가진 2-무역 안정성은 갖지만 3-무역 안정성은 갖지 않는 모든 완전 단순 게임이 레미마 8.3에서 구성된 파라미터 가중 가족과 동형인가?

주요 결과

• 1개 또는 2개의 동일한 유형의 투표자를 가진 완전 단순 게임의 클래스는 2-불변 무역 안정성으로 완전히 특성화되며, 이는 가중성에 대해 필수적이고도 충분한 조건이다.
• n=11명의 투표자와 파라미터 k₁,k₂,k₃,l∈ℕ를 가진 2-무역 안정성은 갖지만 3-무역 안정성은 갖지 않는 파라미터 가중 게임의 가족이 구성되었으며, 이러한 게임의 점근적 수는 Θ(n³)이다.
• 이 가족의 생성 함수는 x¹¹(x−2)/[(1−x)³(1−x⁴)]이며, 이는 이러한 비가중 게임의 수가 입체적으로 증가함을 확인한다.
• n=20까지의 완전한 열거를 통해 추측 8.4가 검증되었다: t=3 및 r=2를 가진 모든 3-무역 안정성 게임은 가중이며, 비가중 2-무역 안정성 게임은 레미마 8.3에서 유도된 것들 뿐이다.
• 무역 안정성과 불변 무역 안정성은 상호 보완적인 도구이다: 무역 안정성은 r가 낮을 때 효과적이며, 불변 무역 안정성은 t가 낮을 때 효과적이다.
• 기존에 알려진 바가 없는 3-무역 안정성은 갖지만 비가중인 r=2 또는 t=3인 게임이 존재하지 않으며, 이러한 게임이 존재하지 않을 가능성이 높지만, 아직 증명되지 않았다.