מושגי ליבה
포셋 포지셔널 게임은 기존의 포지셔널 게임에 포셋 구조를 추가한 일반화된 게임 모델이다. 이 모델에서는 게임 진행 중 포셋 구조와 현재 클레임된 요소들에 따라 다음 플레이어의 가능한 움직임이 제한된다.
תקציר
이 논문은 포셋 포지셔널 게임에 대한 일반적인 프레임워크를 제시하고, 포셋의 구조와 승리 집합의 구조에 따른 게임 결과 결정의 복잡도를 종합적으로 연구한다.
주요 내용은 다음과 같다:
- 포셋 포지셔널 게임의 정의와 기존 포지셔널 게임과의 차이점 설명
- 포셋의 높이와 폭에 따른 게임 결과 결정의 복잡도 분석
- 높이 2의 포셋: 승리 집합 크기가 1인 경우 다항식 시간에 해결 가능, 크기가 3인 경우 NP-hard
- 높이 3의 포셋: 승리 집합 크기가 1인 경우에도 NP-hard
- 폭 2의 포셋: PSPACE-hard, 승리 집합 크기가 3 이하여도
- 승리 집합 수와 포셋 폭이 고정된 경우의 다항식 시간 알고리즘
- 서로 독립적인 체인들로 구성된 포셋의 특별한 경우 분석
- 승리 집합 크기가 1인 경우 완전 특성화
- 크기가 2 이하인 경우 폭이 고정되면 다항식 시간에 해결 가능