PPA-Game: Characterizing and Learning Competitive Dynamics Among Online Content Creators
MoE Key Laboratory of Interdisciplinary Research of Computation and Economics, Institute for Theoretical Computer Science, Shanghai University of Finance and Economics（交叉学科计算与经济学联合实验室，理论计算机科学研究院，上海财经大学）；College of Computer Science and Technology, National University of Defense Technology（计算机科学与技术学院，国防科技大学）；Department of Computer Science and Technology, Tsinghua University（计算机科学与技术系，清华大学）；School of Economics and Management, Tsinghua University（经济管理学院，清华大学）
本文提出比例收益分配博弈（PPA-Game）以刻画在线内容创作者竞争注意力的动态，通过博弈论分析纯纳什均衡存在性，并设计多臂老虎机在线学习算法，实现遗憾界O(log^{1+η}T)。
2026-10-30 cs.GT cs.LG
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs
本文通过无限图博弈的有限记忆决定性刻画了ω-正则目标，证明双方玩家在色度有限记忆下最优时目标必为ω-正则，并提供了一对二玩家提升及折扣和目标的实例。
2023-01-13 cs.FL cs.GT cs.LO
Reducing Stochastic Games to Semidefinite Program Feasibility
TU Dresden（德累斯顿工业大学）；FU Berlin（柏林自由大学）；U Twente（特温特大学）；LAAS-CNRS, Université de Toulouse, CNRS（图卢兹大学/法国国家科学研究中心拉塞拉斯实验室）
通过多项式时间还原，将随机游戏问题转化为半定程序可行性问题，扩展了半定规划在博弈论中的应用范围。
2025-12-02 cs.CC cs.GT math.OC
Characterizing Positionality in Games of Infinite Duration over Infinite Graphs
本文刻画了无限博弈图上主角具有最优位置策略的估值条件，利用泛图框架统一并扩展了位置性结果，并证明了关于字典序积的封闭性。
2023-01-30 cs.GT cs.LO
Quadratic Programming Approach for Nash Equilibrium Computation in Multiplayer Imperfect-Information Games
Ganzfried Research（Ganzfried研究）
针对多人非完美信息博弈，提出基于序列形式非线性互补问题的二次约束规划方法，利用非凸二次规划求解器精确计算纳什均衡，在三玩家Kuhn扑克中优于Gambit的logit方法。
2026-07-08 cs.AI cs.GT cs.MA
Evaluating LLMs in Open-Source Games
University of Washington（华盛顿大学）
本文评估了LLMs在开源游戏中预测策略和分析合作策略形成的能力。
2025-11-29 cs.AI cs.GT cs.LG
Robustness and Games Against Nature in Molecular Programming
物质，特别是DNA，现在被编程为在纳米级进行有用的过程。随着这些程序和过程变得更加复杂，并且其设想的安全关键应用接近部署，开发用于将可信度工程化到分子程序中的方法至关重要。其中一些可以通过调整现有的软件工程方法来实现，但分子编程也提出了新的挑战，需要新的方法。本文提出了一种方法来处理这样一个挑战，即，确定如何强大的分子程序是扰动的相对“时钟速度”的各种反应的困难。这里提出的方法是博弈论的。分子程序的鲁棒性是根据其在与操纵其相对时钟速度的其他分子程序的游戏中获胜（实现其原始目标）的能力来量化的。这种博弈论的方法是一般性的，足以量化的分子程序对恶意操纵其相对时钟速度的安全性。然而，这份初步报告的重点是对抗自然的游戏，在这种游戏中，分子程序的对手根据化学动力学固有的概率随机（无差别地）扰乱时钟速度。
2019-02-16 cs.ET cs.GT cs.SE
On the Equivalence of Zero-Sum Games and Conic Programs
University of North Carolina at Chapel Hill（北卡罗来纳大学教堂山分校）
研究证明了零和游戏与锥程序的强对偶性等价性，建立了统一框架，并展示了如何通过对偶对求解博弈价值和纳什均衡。
2026-04-11 cs.GT math.OC
A mathematical programming based characterization of Nash equilibria of some constrained stochastic games
本文考虑两类有限状态行动随机对策。首先，我们考虑一个两人非零和单控制器约束的随机对策，同时考虑平均成本和折扣成本准则。我们考虑与[1]中相同类型的约束，即，参与者1具有基于预订的约束，而控制转移概率的参与者2具有基于实现的约束，这些约束也可以取决于参与者1的策略。其次，我们考虑了一个具有独立状态过程的N个局中人非零和约束随机对策，其中每个局中人都有[2]中讨论的平均成本准则。我们证明了在强Slater和不可约条件下存在的这两类约束对策的稳态Nash平衡点[3]，[2]与某些数学规划的全局极小点一一对应.在单控制器博弈中，如果局中人2的约束条件不依赖于局中人1的策略，则数学规划可化为非凸二次规划。在两个局中人独立状态过程的随机对策中，如果一个局中人的约束条件不依赖于另一个局中人的策略，则数学规划归结为非凸二次规划。找到非凸二次规划的全局最小值的计算算法存在[4]，[5]，因此，可以计算这些约束随机对策的纳什均衡。我们的结果推广了已有的关于零和对策的结果[1]，[6]，[7].
2012-06-08 cs.GT math.OC
Slot Games for Detecting Timing Leaks of Programs
在本文中，我们描述了一种方法来验证程序的安全信息流，除了直接和间接流的秘密信息可以通过隐蔽定时信道泄漏。也就是说，一个程序的两个计算，如果只在高安全性输入上有差异，就不能通过低安全性输出和定时差异来区分。我们攻击这个问题，通过使用老虎机游戏语义的定量分析程序。我们展示了如何插槽游戏模型可以用于执行一个精确的安全分析的程序，考虑到程序的外延和内涵属性。这种方法的实用性自动验证也显示。
2013-07-17 cs.CR cs.GT cs.PL
Analysis of Evolutionary Program Synthesis for Card Games
在这份报告中，我们检查了Rack'O游戏的进化方法的应用，这是一个围绕决策概念的纸牌游戏。我们首先应用进化技术来获得一组经过许多代的规则，然后将它们与人类玩家编写的脚本进行比较。一个高层次的领域特定的语言，确定的规则集是合成。我们报告的结果，提供了一套规则及其影响的全面分析。
2021-01-08 cs.AI cs.GT
Locally Optimal Solutions for Integer Programming Games
本文提出整数规划博弈的局部最优整数解（LOIS），比纳什均衡更易计算且可扩展，支持均衡枚举，并适用于Stackelberg等更广问题，在关键节点博弈中展现性能优势。
2025-03-26 cs.GT
On the equivalence of semidefinite programming and zero-sum semidefinite games
Sorbonne Université（索邦大学）；Inria Paris（法国国家信息与自动化研究所巴黎分部）；Goethe-Universität（歌德大学）；Paris University（巴黎大学）；CNRS（法国国家科学研究中心）
研究半正定规划解与关联零和半正定博弈最优策略的等价性，提出约束资格条件并构建证明框架，提供解的证书机制。
2026-04-24 cs.GT math.OC
Efficient Estimation of Equilibria in Large Aggregative Games with Coupling Constraints
聚合博弈有许多工业应用，当玩家数量很大时，计算这些博弈中的均衡是具有挑战性的。在具有耦合约束的原子聚合博弈框架下，我们证明了一个大规模聚合博弈的变分纳什均衡可以近似为一个较小维数的辅助种群博弈的Wardrop均衡.这个辅助博弈的每个种群对应于初始大博弈的一组原子参与者。这种方法使一个有效的计算近似的平衡，作为变分不等式特征的Wardrop平衡是较小的尺寸比初始的。这是在智能电网上下文中的一个例子说明。
2020-03-26 cs.GT
Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming
半定规划可以考虑在任何实封闭的域上，包括具有非阿基米德赋值的Puixix级数的域。非阿基米德半定程序编码的经典半定程序的参数家庭，足够大的参数值。最近，非阿基米德半定规划与完全信息随机平均支付对策之间建立了对应关系。这种对应关系依赖于热带几何学。它允许一个解决一般的非阿基米德半定可行性问题，大规模的，通过随机对策算法。在本文中，我们表明，这些游戏的平均支付可以解释为相应的非阿基米德可行性问题的条件数。这个数字衡量一个可行实例与不可行实例的距离，反之亦然。我们证明了它与希尔伯特射影度量中的球的最大半径一致，即包含在可行集内。几何解释的条件数特别依赖于对偶定理的热带半定可行性方案。然后，我们根据条件数限制可行性问题的复杂性。根据随机对策的特点，给出了该条件数的明确界。因此，我们表明，最简单的算法来决定是否随机平均支付游戏是赢的，即值迭代，具有伪多项式的复杂性时，随机位置的数量是固定的。
2018-02-21 cs.GT math.CO math.OC
Multilinear formulations for computing Nash equilibrium of multi-player matrix games
本文提出多线性和混合整数多线性规划来计算多人非合作博弈的 Nash 均衡，实验表明多线性可行性规划速度快于 Gambit 中的常见算法，是寻找多人博弈 Nash 均衡的有效替代方法。
2024-03-25 cs.GT math.OC
2-Player Nash and Nonsymmetric Bargaining Games: Algorithms and Structural Properties
纳什博弈或非对称讨价还价博弈的解是通过在凸集上最大化凹函数来获得的，即，它是凸规划的解。我们表明，每个2人游戏的凸规划有线性约束，承认一个合理的解决方案，这样的解决方案可以找到在多项式时间只使用LP求解器。如果此外，游戏是简洁的，即，其凸规划中的系数是"小“的，则其解可以在强多项式时间内求出.我们还给出了一个非简洁的线性对策，其解可以在强多项式时间内找到。
2009-09-24 cs.DS cs.GT
Rational Convex Programs, Their Feasibility, and the Arrow-Debreu Nash Bargaining Game
在过去的十年中，组合算法已经获得了精确求解几个非线性凸规划。我们首先通过引入{ \em有理凸规划}的概念来为这项活动提供一个正式的背景--这也使我们能够确定一些需要进一步研究的问题。到目前为止，这样的算法得到的全部问题。我们的主要贡献是发展了处理非总体问题的方法，即，它们相关的凸规划对于某些参数设置可能是不可行的。我们研究的具体问题属于纳什讨价还价的游戏，称为ADNB，这是来自线性情况下的阿罗德布鲁市场模型。我们减少这个游戏，以计算一个新的市场模型称为{ \em灵活的预算市场}的均衡，我们得到的原始-对偶算法确定的可行性，以及不可行性的证明，并找到一个均衡。我们给我们的组合算法ADNB一个重要的“公平”的吞吐量分配问题的无线信道上的应用。
2010-10-20 cs.DS cs.GT
Indian Kidney Exchange Program: A Game Theoretic Perspective
我们提出了一种在印度医疗领域可行，经济和有效地实施肾脏交换的方法，称为印度肾脏交换计划（IKEP）以及印度对兼容性和最终结果的具体影响。肾脏交换对于那些患有肾功能衰竭的人来说是一个福音，并且确实有一个不相容的肾脏捐赠者（也鼓励相容的肾脏更好地匹配）。在这种情况下，患者、供体对与具有相同问题的另一患者、供体对匹配并且彼此相容。医院公布了他们的病人-捐赠者数据。使用生物数据，生成相容性分数（或权重），并相应地形成偏好。印度对权重的影响，修改生成的兼容性分数，从而修改偏好。然后，在没有货币的市场上使用博弈论匹配算法来分配这些对。
2022-03-15 cs.GT
A Note on the Compatibility of Different Robust Program Equilibria of the Prisoner's Dilemma
我们研究了囚徒困境的程序博弈版本，即，一种两人游戏，其中每个玩家提交一个计算机程序，这些程序被给予读取对方源代码的权限，然后选择是合作还是背叛。先前的工作介绍了各种程序，形成合作的平衡对自己在这个游戏。例如，基于$ε$的公平机器人以概率$ε$合作，并以剩余的概率运行其对手的程序并复制其动作。如果两个参与人都提交这个方案，那么这就是一个两个参与人合作的纳什均衡.其他人提出了基于证据的公平机器人的合作均衡，如果他们能证明对手合作（否则会背叛），他们就会合作。我们在这里表明，这些不同的程序是相互兼容的。例如，如果一个参与者提交基于$ε$的公平机器人，另一个参与者提交基于证明的公平机器人，那么这也是囚徒困境的程序博弈版本的合作均衡。
2022-11-09 cs.GT
Game theoretical analysis of Kidney Exchange Programs
本文将跨机构肾脏交换建模为N人非合作博弈，刻画均衡并分析移植信息质量的影响，且基于加拿大肾脏配对捐赠项目的实例计算验证Nash均衡的作用。
2020-12-09 cs.GT
Zero-sum Stochastic Games with Asymmetric Information
研究了非对称信息下零和随机对策的一般模型。在该模型中，每个玩家每次的信息可以分为公共信息部分和私人信息部分。在公共信息和私有信息演化的一定条件下，给出了博弈值（如果存在）的动态规划刻画。如果零和博弈的值不存在，则动态程序提供博弈的上限值和下限值。然后，这种动态规划用于一类零和随机博弈，其中一方具有完全信息，另一方具有部分信息，也就是说，一个玩家具有关于状态、动作和观察历史的完整信息，而另一个玩家可能只具有关于状态和动作历史的部分信息。对于这样的游戏，它是存在的，可以使用动态程序的特点。它进一步表明，对于这类游戏，动态程序可以用来计算一个均衡策略，更知情的球员，球员选择其行动使用其私人信息和共同的信息信念。
2019-12-24 cs.GT cs.SY eess.SY
Limited Resource Optimal Distribution Algorithm Based on Game Iteration Method
本文给出了线性规划问题的一种求解算法，并将线性规划问题描述为一个对抗矩阵对策问题，从而用迭代法进一步求解。该算法是作为一个计算机程序。在应用必要的精度后，作者研究了与实际值有关的解的评估收敛速度。程序实施表明LPP解决方案的接收率很高，可接受的精度是分数或单位。它允许在集成系统中使用该算法，用于其最优控制的目的。
2019-05-11 cs.GT math.OC
Dynamic Programming for Pure-Strategy Subgame Perfection in an Arbitrary Game
本文利用价值函数刻画了一个任意的、可能无限时域博弈的纯策略子博弈完美均衡。它将游戏的扩展形式指定为五元形式（Streufert 2023p，arXiv：2107.10801v4），这是一组五元组，形式化了节点、动作、玩家和情境之间的抽象关系（情境概括了信息集）。由于五式是一个集合，本文可以明确地将游戏形式划分为多个形式，每个形式都从一个（Selten）子根开始，并包含所有后续节点，除了那些跟随后续子根的节点。然后，子根的集合成为价值函数的域，并且分段形式的划分成为值递归的框架，该值递归从动态规划推广了贝尔曼方程。主要结果连接的价值递归与子博弈完美均衡的原始游戏，上下收敛的假设下。最后，一个推论子博弈完美的特点是没有一个改进的单件偏差。
2023-03-10 cs.GT econ.TH math.OC
A comprehensive study of Game Theory applications for smart grids, demand side management programs, and transportation networks
Louisiana State University（路易斯安那州立大学）
本文探讨博弈论在智能电网和交通网络中的应用，重点介绍非合作Stackelberg博弈模型及其在电力系统问题中的应用，包括传输网络扩展、可靠性提升和市场力量控制等。
2018-04-27 cs.GT cs.SY eess.SY
On game psychology: an experiment on the chess board/screen, should you always "do your best", and why the programs with prescribed weaknesses cannot be our good friends?
Kinneret College on the Sea of Galilee（加利利海金内雷特学院）；Braude Academic College（布劳德学术学院）；Ben Gurion University of the Negev（内盖夫本古里安大学）
值得注意的是，一些不寻常的举动对一个强大的国际象棋程序大大削弱了它的能力，看到严重的目标的游戏，其整个水平的发挥。建议创建具有不同弱点的程序，以便分析类似的人类行为。最后，提出了一种新的国际象棋版本“国际象棋Corrida”。
2011-01-28 cs.AI cs.GT math.HO
The ZERO Regrets Algorithm: Optimizing over Pure Nash Equilibria via Integer Programming
设计有效的算法来计算纳什均衡在数学对策论和优化中提出了相当大的挑战。在这项工作中，我们采用整数规划技术来计算纳什均衡的整数规划游戏，一类同时和非合作对策，每个球员解决一个参数化的整数规划。我们介绍零遗憾，一个通用的和有效的切割平面算法计算，枚举，并选择纳什均衡。我们的框架利用了均衡不平等的概念，对任何纳什均衡有效的不平等，以及相关的均衡分离预言。我们评估我们的算法框架上的广泛的实际和方法的问题，从文献中，提供了一个坚实的基准对现有的方法。
2022-09-15 cs.GT math.OC
Probabilistic Analysis Based On Symbolic Game Semantics and Model Counting
概率程序分析的目的是量化给定程序满足所需属性的概率。它有许多潜在的应用，从程序理解和调试到计算程序可靠性，编译器优化和定量信息流分析安全。在这些情况下，量化满足/违反给定属性的概率通常比仅评估此类事件发生的可能性更相关。在这项工作中，我们介绍了一种基于游戏语义和模型计数的开放程序（即未定义标识符的程序）的概率分析方法。我们使用算法游戏语义的符号表示来收集导致目标事件发生的输入数据（上下文）上的符号约束（例如，满足/违反给定属性）。然后分析约束以量化输入满足它们的可能性。我们使用模型计数技术来计算满足给定约束的解（来自有界整数域）的数量。然后，这些计数用于为程序执行分配概率，并评估目标事件在所需置信度水平下发生的概率。最后，我们提出了几个有趣的例子应用我们的方法的结果，并说明他们可能提供的好处。
2017-09-07 cs.FL cs.GT cs.PL
