Source: Levelica Canonical: https://www.levelica.com/ko/guides/game-theory # 게임 이론 (Game Theory) ## 요약 (Summary) 상대의 선택을 전제로 상호작용 상황을 형식 모형으로 옮기고, 균형을 계산해 각자가 어떤 선택에 이르는지 예측하는 역량. ## 설명 (Description) 게임 이론은 여러 행위자가 서로의 선택에 영향을 주고받는 상황을 형식 모형으로 옮겨 결과를 예측하는 분석 도구입니다. 누가 참여하고 각자 어떤 선택지를 갖는지, 선택 조합마다 누구에게 얼마의 보수가 돌아가는지 정한 뒤, 아무도 혼자서는 선택을 바꿀 이유가 없는 상태를 찾습니다. 이 가이드는 상대가 있는 상황을 모형으로 옮기고 균형으로 판정하는 일을 다루며, 목표와 자원을 맞추는 방향 설계나 개인의 판단 절차와 편향 교정은 다루지 않습니다. --- ## 레벨 개요 (Level Overview) | 레벨 | 숙련도 단계 (Proficiency Stage) | 해시태그 | | ---- | ------------------------------- | ----------------------------------------------------------------------------------------- | | Lv.1 | 게임 식별 | #StrategicInteraction #PlayersStrategiesPayoffs #PayoffMatrix #PrisonersDilemma | | Lv.2 | 정태 게임 풀이 | #DominantStrategy #BestResponse #NashEquilibrium #IteratedElimination | | Lv.3 | 균형 완전 탐색 | #MixedStrategy #Rationalizability #CoordinationGames #EquilibriumMultiplicity | | Lv.4 | 동태 게임 해석 | #ExtensiveForm #BackwardInduction #SubgamePerfection #CredibleCommitment #BargainingGames | | Lv.5 | 불완비 정보 운용 | #RepeatedGames #FolkTheorem #BayesianGames #SignalingGames #ReputationEffects | | Lv.6 | 규칙 설계 | #MechanismDesign #AuctionDesign #MatchingMarkets #IncentiveCompatibility #GlobalGames | | Lv.7 | 해 개념 확장 | #SolutionConceptDesign #EquilibriumRefinement #GameTheoryPedagogy #StrategicModelingCanon | > 숙련도 매핑 출처: 단계 순서는 MIT OpenCourseWare 14.126의 과목 시퀀스(정태 게임의 해 개념 → 전개형 게임 → 반복 게임과 고급 주제)와 Warwick 게임 이론 모듈의 학습 성과에 기반하고, 열의 명칭은 각 레벨의 핵심 행동에서 도출했습니다. 게임 이론에는 국제 공인 급수 체계가 없어 등급 코드를 단계명으로 쓰지 않습니다. > **통합 프레임워크:** 이 가이드의 7레벨은 하나의 커리큘럼을 옮긴 것이 아니라 네 개의 독립 축이 만나는 지점에서 나뉩니다. MIT OpenCourseWare 14.126의 과목 시퀀스는 **게임 구조 축**(동시 선택에서 순차 선택으로, 다시 반복과 불완비 정보로 넓어지는 게임의 부류)을 담당합니다. Stanford Encyclopedia of Philosophy의 해 개념 서술과 Warwick 모듈의 학습 성과는 **해 개념 축**(판정 도구가 지배전략 제거에서 최적대응과 내시균형(Nash Equilibrium)으로, 다시 균형의 정련으로 정밀해지는 진행)을 담당합니다. 게임의 부류가 정해져도 어떤 해 개념으로 판정할지는 따로 정해지므로 두 축은 겹치지 않습니다. 여기에 이 가이드 고유의 두 축이 더해집니다. **모형화 역할 축**은 남이 만든 모형을 읽는 자리에서 자기 사안을 모형으로 번역하는 자리로, 다시 규칙을 짓고 분석 언어를 넓히는 자리로 옮겨 가는 진행이며, 서로 다른 사례에서 공통 구조를 뽑아내야 새 상황으로 전이가 일어난다는 Gick & Holyoak(1983)의 스키마 유도 연구가 이 축의 전이 메커니즘을 뒷받침합니다. **예측 검증 축**은 균형을 계산하고 끝내는 상태에서 실제 결과와 대조하고 상대의 추론 깊이가 유한하다는 점까지 모형에 반영하는 상태로 나아가는 진행이며, 추론 깊이를 수준으로 나눈 Shapiro 외(2014)가 그 관찰 지표를 제공합니다. 레벨 경계는 네 축이 동시에 계단을 밟는 자리에서 정해집니다. > **교차 검증 (Cross-Validation):** 레벨 경계는 서로 다른 출처가 같은 지점에 수렴하는지 확인해 정했습니다. > > - **Lv.2↔Lv.3 경계**: Warwick 모듈은 전략, 최적대응(Best Response), 균형을 학습 성과로 나란히 명시하고, Stanford Encyclopedia of Philosophy는 내시균형을 어느 누구도 자기 전략만 바꿔서는 보수를 개선할 수 없는 상태로 정의합니다. MIT 시퀀스도 합리화가능성(Rationalizability)과 내시균형을 한 묶음으로 배치합니다. 세 출처가 같은 묶음을 가리키므로, 남이 낸 문제를 푸는 단계와 자기 사안을 스스로 모형으로 옮겨 균형까지 도달하는 단계를 이 자리에서 갈랐습니다. > - **Lv.3↔Lv.4 경계**: MIT 14.126은 정태 게임의 해 개념을 끝낸 다음에야 전개형 게임과 후방귀납, 부분게임완전성을 배치합니다. Stanford Encyclopedia of Philosophy 역시 내시균형을 서술한 뒤 부분게임완전 전략을 도달하는 모든 마디에서 해당 부분게임의 최고 보수 경로를 고르는 것으로 따로 정의합니다. 두 출처가 독립적으로 같은 자리에 계단을 놓으며, 게임 구조 축과 해 개념 축이 여기서 동시에 한 칸 올라갑니다. > - **Lv.5↔Lv.6 경계**: MIT 시퀀스의 마지막 구간은 반복 게임과 평판, 글로벌 게임, 협조적 해로 이어지며 분석에서 설계로 넘어가는 자리를 표시합니다. Warwick 모듈의 학습 성과는 그 앞에서 멈춥니다. 모형을 쓰는 위치에서 규칙을 짓는 위치로 모형화 역할 축이 바뀌는 지점이 두 출처의 범위 차이와 겹칩니다. > - **Lv.6↔Lv.7 경계**: 이 위로는 어떤 커리큘럼도 다음 단계를 지정하지 않습니다. MIT의 과목 시퀀스도 Warwick의 학습 성과도 도달 가능한 최상단에서 멈추므로, Lv.7은 등급이 아니라 남긴 해 개념이 얼마나 오래 참조되는지로만 정의됩니다. --- ## Level 1 #StrategicInteraction #PlayersStrategiesPayoffs #PayoffMatrix #PrisonersDilemma ### 요약 (Summary) 상호작용 상황을 알아보고 게임의 세 요소를 지목하는 단계 ### 설명 (Description) 게임 이론에 처음 들어선 상태입니다. 결과가 자기 선택만으로 정해지는 상황과 상대의 선택이 함께 결정하는 상황을 구분합니다. 주어진 사례에서 행위자, 각자의 선택지, 선택 조합마다 정해지는 보수를 지목하고, 두 사람이 각각 두 가지를 고르는 표를 읽습니다. 아직 표를 직접 만들지는 않고, 남이 만든 모형을 읽으며 상호작용의 구조를 눈에 익히는 시기입니다. ### 체크리스트 (Checklist) - [ ] 결과가 상대의 선택에 함께 좌우되는 상황과 그렇지 않은 상황을 사례로 구분할 수 있다 - [ ] 주어진 사례에서 행위자와 각자의 선택지를 빠짐없이 나열할 수 있다 - [ ] 2×2 표에서 각 칸의 숫자가 누구에게 돌아가는 보수인지 짚을 수 있다 - [ ] 상대의 선택이 정해졌다고 가정하고 자신에게 가장 유리한 선택을 지목할 수 있다 - [ ] 죄수의 딜레마(Prisoner's Dilemma)에서 각자의 이익과 전체 이익이 갈리는 이유를 설명할 수 있다 - [ ] 최근 겪은 상황 하나를 골라 상대와 선택지, 결과를 표로 적어 볼 수 있다 > 이 체크리스트를 대부분 달성했다면, Lv.2 정태 게임 풀이 단계로 진입하여 현실 상황을 직접 표로 옮기는 일에 도전할 준비가 됐습니다. Gick & Holyoak(1983)은 사례 하나만으로는 구조가 뽑히지 않고, 겉모습이 다른 사례를 나란히 놓고 견줄 때 비로소 공통 구조가 스키마로 남는다고 보고합니다. 겪은 상황 하나를 골라 행위자와 선택지, 보수를 소리 내어 설명한 뒤 전혀 다른 분야의 상황을 하나 더 붙여 같은 2×2 골격으로 적어 보면, 빠진 요소와 공통 구조가 함께 드러납니다. --- ## Level 2 #DominantStrategy #BestResponse #NashEquilibrium #IteratedElimination ### 요약 (Summary) 현실 상황을 보수행렬로 옮기고 순수전략 균형을 찾는 단계 ### 설명 (Description) 현실의 상호작용을 스스로 표로 옮기기 시작합니다. 행위자와 각자의 전략 집합을 정하고 보수를 숫자로 채워 보수행렬(Payoff Matrix)을 만듭니다. 상대가 무엇을 고르든 항상 더 나은 지배전략(Dominant Strategy)을 찾고, 지배당하는 전략을 차례로 지워 후보를 줄입니다. 각 행위자의 최적대응을 표에 표시해 서로 맞물리는 칸, 곧 순수전략 내시균형을 짚습니다. ### 체크리스트 (Checklist) - [ ] 현실 상황 하나를 2인 게임의 보수행렬로 옮겨 표로 작성할 수 있다 - [ ] 강지배전략과 약지배전략을 구분해 표에서 찾아낼 수 있다 - [ ] 지배당하는 전략을 차례로 지워 남는 결과를 도출할 수 있다 - [ ] 각 행위자의 최적대응을 표에 표시하고 서로 맞물리는 칸을 지목할 수 있다 - [ ] 순수전략 내시균형을 찾고 아무도 혼자 바꿔 이득을 볼 수 없음을 확인할 수 있다 - [ ] 순수전략 균형이 있는 게임과 없는 게임을 각각 예시로 들어 구분할 수 있다 - [ ] 자신이 만든 보수행렬을 다른 사람에게 설명하고 보수 설정의 근거를 댈 수 있다 > 이 체크리스트를 대부분 달성했다면, Lv.3 균형 완전 탐색 단계로 진입하여 혼합전략과 복수 균형을 스스로 계산하는 일에 도전할 준비가 됐습니다. Stanford Encyclopedia of Philosophy는 내시균형을 어느 누구도 자기 전략만 바꿔서는 보수를 개선할 수 없는 상태로 정의합니다. 이 정의를 판정 절차로 바꿔 자기 답에 반례를 직접 찾아보는 연습이 균형 개념을 외운 지식에서 손에 잡히는 도구로 바꿉니다. --- ## Level 3 #MixedStrategy #Rationalizability #CoordinationGames #EquilibriumMultiplicity ### 요약 (Summary) 혼합전략과 복수 균형까지 스스로 계산해 결론을 내는 단계 ### 설명 (Description) 의존에서 자율로 넘어가는 자리입니다. 순수전략 균형이 없는 게임에서 혼합전략(Mixed Strategy) 균형의 확률을 구하고, 상대를 무차별하게 만드는 조건으로 검산합니다. 균형이 여럿인 조율 게임(Coordination Game)에서는 어느 균형에 도달할지 근거를 세워 예측합니다. 남이 정리해 준 문제가 아니라 자기가 마주친 사안을 혼자 모형으로 옮겨 결론까지 냅니다. ### 체크리스트 (Checklist) - [ ] 순수전략 균형이 없는 게임에서 혼합전략 균형의 확률을 계산할 수 있다 - [ ] 상대를 무차별하게 만드는 조건으로 균형 확률을 도출하고 검산할 수 있다 - [ ] 균형이 둘 이상인 조율 게임에서 어느 균형에 도달할지 근거를 들어 예측할 수 있다 - [ ] 합리화가능성 기준으로 살아남는 전략과 탈락하는 전략을 구분할 수 있다 - [ ] 행위자가 셋 이상이거나 선택지가 연속인 게임의 균형 조건을 세울 수 있다 - [ ] 자기가 마주친 사안을 모형으로 옮겨 결론과 근거를 한 장 문서로 낼 수 있다 - [ ] 같은 상황을 보수 설정만 바꿔 두 모형으로 만들고 결론 차이를 설명할 수 있다 - [ ] 자기 모형에서 결론을 뒤집는 전제를 하나 지목하고 현실에서 성립하는지 확인할 수 있다 > 이 체크리스트를 대부분 달성했다면, Lv.4 동태 게임 해석 단계로 진입하여 선택의 순서가 결과를 바꾸는 상황에 도전할 준비가 됐습니다. Gick & Holyoak(1983)은 두 사례를 견줘 뽑아낸 공통 구조가 있어야 처음 보는 세 번째 상황으로 전이가 일어난다고 보고합니다. 같은 상황을 동시 선택과 순차 선택 두 형태로 나란히 모형화해 답이 갈리는 지점을 짚고, 이어서 처음 보는 사안에 같은 대조를 그대로 적용해 보면 이 전환이 앞당겨집니다. --- ## Level 4 #ExtensiveForm #BackwardInduction #SubgamePerfection #CredibleCommitment #BargainingGames ### 요약 (Summary) 순차 게임을 트리로 풀고 위협의 신빙성을 판별하는 단계 ### 설명 (Description) 규칙 적용에서 상황 적응으로 넘어갑니다. 순차적 상호작용을 전개형(Extensive Form) 트리로 그리고, 마지막 마디부터 거슬러 올라가는 후방귀납(Backward Induction)으로 해를 구합니다. 도달하는 모든 마디에서 그 마디부터 시작되는 부분게임의 최선을 고르는 부분게임완전균형(Subgame Perfect Equilibrium)을 적용해, 막상 실행되면 자기 손해인 위협을 걸러냅니다. 협상의 순서와 몫도 이 도구로 다룹니다. ### 체크리스트 (Checklist) - [ ] 순차적 상호작용을 전개형 트리로 그리고 각 마디의 선택 주체를 표시할 수 있다 - [ ] 후방귀납으로 트리의 해를 구하고 균형 경로를 표시할 수 있다 - [ ] 실행되면 자기 손해인 위협을 찾아내 신빙성이 없다고 판정할 수 있다 - [ ] 선택 순서를 바꿨을 때 결과가 어떻게 달라지는지 두 트리를 대조해 설명할 수 있다 - [ ] 선제 약속이나 퇴로 차단으로 자기 위협에 신빙성을 부여하는 방법을 설계할 수 있다 - [ ] 제안이 오가는 협상을 모형으로 옮겨 먼저 제안하는 쪽의 몫을 계산할 수 있다 - [ ] 실제 협상이나 입찰에 모형을 적용하고 예측과 결과의 차이를 기록할 수 있다 - [ ] 상대가 몇 수 앞까지 최적대응을 고려하는지 추정하고 자기 선택을 조정할 수 있다 > 이 체크리스트를 대부분 달성했다면, Lv.5 불완비 정보 운용 단계로 진입하여 반복되는 관계와 감춰진 정보를 다루는 일에 도전할 준비가 됐습니다. Shapiro 외(2014)는 전략적 추론의 깊이를 level-k라는 수준으로 나누어 다루며, 상대가 몇 수까지 따라오는지를 관찰 대상으로 삼습니다. 상대의 추론 깊이를 미리 적어 두고 실제 결과와 대조한 뒤, 한 번으로 끝나던 게임을 반복 상황으로 바꿔 조건을 조금씩 움직여 결론이 뒤집히는 임계점을 찾으면 다음 도구가 왜 필요한지가 몸으로 잡힙니다. --- ## Level 5 #RepeatedGames #FolkTheorem #BayesianGames #SignalingGames #ReputationEffects ### 요약 (Summary) 반복과 정보 비대칭을 다루고 모형을 팀 판단에 투입하는 단계 ### 설명 (Description) 한 번의 게임을 넘어 반복되는 관계와 감춰진 정보를 다룹니다. 미래 보수를 얼마나 무겁게 치느냐로 협력이 유지되는 조건을 따지고, 이탈에 대한 응징이 균형으로 성립하는 범위를 구합니다. 상대의 유형을 모르는 상황은 베이지안 게임(Bayesian Game)으로 세워 신념을 갱신하고, 비용이 드는 신호로 유형이 갈리는 신호 게임(Signaling Game)을 해석합니다. 영향 범위가 개인 분석에서 팀의 결정으로 넓어집니다. ### 체크리스트 (Checklist) - [ ] 반복 게임에서 협력이 유지되는 할인인자 조건을 계산할 수 있다 - [ ] 이탈에 대한 응징 전략이 균형으로 성립하는지 판정할 수 있다 - [ ] 상대 유형을 모르는 상황을 베이지안 게임으로 세우고 사전 확률을 명시할 수 있다 - [ ] 새 정보를 받은 뒤 상대 유형에 대한 신념을 갱신해 최적대응을 다시 구할 수 있다 - [ ] 비용이 드는 신호로 유형이 갈리는 균형과 갈리지 않는 균형을 구분할 수 있다 - [ ] 자신의 모형 분석이 팀이나 조직의 실제 결정에 채택된 기록을 남길 수 있다 - [ ] 세 명 이상에게 보수행렬 작성부터 균형 도출까지 단계별로 지도할 수 있다 - [ ] 게임 모형이 오히려 판단을 흐리는 상황을 지목하고 다른 접근을 택할 수 있다 > 이 체크리스트를 대부분 달성했다면, Lv.6 규칙 설계 단계로 진입하여 원하는 결과가 균형이 되도록 규칙을 짜는 일에 도전할 준비가 됐습니다. MIT OpenCourseWare 14.126은 반복 게임과 평판, 협조적 해를 마지막 구간에 배치해 분석에서 설계로 넘어가는 순서를 보여 줍니다. 결론을 먼저 정해 놓고 그 결론이 균형이 되는 규칙을 거꾸로 써 보는 연습부터 시작하면 설계 감각이 붙습니다. --- ## Level 6 #MechanismDesign #AuctionDesign #MatchingMarkets #IncentiveCompatibility #GlobalGames ### 요약 (Summary) 규칙과 제도를 설계해 참가자의 행동을 유도하는 단계 ### 설명 (Description) 게임을 푸는 위치에서 게임을 짓는 위치로 넘어갑니다. 원하는 결과가 균형으로 나오도록 규칙과 보상 구조를 거꾸로 설계하고, 사실대로 밝히는 편이 참가자에게 유리해지도록 유인 정합성(Incentive Compatibility)을 확보합니다. 경매 형식과 배정 규칙을 비교해 상황에 맞는 형식을 고르고, 다수가 서로의 판단을 추측하며 한쪽으로 쏠리는 상황의 임계 조건까지 모형으로 설명합니다. ### 체크리스트 (Checklist) - [ ] 원하는 결과가 균형이 되도록 규칙과 보상 구조를 역으로 설계할 수 있다 - [ ] 사실대로 밝히는 편이 유리해지는 유인 구조를 설계하고 성립 조건을 검증할 수 있다 - [ ] 경매 형식이나 배정 규칙을 셋 이상 비교해 상황에 맞는 형식을 고를 수 있다 - [ ] 설계한 규칙을 실제로 운영하고 참가자 행동이 예측과 맞았는지 측정할 수 있다 - [ ] 다수가 서로의 판단을 추측하며 한쪽으로 쏠리는 상황의 임계 조건을 설명할 수 있다 - [ ] 자신의 분석 방법을 강의나 기고로 공개해 다른 조직이 채택하게 할 수 있다 - [ ] 자신이 설계한 규칙에서 의도를 우회하는 경로를 셋 이상 찾아 미리 막을 수 있다 > 이 체크리스트를 대부분 달성했다면, Lv.7 해 개념 확장 단계로 진입하여 기존 균형 개념이 놓친 자리를 메우는 일에 도전할 준비가 됐습니다. MIT의 과목 시퀀스도 Warwick 모듈의 학습 성과도 여기서 상한에 닿습니다. 예측이 빗나간 사례를 모아 어떤 전제가 깨졌는지 하나씩 적어 두면, 남이 정리해 둔 순서가 사라진 자리에서 자기 질문이 만들어집니다. --- ## Level 7 #SolutionConceptDesign #EquilibriumRefinement #GameTheoryPedagogy #StrategicModelingCanon ### 요약 (Summary) 새로운 해 개념을 세워 분야의 분석 방식을 바꾸는 단계 ### 설명 (Description) 분석 방식 자체를 바꾸는 수준입니다. 기존 균형 개념이 설명하지 못하는 상황을 지목하고, 그 자리를 메우는 새로운 해 개념이나 모형 부류를 제시합니다. 제시한 틀이 다른 분야의 연구와 실무로 옮겨 가 쓰이고, 지도한 사람들이 독립해 자기 이름으로 모형을 냅니다. 커리큘럼도 등급도 다음 단계를 지정하지 않으므로, 도달의 근거는 남긴 개념이 얼마나 오래 참조되는지로만 확인됩니다. ### 체크리스트 (Checklist) - [ ] 기존 균형 개념이 설명하지 못하는 상황을 지목하고 대안 해 개념을 제시할 수 있다 - [ ] 제시한 해 개념이나 모형 부류가 다른 분야 세 곳 이상에서 쓰이고 있음을 확인할 수 있다 - [ ] 자신의 연구나 방법론이 5년 이상 지속적으로 인용되고 있음을 입증할 수 있다 - [ ] 지도한 다섯 명 이상이 독립해 자기 모형을 발표하고 있음을 확인할 수 있다 - [ ] 표준 교재나 대학 커리큘럼에 자신의 개념이 편입되었음을 확인할 수 있다 - [ ] 자신의 해 개념이 성립하지 않는 조건을 명시해 후대가 검증할 형태로 공개할 수 있다 > 이 체크리스트를 대부분 달성했다면, 상대가 있는 상황을 다루는 언어 자체를 다시 쓰는 자리에 서 있습니다. 커리큘럼도 등급도 이 위를 지정하지 않으므로, 이 단계의 성취는 발표한 편수가 아니라 다음 세대가 어떤 개념을 당연하게 쓰게 되었는지로 확인됩니다. --- ## 참고 자료 (References) - [MIT OpenCourseWare 14.126 — Game Theory (Syllabus)](https://ocw.mit.edu/courses/14-126-game-theory-spring-2016/pages/syllabus/) — MIT OpenCourseWare - [EC941 Game Theory — Module Learning Outcomes](https://warwick.ac.uk/fac/soc/economics/current/modules/ec941/) — University of Warwick, Department of Economics - [Level-k Reasoning in a Generalized Beauty Contest](https://doi.org/10.1016/j.geb.2014.04.002) — Shapiro, Shi & Zillante (Games and Economic Behavior) - [Game Theory (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/game-theory/) — Stanford Encyclopedia of Philosophy - [Schema induction and analogical transfer](https://doi.org/10.1016/0010-0285(83)90002-6) — Gick & Holyoak (Cognitive Psychology)