我们给出一种确定性多项式时间算法，用于在有限的两人零和扩展式博弈（具备完美回忆且数据为有理数）中计算精确的扩展式正规均衡。正规性在代理正规形式下定义：在信息集合中的一个动作相对于更好的动作会受到惩罚，而其他局部行为选择（包括玩家自身的未来动作）保持不变。算法为每个信息集合分配一个几何置换体（permutahedron），限定可行的动作概率。通过缩放的双随机矩阵表示，将这些限制嵌入到多项式规模的序列形式多面体中；其鞍点满足局部 $\varepsilon$‑正规性不等式。为了得到精确均衡而非任意小扰动的数值解，我们证明了参数线性系统的符号稳定性，构造了持久的可行基，并提取行为比率的极限。得到的概率都是有理数，编码长度为多项式级，即使在实现概率为零的信息集合上亦如此。
点评