[논문 리뷰] Characterization and Computation of Normal-Form Proper Equilibria in Extensive-Form Games via the Sequence-Form Representation

Yuqing Hou, Yiyin Cao외 1명|arXiv (Cornell University)|2026. 02. 11.

Game Theory and Applications인용 수 0

한 줄 요약

논문은 확장형 게임에서 정상형 적절 균형에 대한 컴팩트한 시퀀스-폼 프레임워크를 개발하고, 교란된 ε-퍼뮤타hedron 표현을 도입하며, 수렴 보장을 갖는 두 가지 차별화 가능한 경로 추적 방법을 제시하여 이 균형들을 계산한다.

ABSTRACT

Normal-form proper equilibrium, introduced by Myerson as a refinement of normal-form perfect equilibrium, occupies a distinctive position in the equilibrium analysis of extensive-form games because its more stringent perturbation structure entails the sequential rationality. However, the size of the normal-form representation grows exponentially with the number of parallel information sets, making the direct determination of normal-form proper equilibria intractable. To address this challenge, we develop a compact sequence-form proper equilibrium by redefining the expected payoffs over sequences, and we prove that it coincides with the normal-form proper equilibrium via strategic equivalence. To facilitate computation, we further introduce an alternative representation by defining a class of perturbed games based on an $\varepsilon$-permutahedron over sequences. Building on this representation, we introduce two differentiable path-following methods for computing normal-form proper equilibria. These methods rely on artificial sequence-form games whose expected payoff functions incorporate logarithmic or entropy regularization through an auxiliary variable. We prove the existence of a smooth equilibrium path induced by each artificial game, starting from an arbitrary positive realization plan and converging to a normal-form proper equilibrium of the original game as the auxiliary variable approaches zero. Finally, our experimental results demonstrate the effectiveness and efficiency of the proposed methods.

연구 동기 및 목표

• 완전 기억을 가진 유한 확장형 게임에서 정상형 적절 균형 연구의 동기를 제공한다.
• 전략적 등가성을 통해 정상형 적절 균형과 동등한 컴팩트한 시퀀스-폼 특성화를 제공한다.
• 정상형 적절 균형을 특징짓기 위해 ε-permutahedron을 이용한 교란된 시퀀스-폼 형식을 도입한다.
• 로그함수/엔트로피 정규화를 활용하여 균형을 계산하는 두 가지 차별화 가능한 경로 추적 알고리즘을 개발한다.
• 실험을 통해 효과성과 효율성을 입증한다.

제안 방법

• 컴팩트한 시퀀스-폼 적절 균형을 얻기 위해 시퀀스에 대한 기대 보상을 재정의하고 이를 정상형 적절 균형과 동등하다는 것을 증명한다.
• 시퀀스에 대한 ε-퍼뮤타hedron을 도입하여 적절-균형 구조를 포착하는 교란된 게임을 형식화한다.
• 보상 함수가 로그 정규화 또는 엔트로피 정규화로 보강된 보조 변수에 의해 보강된 인위적 시퀀스-폼 게임을 구성한다.
• 보조 변수 → 0일 때 임의의 양의 현실화 계획에서 정상형 적절 균형으로 매끄러운 균형 경로를 생성하는 두 가지 차별화 가능한 경로 추적 방법을 도출한다.
• 각 인위적 게임에 대해 매끄러운 경로의 존재를 입증하고 원래 게임의 정상형 적절 균형으로의 수렴을 보인다.

실험 결과

연구 질문

• RQ1 컴팩트한 시퀀스-폼 표현이 확장형 게임에서 정상형 적절 균형을 특징짓을 수 있는가?
• RQ2 시퀀스-폼 적절 균형이 전략적 등가성을 통해 정상형 적절 균형과 일치하는가?
• RQ3 교란된 시퀀스-폼 게임(ε-permutahedron)이 적절 균형의 지형을 포착할 수 있는가?
• RQ4 이 프레임워크에서 수렴 보장을 갖는 정상형 적절 균형을 계산하기 위한 차별화 가능한 경로 추적 방법이 존재하는가?
• RQ5 제안된 방법이 보조 변수의 극한으로 0에 수렴하면서 정상형 적절 균형으로 수렴하는가, 그리고 실무에서 효율적인가?

주요 결과

• 컴팩트한 시퀀스-폼 적절 균형이 개발되고 전략적으로 정상형 적절 균형과 등가임이 증명되었다.
• 본 맥락에서 정상형 적절 균형을 위한 새로운 ε-퍼뮤타hedron 기반의 교란된 게임 형식이 처음으로 제안되었다.
• 로그함수/엔트로피 정규화를 사용하여 균형을 계산하기 위한 두 가지 차별화 가능한 경로 추적 방법이 도입되었다.
• 각 방법은 양의 현실화 계획에서 시작하여 보조 변수의 값이 0에 접근할 때 정상형 적절 균형으로 수렴하는 매끄러운 균형 경로를 산출한다.
• 실험 결과는 제안된 접근법의 효과성과 효율성을 입증한다.