시간 할인으로 보는 유한 합리성

초록

이 논문은 행동을 선택하는 데 걸리는 계산 시간을 비용으로 할인하는 새로운 유한 합리성 모델을 제시한다. 정수 생성·인수분해 게임을 사례로, 할인율이 적절하면 Alice가 승리하는 균형이 존재함을 보이며, 이는 평균‑난이도 인수분해 문제와 정확히 동등함을 증명한다. 또한 가산 무한 행동 공간을 가진 일반 게임에서도 모든 유계·계산 가능한 보상이 있는 경우 균형이 존재함을 보여, 전통적 내시 균형이 없던 Largest Integer 게임에도 균형이 존재함을 확인한다.

상세 분석

본 논문은 전통적인 게임 이론이 “무한한 계산 능력”을 전제로 한다는 한계를 지적하고, 실제 알고리즘적 제약을 반영한 새로운 유한 합리성(framework)을 도입한다. 핵심 아이디어는 각 플레이어가 자신의 전략을 구현하는 데 소요되는 시간 t에 대해 지불(payoff)을 e^{-δ t}와 같은 지수 할인 함수로 곱해 실제 효용을 감소시키는 것이다. 여기서 δ는 플레이어별 혹은 게임 전체에 공통적인 할인율이며, “자연스러운 가정”이라 함은 δ가 충분히 작아 현실적인 컴퓨팅 비용을 반영하지만, 무한히 큰 시간에 대해서는 효용을 거의 0에 가깝게 만든다.

이 모델을 정수 생성·인수분해 게임에 적용하면, Bob이 최적 알고리즘으로 인수분해를 시도하더라도, 인수분해가 평균적으로 지수 시간에 비례한다면 그의 효용은 급격히 감소한다. 반대로 Alice는 단순히 무작위로 큰 정수를 생성하는 데는 거의 시간이 들지 않으므로, 할인된 효용이 크게 유지된다. 논문은 “δ가 충분히 작다”는 전제 하에, Alice가 승리하는 균형이 존재함을 보이는데, 이는 “Factoring이 평균‑난이도(average‑hard)인, 선형 시간에 샘플링 가능한 분포 D가 존재한다”는 가정과 정확히 동치이다. 즉, Factoring이 평균‑난이도라면 Alice가 승리하는 균형이 존재하고, 반대로 그런 균형이 존재한다면 Factoring은 평균‑난이도여야 한다는 양방향 연결고리를 제공한다.

또한 논문은 가산 무한 행동 공간을 가진 일반 게임에 대해, 모든 보상이 유계이고 계산 가능(computable)하면, 할인된 효용을 사용한 확장된 내시 균형(ε‑Nash이 아닌 실제 균형)이 항상 존재함을 증명한다. 이를 위해 연속적인 전략 공간을 이산화하고, Kakutani 고정점 정리를 변형한 “discounted best‑response correspondence”를 이용한다. 특히, 전통적 내시 균형이 존재하지 않는 유명한 Largest Integer 게임에 적용했을 때, 각 플레이어가 “정수를 무한히 크게 만들려는” 전략을 선택하는 대신, 시간 할인으로 인해 실제 효용이 급격히 감소하므로, 어느 정도 큰 정수를 선택하는 것이 최적이 된다. 결과적으로 이 게임에도 균형이 존재함을 보이며, 유한 합리성 모델이 기존 게임 이론의 비현실적 가정을 극복할 수 있음을 시연한다.

이러한 결과는 두 가지 중요한 의미를 가진다. 첫째, 계산 복잡도와 경제적 행동을 직접 연결함으로써, 암호학적 가정(예: Factoring의 난이도)이 게임 이론적 균형 구조에 직접적인 영향을 미친다. 둘째, 시간 할인이라는 간단한 메커니즘만으로도 무한 행동 공간에서의 균형 존재성을 보장할 수 있음을 보여, 향후 복잡도‑경제학 교차 연구에 풍부한 도구를 제공한다.