[논문 리뷰] Game Theory with Costly Computation

Joseph Y. Halpern, Rafael Pass|ArXiv.org|2008. 08. 29.

Game Theory and Applications참고 문헌 82인용 수 38

한 줄 요약

이 논문은 전략의 계산 비용이 플레이어의 유틸리티에 영향을 주는 게임 이론적 프레임워크를 제안한다. 에이전트를 튜링 기계로 모델링하여 실행 시간이나 상태 수와 같은 복잡도가 보상에 영향을 미치게 한다. 이 프레임워크에서 내쉬 균형이 항상 존재하지는 않지만, 자유로운 랜덤라이제이션과 같은 자연스러운 조건 하에서는 균형이 존재하며, 게임 이론적 구현과 암호학적 제로지식 시뮬레이션 간의 깊은 연관성을 규명한다.

ABSTRACT

We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic results (such as the existence of a Nash equilibrium) no longer hold. Nevertheless, we can use the framework to provide psychologically appealing explanations to observed behavior in well-studied games (such as finitely repeated prisoner's dilemma and rock-paper-scissors). Furthermore, we provide natural conditions on games sufficient to guarantee that equilibria exist. As an application of this framework, we consider a notion of game-theoretic implementation of mediators in computational games. We show that a special case of this notion is equivalent to a variant of the traditional cryptographic definition of protocol security; this result shows that, when taking computation into account, the two approaches used for dealing with "deviating" players in two different communities -- Nash equilibrium in game theory and zero-knowledge "simulation" in cryptography -- are intimately related.

연구 동기 및 목표

• 전략적 의사결정에서 계산 비용을 고려하는 일반적인 게임 이론적 프레임워크를 개발하는 것.
• 계산 비용을 통합함으로써 고전적 게임(예: 유한 반복 범죄자 딜레마, 가위바위보)에서 심리적으로 타당한 행동을 설명하는 것.
• 일반적으로 균형이 존재하지 않는다는 점을 감안할 때도, 내쉬 균형이 존재할 수 있는 충분한 조건을 규명하는 것.
• 게임 이론적 매개체 구현과 암호학적 프로토콜 보안 개념 간의 공식적 연결을 수립하는 것.
• 계산 복잡도가 광범위한 형태 게임에서 내쉬 균형 및 순차적 균형과 같은 해결 개념에 어떻게 영향을 미치는지 탐구하는 것.

제안 방법

• 플레이어를 전략이 계산 절차인 튜링 기계로 모델링하고, 유틸리티가 행동과 계산 복잡도(예: 실행 시간 또는 상태 수)에 모두 의존하도록 정의한다.
• 이 프레임워크에서 내쉬 균형을 정의할 때, 플레이어가 기계를 단독으로 변경함으로써 행동 결과와 계산 비용을 모두 고려해 유틸리티를 향상시킬 수 없을 경우를 의미한다.
• 계산 제약 하에서 균형을 정교화하기 위해 '계산적으로 강건한 내쉬 균형' 개념을 도입한다.
• 비용이 드는 계산 게임에서 매개체의 역할을 전략적 행동에 의해 모방함으로써 '게임 이론적 매개체 구현'의 개념을 제안한다.
• 이 구현의 변종과 암호학에서의 '정밀한 보안 계산'의 변종 간의 등가성을 수립하며, 정의에서 양자화자의 순서를 뒤집는다.
• 계산 제약을 통합한 믿음 모델을 사용하여, 높은 계산 비용으로 인해 플레이어가 게임 상태를 구분하지 못할 수 있음을 합리적으로 간주한다.

실험 결과

연구 질문

• RQ1 계산이 비용이 들고 유틸리티에 영향을 주는 게임에서 내쉬 균형이 존재하는 조건은 무엇인가?
• RQ2 반복 범죄자 딜레마와 같은 게임에서 관찰된 인간 행동은 계산 비용을 게임 이론 모델에 통합함으로써 어떻게 설명될 수 있는가?
• RQ3 계산 비용이 있을 경우, 게임 이론적 매개체 구현과 암호학적 제로지식 프로토콜 간의 관계는 무엇인가?
• RQ4 계산 비용은 위협의 신뢰성과 순차적 균형과 같은 해결 개념의 타당성에 어떻게 영향을 미치는가?
• RQ5 계산 제약, 예를 들어 높은 비용으로 인해 게임 상태를 구분할 수 없는 경우를 포함한 지식적 믿음을 모델링할 수 있는 게임 이론적 프레임워크를 확장할 수 있는가?

주요 결과

• 랜덤라이제이션이 비용이 들면, 내쉬 균형이 항상 존재하지는 않으며, 이는 랜덤라이제이션이 비용이 드는 가위바위보 게임을 통해 입증된다.
• 랜덤라이제이션이 무료일 경우 내쉬 균형이 존재함을 보여주며, 이는 계산 가정이 균형 존재성을 복원할 수 있음을 시사한다.
• 이 프레임워크는 계산적으로 어려운 결정 과제에서 정답보다 더 높은 보상이 주어져도 플레이어가 '안전하게 플레이'할 수 있는 심리적으로 타당한 설명을 제공한다.
• 매개체의 게임 이론적 구현의 변종은 정밀한 보안 계산의 변종과 등가이며, 게임 이론과 암호학을 연결한다.
• 등가성은 암호학에서의 제로지식 시뮬레이션과 계산 비용이 있는 게임 이론적 설정에서 내쉬 균형이 서로 대응하며, 정의에서 양자화자의 순서가 뒤집힌다는 것을 드러낸다.
• 계산 비용은 최적은 아니지만 더 단순한 전략이 더 신뢰할 수 있도록 만들 수 있으며, 이는 순차적 균형에서의 '빈도의 위협' 개념에 도전한다.