[논문 리뷰] Complexity Theory, Game Theory, and Economics

Tim Roughgarden|arXiv (Cornell University)|2018. 01. 01.

Economic theories and models인용 수 3

한 줄 요약

이 논문은 복잡도 이론, 게임 이론, 경제학을 연결하는 미니 커스터를 제시하며, 계산 복잡도가 게임과 시장에서 균형을 찾는 데서 나타나는 장벽을 드러내는 동시에, 새로운 복잡도 이론적 통찰을 이끌어내는 방법을 보여준다. 두 개의 강의 시리즈—균형 계산 복잡도에 대한 태양 강의와 경제적 응용에 대한 달 강의—를 소개하여 게임 이론 지식이 없더라도 기초 도구를 습득할 수 있도록 한다.

ABSTRACT

This document collects the lecture notes from my mini-course Complexity Theory, Game Theory, and Economics, taught at the Bellairs Research Institute of McGill University, Holetown, Barbados, February 19--23, 2017, as the 29th McGill Invitational Workshop on Computational Complexity. The goal of this mini-course is twofold: (i) to explain how complexity theory has helped illuminate several barriers in economics and game theory; and (ii) to illustrate how game-theoretic questions have led to new and interesting complexity theory, including recent several breakthroughs. It consists of two five-lecture sequences: the Solar Lectures, focusing on the communication and computational complexity of computing equilibria; and the Lunar Lectures, focusing on applications of complexity theory in game theory and economics. No background in game theory is assumed.

연구 동기 및 목표

• 복잡도 이론을 활용하여 게임과 시장에서 균형을 찾는 데서 나타나는 근본적인 계산 장벽을 명확히 하기.
• 게임 이론 문제들이 복잡도 이론의 발전을 이끌어낸 방식, 특히 최근의 돌풍을 보여주기.
• 게임 이론과 복잡도 이론의 사고 방식을 연결하는 접근성 있는 강의 노트 제공하기.
• 게임 이론 배경이 없는 연구자들이 현대 복잡도 이론적 통찰을 경제학 분야에서 활용할 수 있도록 기초를 다지기.
• 전략적 환경에서의 의사소통 복잡도와 균형 계산 간의 상호작용 탐색하기.

제안 방법

• 태양 강의를 활용하여, 특히 유한한 이성성(유한한 이성)을 가진 게임에서 균형 계산의 의사소통 및 계산 복잡도를 분석하기.
• 달 강의를 활용하여 복잡도 이론 도구를 시장 균형과 메커니즘 설계 등의 경제 문제에 적용하기.
• 균형 계산의 어려움을 수식화하기 위해 기본적인 복잡도 클래스(예: PPAD, FIXP) 도입하기.
• 환원과 완전성 결과를 활용하여 균형 계산 문제의 난이도를 입증하기.
• 교환 경제와 경매에 대한 사례 연구 제시를 통해 경제 메커니즘에서의 복잡도 이론적 통찰을 설명하기.
• 형식적이지 않지만 엄밀한 강의 노트를 활용하여 게임 이론 지식이 없는 연구자들에게도 고급 개념을 접근 가능하게 하기.

실험 결과

연구 질문

• RQ1 유한한 게임에서 내쉬 균형을 계산하는 데 있어서 근본적인 계산 장벽은 무엇이며, PPAD와 같은 복잡도 클래스는 이러한 장벽을 어떻게 수식화하는가?
• RQ2 의사소통 복잡도는 전략적 환경에서 균형을 계산하는 알고리즘의 효율성을 어떻게 제한하는가?
• RQ3 게임 이론 질문들이 새로운 복잡도 이론의 발전, 예를 들어 새로운 완전성 결과를 이끌어내는 방식은 무엇인가?
• RQ4 복잡도 이론 도구는 교환 경제에서의 시장 균형의 계산 가능성을 이해하는 데 어떻게 적용될 수 있는가?
• RQ5 복잡도 이론은 경매 이론과 메커니즘 설계에서 메커니즘의 설계 및 분석에 어떤 통찰을 제공하는가?

주요 결과

• 유한한 게임에서 내쉬 균형의 존재는 브라우워 고정점 정리에 의해 보장되지만, 그러한 균형을 계산하는 것은 PPAD-완전하므로 본질적인 계산 난이도를 지닌다.
• 의사소통 복잡도의 하한선은 간단한 이인용 게임에서도 균형을 계산하기 위해 최악의 경우 지수적으로 많은 비트의 의사소통이 필요함을 보여준다.
• 연속적인 선호를 가진 교환 경제에서 균형을 계산하는 데 걸리는 어려움은 FIXP 복잡도 클래스가 포괄하며, 이는 PPAD보다 계산적으로 더 어려운 문제임을 시사한다.
• 특정 경제에서 시장 균형을 찾는 게임 이론 문제들은 복잡도 이론에서 새로운 완전성 결과를 이끌어내었으며, FIXP 및 관련 클래스의 범위를 확장시켰다.
• 복잡도 이론과 게임 이론 간의 상호작용은 많은 경제 메커니즘이 이론적으로 최적이지만 실제로는 정확히 구현하기에 계산적으로 불가능하다는 것을 드러낸다.
• 강의 시리즈는 복잡도 이론적 통찰이 실제 경제 및 전략적 환경에서 균형 계산의 실질적 한계를 이해하는 데 필수적임을 보여준다.