[논문 리뷰] Bilateral symmetry and modified Pascal triangles in Parsimonious games

Flavio Pressacco, Giacomo Plazzotta외 1명|Institutional Research Information System (University of Udine)|2014. 02. 20.

Game Theory and Applications참고 문헌 12인용 수 4

한 줄 요약

이 논문은 자유 이진 표현에서의 이원 대칭성이 자가 쌍둥이 극소 비용 게임—정확히 n개의 최소 승리 동맹을 가진 상수합 동일가중치 다수결 게임—를 유일하게 특성화함을 밝혀낸다. 수정된 파스칼 삼각형(MPT)을 도입하여 n과 h의 매개변수에 대해 이러한 게임의 기수를 인코딩하며, MPT가 짝수 m과 홀수 k인 경우에만 합이 아닌 차이가 항의 차이로 대체되는 수정된 재귀 규칙를 따른다는 것을 보여준다. 이는 단순한, 성질에 기반한 번식 규칙을 통해 생성된 자가 쌍둥이 게임의 계보수를 제공한다.

ABSTRACT

We discuss the prominent role played by bilateral symmetry and modified Pascal triangles in self twin games, a subset of constant sum homogeneous weighted majority games. We show that bilateral symmetry of the free representations unequivocally identifies and characterizes this class of games and that modified Pascal triangles describe their cardinality for combinations of m and k, respectively linked through linear transforms to the key parameters n, number of players and h, number of types in the game. Besides, we derive the whole set of self twin games in the form of a genealogical tree obtained through a simple constructive procedure in which each game of a generation, corresponding to a given value of m, is able to give birth to one child or two children (depending on the parity of m), self twin games of the next generation. The breeding rules are, given the parity of m, invariant through generations and quite simple.

연구 동기 및 목표

• 자유 이진 표현에서의 이원 대칭성을 통해 자가 쌍둥이 극소 비용 게임을 특성화하기.
• n(플레이어 수)와 h(플레이어 유형 수)의 함수로 자가 쌍둥이 게임의 수를 닫힌 형식의 공식으로 유도하기.
• 자신의 쌍둥이 게임의 기수를 인코딩하는 수정된 파스칼 삼각형(MPT)을 도입하고, 그 재귀 규칙을 기술하기.
• 단순한, 성질 기반의 번식 과정을 통해 자가 쌍둥이 게임의 계보수를 구성하기.
• MPT의 재귀 규칙가 고전적 파스칼 삼각형과 다름이 없지만, 짝수 m과 홀수 k인 경우에만 덧셈이 빼기로 대체된다는 것을 보여주기.

제안 방법

• 극소 비용 게임의 자유 이진 표현과 자유 유형 표현을 정의하여 여유로운 경계 성분을 제거하기.
• 자유 이진 벡터의 구조적 성질로 이원 대칭성을 도입하며, 이는 자유 유형 벡터의 대칭성도 유도함.
• 자기 쌍둥이 게임과 이원 대칭 자유 이진 표현 사이의 일대일 대응을 확립하기.
• 자신의 쌍둥이 게임의 기수를 나타내는 수정된 파스칼 삼각형 Γ(m,k)를 정의하며, Γ(m,k)는 n = m + 4명의 플레이어와 h = k + 2개의 유형을 가진 자가 쌍둥이 게임의 수를 세는 항이다.
• Γ(m,k)의 재귀 규칙 유도: 대부분의 경우 Γ(m,k) = Γ(m−1,k) + Γ(m−1,k−1)이지만, 짝수 m과 홀수 k인 경우 Γ(m,k) = Γ(m−1,k) − Γ(m−1,k−1)이다.
• 각 게임이 매개변수 m을 가질 때, m의 홀짝성에 따라 하나 또는 두 개의 자식을 생성하는 번식 규칙을 정의함으로써 자가 쌍둥이 게임의 계보수를 구성하기.

실험 결과

연구 질문

• RQ1 모든 상수합 동일가중치 다수결 게임 중에서 자가 쌍둥이 극소 비용 게임을 유일하게 식별하는 구조적 성질은 무엇인가?
• RQ2 n과 h의 함수로 자가 쌍둥이 게임의 수를 체계적으로 세는 방법은 무엇인가?
• RQ3 자신의 쌍둥이 게임의 기수를 인코딩하는 수정된 파스칼 삼각형의 재귀 규칙은 무엇인가?
• RQ4 확정적 번식 과정을 통해 모든 자가 쌍둥이 게임을 구성적 계보수로 생성할 수 있는가?
• RQ5 수정된 파스칼 삼각형의 재귀 규칙가 고전적 파스칼 삼각형과 다름이 있는 경우는 언제이며, 그 이유는 무엇인가?

주요 결과

• 극소 비용 게임의 자유 이진 표현에서의 이원 대칭성은 그 게임이 자가 쌍둥이임을 보장하는 필수적이고도 충분한 조건이다.
• n = m + 4명의 플레이어와 h = k + 2개의 유형을 가진 자가 쌍둥이 게임의 수는 수정된 파스칼 삼각형의 항 Γ(m,k)로 주어진다.
• 수정된 파스칼 삼각형 Γ(m,k)는 대부분의 경우 고전적 파스칼 규칙을 따르지만, m이 짝수이고 k가 홀수인 경우에만 Γ(m,k) = Γ(m−1,k) − Γ(m−1,k−1)로 변경된다.
• 자기 쌍둥이 게임의 계보수는 단순한 번식 규칙을 통해 생성되며, 매개변수 m이 홀수이면 각 게임은 하나의 자식을, 짝수이면 두 개의 자식을 생성한다.
• 수정된 파스칼 삼각형 Γ(m,k)는 조각별 공식을 통해 이항계수와 연결된다: m과 k가 모두 짝수이면 Γ(m,k) = C(m/2, k/2); m과 k가 모두 홀수이면 Γ(m,k) = C((m−1)/2, (k−1)/2); m가 짝수이고 k가 홀수이면 0이다.
• 자기 쌍둥이가 아닌 극소 비용 게임의 수는 m이 짝수이고 k가 홀수이면 Δ(m,k) = 2Γ(m,k), 그 외의 경우 Δ(m,k) = 2Γ(m,k)로 주어지며, Θ = Δ/2는 정규화된 수를 제공한다.