Timing Games: Probabilistic backrunning and spam
Flashbots；Offchain Labs
本文研究了时间竞争游戏中的概率性后退现象，分析了均衡的无效性及垃圾信息的产生机制。
2026-02-25 cs.GT
Kuhn's Equivalence Theorem for Games in Product Form
我们提出了一种替代的树表示的广泛形式的游戏。产品形式的博弈用产品集上的$σ$ -字段表示信息，并且不需要对游戏时间性的明确描述，这与树上的广泛形式博弈相反。这种表示包括具有连续的动作、随机性和玩家的游戏，以及不能预先确定游戏顺序的游戏。我们适应和证明库恩定理关于混合和行为策略之间的等价性完美召回的产品形式的游戏连续动作集。
2022-07-13 cs.GT math.OC
A New Game Equivalence and its Modal Logic
我们重新审视自然游戏等价的关键问题，以及基于这些的游戏逻辑的语义。我们提出的原因，调查更精细的概念，游戏等价比平等的标准权力，虽然停留短的模态互模拟。具体地说，我们提出了一个更细粒度的概念平等的“基本权力”，记录什么球员可以强迫加上他们留给别人做，互动的一个重要特征。正如我们详细解释的那样，这个概念更接近于博弈论的战略形式，同时仍然符合逻辑分析。我们通过一个新的表示定理确定基本权力的属性，找到一个匹配的“即时邻居博弈逻辑”，并展示了我们的分析可以扩展到一个新的博弈代数和动态博弈逻辑。
2017-07-27 cs.GT cs.LO
A probabilistic-numerical approximation for an obstacle problem arising in game theory
研究了两人零和随机微分对策，其中一人比对手拥有更多的信息。我们展示了如何构造这个博弈的价值函数的数值格式，它由一个带障碍的拟线性偏微分方程的解给出。
2011-11-16 cs.GT math.PR
A note on simple games with two equivalence classes of players
许多现实世界的投票系统由两种不同类型的选民组成。实际上，具有{ \lq \lq }众议院{ \rq \rq }和{ \lq \lq }参议院{ \rq \rq }的每个投票系统都属于该类型。在这里，我们提出了这些所谓的二部简单对策的结构特征和明确的枚举公式。
2021-12-01 cs.GT math.CO
Quantitative Games on Probabilistic Timed Automata
两人零和博弈是一个完善的模型，用于合成优化某些性能标准的控制器。在这样的游戏中，一个玩家代表控制器，而另一个玩家描述（对抗）环境，控制器合成对应于计算控制器在给定标准下的最优策略。Asarin和Maler通过合成控制器来优化到达最终状态的时间，从而开始了对（非概率）时间自动机的定量游戏的研究。他们的方法的正确性和终止性依赖于利用一类特殊的函数的性质，称为简单函数，可以被随机表示。在本文中，我们考虑概率时间自动机上的定量博弈。由于简单函数的概念是不足以解决游戏在这种情况下，我们概括简单的功能，所谓的准简单的功能。然后，利用这类函数，我们证明了在概率时间自动机上求解具有期望可达时间或期望折扣时间准则的博弈问题是在NEXPTIME $\cap$ co-NEXPTIME中。
2010-06-03 cs.GT cs.LO
Greediness and Equilibrium in Congestion Games
Rosenthal（1973）引入了拥塞博弈类，并证明了它们在纯策略下总是存在一个纳什均衡。Fotakis et al.（2005）引入了贪婪策略元组的概念，其中参与者顺序地并且可重复地选择一个策略，该策略是对前参与者选择的策略的最佳反应。前一种解决方案的概念是由对参与者的理性及其常识的强烈假设驱动的，而后者对参与者的行为假设很少。从Fotakis \cite{fotakis10}可以得出，对于树可表示拥塞博弈，贪婪行为导致NE。本文给出了这两个解概念等价的充要条件。这种等同性增强了这些概念作为环境的现实结果的可行性。单调对称博弈出现这种等价的条件是策略集具有树形，或者等价地是一个“扩张并行图”。
2012-08-09 cs.GT
Stackelberg vs. Nash in Security Games: An Extended Investigation of Interchangeability, Equivalence, and Uniqueness
最近有显着的兴趣在游戏理论的方法来安全，最近的研究集中在利用领导者-追随者Stackelberg博弈模型。其中主要的应用是部署在洛杉矶国际机场的ARMOR计划和美国联邦空军元帅（FAMS）使用的IRIS计划。使用Stackelberg博弈的基本假设是，安全部队（领导者）首先采取行动，承诺采取随机策略;而他们的对手（追随者）则在监视这个随机策略后选择他们的最佳对策。然而，在许多情况下，领导者可能会面临追随者的监视能力的不确定性。以前的工作未能解决领导者应该如何计算她的战略，这样的不确定性。我们提供了五个贡献的背景下，一般类的安全游戏。首先，我们证明了安全博弈中的纳什均衡是可互换的，从而缓解了均衡选择问题。其次，在安全博弈的自然限制下，任何Stackelberg策略也是一个纳什均衡策略;而且，在一类安全博弈中，解是唯一的，ARMOR是其中的一个关键范例。第三，当面对一个可以攻击多个目标的追随者时，这些属性中的许多都不再有效。第四，我们的实验表明，在大多数（但不是所有）的限制不成立的游戏，Stackelberg策略仍然是一个纳什均衡策略，但这不再是真的，当攻击者可以攻击多个目标。最后，作为未来研究的一个可能方向，我们提出了一个广泛形式的博弈模型，使防御者的不确定性的攻击者的观察能力明确。
2014-01-16 cs.GT
Partition function form games with probabilistic beliefs
Department of Economics, University of Crete（克里特大学经济系）；DreamWorks Animation（梦工厂动画）
本文研究了分量函数博弈中 coalition 的概率信念对核心非空性的影响，通过正负外部性对称博弈分析得出了核心非空的条件。
2026-10-20 cs.GT econ.TH
Kuhn's Equivalence Theorem for Games in Intrinsic Form
我们的国家和证明库恩的等价定理的一个新的表示游戏，内在的形式。首先，我们介绍游戏的内在形式，其中的信息表示的$σ$ -字段的积集。为此，我们适应游戏的内在表示，Witsenhausen介绍了控制理论。这些内在的游戏不需要一个明确的描述播放时间性，而不是广泛的形式游戏树。其次，我们证明，对于这个新的和更一般的表示游戏，行为和混合策略是等价的完美回忆（库恩定理）。由于内在形式用产品结构取代了树形结构，因此信息的处理更容易。这使得内在形式成为分析信息博弈的一个新的有价值的工具。
2020-06-26 cs.GT econ.TH math.OC
On the Equivalence of Zero-Sum Games and Conic Programs
University of North Carolina at Chapel Hill（北卡罗来纳大学教堂山分校）
研究证明了零和游戏与锥程序的强对偶性等价性，建立了统一框架，并展示了如何通过对偶对求解博弈价值和纳什均衡。
2026-04-11 cs.GT math.OC
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives
回合制随机博弈及其重要子类马尔可夫决策过程（MDP）为具有概率和非确定性行为的系统提供了模型。我们考虑两个经典的定量目标：折扣和长期平均目标的回合制随机博弈。博弈模型和定量目标在概率验证、规划、最优库存控制、网络协议和性能分析等方面有着广泛的应用。模拟现实系统的游戏和MDP通常具有非常大的状态空间，并且概率抽象技术是处理状态空间爆炸所必需的。通常使用的全抽象技术不产生节省空间的系统，有许多状态具有类似的值，但不一定有类似的过渡结构。提出了一种半抽象技术，即放大镜抽象（MLA），聚类状态的基础上的价值，无视其过渡关系的差异，提出了定性目标（可达性和安全性目标）。在本文中，我们扩展的MLA技术，以解决随机游戏的折扣和长期平均目标。我们提出了基于MLA技术的随机博弈和折扣和目标MDP的抽象-精化算法。对于长期平均目标，我们的解决方案适用于所有MDP和一类随机游戏，其中每个状态具有相同的值。
2011-07-11 cs.GT
A Non-Probabilistic Game-Theoretic Information Theory Which Subsumes Probabilistic Channel Coding
The Chinese University of Hong Kong（香港中文大学）
本文提出基于博弈论和动态对冲的非概率信息论，统一了概率信道编码和无损信源编码及对抗性信道。
2026-07-28 cs.GT cs.IT math.IT
On the Equivalence of Synchronous Coordination Game and Asynchronous Coordination Design
本文在具有战略互补性和共同利益的动态博弈中，通过引入单调子博弈完美纳什均衡（MSPNE），证明了同步与异步协调机制在最大可实施结果上等价，并探讨了其计算复杂性与最优设计启示。
2024-11-04 cs.GT econ.TH
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
本文提出一种广义双模拟游戏，用于从线性时间-分支时间谱系中自动寻找区分有限状态过程的Hennessy-Milner逻辑公式，并确定过程间最粗的行为等价关系。
2022-08-08 cs.FL cs.GT cs.LO
False-Name Manipulation in Weighted Voting Games is Hard for Probabilistic Polynomial Time
假名操纵是指在加权投票游戏中，玩家是否可以通过分裂成几个玩家并在这些虚假身份中分配她的权重来增加她的权力。类似于这个分裂问题，有利的合并问题询问是否一个联盟的球员可以增加他们的权力，在加权投票游戏合并他们的权重。Aziz等人[ABEP 11]分析了加权投票游戏中合并或分裂玩家是否有利于Shapley-Shubik和归一化Banzhaf指数的问题，Rey和Rothe [RR 10]也对概率Banzhaf指数进行了分析。所有这些结果仅仅提供了这些问题的NP-困难下限，留下了关于其确切复杂性的问题。对于Shapley-Shubik和概率Banzhaf指数，我们提出这些下限的PP，“概率多项式时间“的硬度，并提供匹配的上限有益的合并，每当假身份的数量是固定的，也有益的分裂，从而解决了以前的programmures肯定。从我们的结果可以看出，这两个功率指数的有益合并和分裂不能在NP中解决，除非多项式层次结构崩溃，这被认为是极不可能的。
2013-03-07 cs.CC cs.GT
The parametrized probabilistic finite-state transducer probe game player fingerprint model
指纹算子生成游戏玩家的功能签名，并且对于独立于表示或编码的自动分析是有用的。指纹算子的理论，返回的长度加权概率的一个给定的移动对发生从玩调查代理对一般参数化概率有限状态转换器（PFT）的开发，适用于任意迭代游戏。1状态对手模型的区分能力，统一逼近的指纹的任意球员，解析性和Lipschitz连续性的指纹逻辑上可能的球员，和等度连续性的指纹的有界状态概率传感器的结果。算法的有效计算的特殊情况下，给出了以前的模型，严格概括在这里从一个简单的投影的新模型的缺点，被解释的规则性条件的违规，和额外的权力和功能的新的指纹表现出的美好。的2状态确定性有限状态传感器（DFT）的指纹和成对的距离计算，使用此DFT的结构在策略空间中阐明。
2014-01-29 cs.GT cs.NE
Cooperation in the spatial prisoner's dilemma game with probabilistic abstention
研究表明，将回避作为一种选择，将社会困境转变为石头-纸-石头类型的游戏，在这种游戏中，背叛者支配合作者，合作者支配弃权者（孤独者），弃权者（孤独者）反过来支配背叛者。通过这种方式，即使在不利的条件下，忠诚也能维持合作，尽管由于周期性优势，背叛也会持续存在。然而，迄今为止，弃权或独来独往一直被认为是一种独立的第三种战略，以补充传统的合作和背叛。在这里，我们考虑概率弃权，其中每个玩家都被分配了一个概率，在游戏的特定情况下弃权。在这两种限制情况下，所研究的博弈恢复到没有孤独者的囚徒困境博弈或可选的囚徒困境博弈。对于中间概率，我们有一个新的混合博弈，这是最有利于合作的成功进化。我们希望这个新颖的混合游戏提供了一个更现实的选择/自愿参与的困境。
2018-12-10 cs.GT cs.MA cs.NE
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
An Algorithm for Probabilistic Alternating Simulation
在概率博弈结构中，概率交替模拟（PA-模拟）关系保持了概率交替时间时序逻辑中定义的关于玩家子集行为的公式。我们提出了一个分区为基础的算法计算最大的PA模拟，这是我们所知的第一个这样的算法，工作在多项式时间，通过扩展广义粗分割问题（GCPP）在基于游戏的设置与混合策略。该算法具有较高的复杂性比文献中的非概率模拟和概率模拟没有混合行动，但略有改善现有的结果计算概率模拟方面的混合行动。
2012-06-08 cs.GT cs.LO
Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
Rice University（莱斯大学）
本文研究有限视界概率多智能体并发博弈系统中给定策略配置是否为纳什均衡或子博弈完美均衡的验证问题，发现子博弈完美均衡验证属于PSPACE，而纳什均衡验证为EXPTIME完全，这一反直觉结果表明子博弈完美均衡验证可能更简单。
2026-05-19 cs.GT cs.LO
O-Minimal Hybrid Reachability Games
在本文中，我们考虑一般混合系统上的可达性博弈，并区分这些博弈的两种可能的观察框架：要么系统的精确动态被玩家看到（这是完美的观察框架），要么只有起点和延迟被玩家知道（这是部分观察框架）。在第一个更经典的框架，我们表明，时间抽象互模拟是不足以解决这个问题，虽然它是足够的情况下，时间自动机。这就是为什么我们考虑另一个等价，即后缀等价的基础上编码的轨迹通过单词。我们表明，这个后缀等价一般是一个正确的游戏抽象。我们将这个结果应用到o-极小混杂系统，并在此框架下得到了可判定性和可计算性的结果。对于第二个框架，它假设部分观察系统的动态，我们提出了另一个抽象，称为超字编码，这是适合于解决该假设下的游戏。在这个框架中，我们还提供了可判定性和可计算性的结果。
2010-01-12 cs.GT cs.LO
Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor
我们考虑在无限概率竞技场上进行的游戏，其中第一个玩家的目标几乎肯定是满足广义Büchi目标，即，概率为1我们提供了一个不动点特征的获胜集和相关的获胜策略的情况下，竞技场满足有限吸引属性。从这一点，我们直接推导出这些游戏的概率有损信道系统的可判定性。
2013-06-12 cs.FL cs.GT cs.LO
Probabilistic Analysis Based On Symbolic Game Semantics and Model Counting
概率程序分析的目的是量化给定程序满足所需属性的概率。它有许多潜在的应用，从程序理解和调试到计算程序可靠性，编译器优化和定量信息流分析安全。在这些情况下，量化满足/违反给定属性的概率通常比仅评估此类事件发生的可能性更相关。在这项工作中，我们介绍了一种基于游戏语义和模型计数的开放程序（即未定义标识符的程序）的概率分析方法。我们使用算法游戏语义的符号表示来收集导致目标事件发生的输入数据（上下文）上的符号约束（例如，满足/违反给定属性）。然后分析约束以量化输入满足它们的可能性。我们使用模型计数技术来计算满足给定约束的解（来自有界整数域）的数量。然后，这些计数用于为程序执行分配概率，并评估目标事件在所需置信度水平下发生的概率。最后，我们提出了几个有趣的例子应用我们的方法的结果，并说明他们可能提供的好处。
2017-09-07 cs.FL cs.GT cs.PL
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges
博弈论的概念在经济学中得到了广泛的研究，以提供对竞争行为和战略决策的洞察。随着计算系统越来越多地涉及到并发动作的自主智能体，博弈论方法作为一种忠实的建模抽象在计算机科学中变得越来越普遍。这些技术可用于推理具有不同目标或目的的多个理性主体的竞争或协作行为。本文提供了一个概述的最新进展，在开发一个建模，验证和策略合成框架的概率模型检查器PRISM游戏中实现的并发随机游戏。这是基于一个时间逻辑，支持有限和无限地平线的时间属性在零和非零和设置，后者使用纳什和相关的平衡相对于两个最优性标准，社会福利和社会公平。我们总结了关键概念，逻辑和算法，以及目前可用的工具支持。未来的挑战和适应的框架和算法解决方案，以连续的环境和神经网络的最新进展也进行了概述。
2022-06-30 cs.FL cs.GT
Acyclicity of Preferences, Nash Equilibria, and Subgame Perfect Equilibria: a Formal and Constructive Equivalence
1953年，库恩通过展示博弈论中称为“逆向归纳”的程序产生纳什均衡，证明了每个序列博弈都有一个纳什均衡。它实际上产生了一个纳什均衡，定义了一个适当的纳什均衡子类。在1965年，Selten将这个子类称为子博弈完美均衡。在博弈论中，收益是通常在游戏结束时给予的奖励。虽然传统的博弈论主要关注的是实数值的收益，这些收益隐含地按照实数上通常的全序排序，但西蒙或布莱克威尔的作品已经涉及了部分排序的收益。本文概括了序列博弈的概念，用抽象的原子对象（称为结果）替换实值支付函数，并用结果上的任意二元关系（称为偏好）替换实值上通常的全序。这引入了一个一般的抽象形式主义，其中纳什均衡，子博弈完美均衡，"逆向归纳“仍然可以定义。本文证明了以下三个命题是等价的：1）对结果的偏好是非循环的。2)每个序列博弈都有一个纳什均衡。3)每个序贯博弈都有一个子博弈完美均衡。结果是完全计算机认证使用Coq。除了额外的正确性保证之外，使用Coq的形式化活动还有助于清楚地识别有用的定义和证明的主要表达。
2007-05-23 cs.DM cs.GT cs.LO
Probabilistic interconnection between interdependent networks promotes cooperation in the public goods game
以前的大多数作品研究合作的结构化人口通常采用一个孤立的单一网络的演变。然而，现实的系统是由许多相互依赖的网络相互耦合，而不是孤立的一个。在本文中，我们考虑一个系统，包括两个相互作用的网络具有相同的大小，相互纠缠的概率互连的引入。我们将公共物品博弈引入到这类系统中，研究了概率互联对系统合作演化的影响以及两层互联网络之间的耦合效应。仿真结果表明，存在一个使整个系统达到最大合作水平的互连概率中间区域。有趣的是，我们发现，在最佳的互连概率的内部链接之间的合作者在两层的分数是最大的。此外，即使最初没有合作者在一个层的相互依赖的网络，合作仍然可以促进概率互连，在两个层的合作水平可以更容易地达成协议，在中间的互连概率。我们的结果可能有助于理解一些现实的相互依赖网络中的合作行为，从而突出了概率互连对合作演化的重要性。
2012-11-03 cond-mat.stat-mech cs.GT cs.SI
Rational Verification for Probabilistic Systems
Monash University（莫纳什大学）；University of Oxford（牛津大学）；University of Kaiserslautern（凯泽斯劳滕大学）
理性验证是确定在多智能体系统中，在系统中的智能体理性行动的假设下，通过选择共同形成博弈论均衡的策略，将持有哪些时间逻辑属性的问题。以前在这方面的工作主要集中在确定性系统。在本文中，我们发展的理论和算法的合理性验证概率系统。我们专注于并发随机游戏（CSG），它可以用来模拟复杂的多智能体环境中的不确定性和随机性。在定性概率环境下，研究了非合作博弈和合作博弈的理性验证问题。在前一种情况下，我们认为LTL性质满足的纳什均衡的游戏，在后一种情况下，LTL性质满足的核心。在这两种情况下，我们表明，问题是2 EXPTIME-完全的，因此不困难比简单得多的验证问题的模型检验LTL性能的系统建模为马尔可夫决策过程（MDPs）。
2021-07-26 cs.AI cs.GT cs.LO
On Probabilistic Alternating Simulations
本文提出了基于模拟的概率博弈结构的关系。第一种关系称为概率交替模拟，第二种称为概率交替前向模拟，遵循Segala和Lynch的命名约定。我们研究这些关系的概率交替时间时序逻辑中指定的属性的保存。
2010-03-03 cs.GT cs.LO
How Good Is a Strategy in a Game With Nature?
我们考虑有两个对立的参与者的游戏-出于这样一个事实，即通常的概率语义非常迅速地导致不可判定性时，考虑无限的游戏图或不确定信息，我们提出了两种替代的语义，导致可判定性的概率失败：一个基于计数和一个基于拓扑。
2020-02-23 cs.FL cs.GT cs.LO
Meta-Inverse Reinforcement Learning for Mean Field Games via Probabilistic Context Variables
针对平均场博弈中现有逆强化学习方法受智能体同质性假设限制、难处理异构目标演示的问题，提出基于深度潜变量的元逆强化学习方法，无需先验上下文知识即可跨相似任务推断奖励，在模拟和真实出租车定价场景中效果优于现有方法。
2025-09-04 cs.AI cs.GT cs.LG
A reversed form of public goods game: equivalence and difference
根据公共物品博弈（PGG）协议，参与者可以自由决定是否向公共资金池捐款，但由此产生的收益是平均分配的。当参与者考虑他们是否要求共同资源，但相关费用由所有小组成员平等支付时，可能会出现概念上类似的困境。后者建立了一个原始的公共产品博弈（R-PGG）的反向形式。在这项工作中，我们表明，R-PGG是等价于PGG在几种情况下，从传统的分析，通过在非结构化人口的进化方法，结构化人口的蒙特卡罗模拟。然而，也有一些情况下，R-PGG的行为可能与PGG的结果惊人地不同。例如，当关键参数不均匀时，即使我们采用相同的不均匀幅度，PGG和R-PGG的结果也可能不同。我们发现，在R-PGG的异质性一般阻碍合作，而PGG观察到相反的情况。这些不同的系统反应可以理解，如果我们遵循如何支付函数的变化时，引入异质性的参数空间。这一分析还揭示了合作者和背叛者策略在上述博弈中的不同作用。我们的观察可能会激发进一步的研究，以检查由于条件的替代复杂性导致的PGG和R-PGG之间的电势差。
2022-12-09 cond-mat.stat-mech cs.GT nlin.PS
Winning Criteria for Open Games: A Game-Theoretic Approach to Prefix Codes
Tel Aviv University（特拉维夫大学）
本文提出了一种基于博弈论的方法，通过研究无限树上的游戏，建立了胜利集与最大前缀码之间的等价关系，并推导出胜利的代数条件。
2026-02-15 cs.GT cs.IT math.IT
