一种近似纳什均衡的自动化分析方法

本发明属于纳什均衡算法分析技术领域，具体涉及一种近似纳什均衡的自动化分析方法，将近似纳什均衡用基本操作策略表示，通过编译器将基本操作策略编译形成逻辑编码，然后通过量词消除技术和实例化技术推导出关系表达式，计算关系表达式从而证明近似纳什均衡的近似界。本发明的通过自动发现并表示策略间的相互作用为约束条件，解决了多人博弈中传统分析方法无效的问题。相比于传统两人算法的扩展技术，本发明提供了更深层次的近似分析，通过其独特的混合操作和优化技术，绕过了传统基于矩阵的方法所遇到的困难，使得多人博弈中的复杂策略相互作用得以被高效处理，从而能够自动化地分析算法的近似界，无需手动分析复杂的博弈策略之间的相互作用。