Network Navigation with Online Delays is PSPACE-complete
针对公共交通网络中意外延迟下旅行者能否及时抵达目的地的问题，将其建模为旅行者与延迟对手的博弈，证明了判定旅行者是否存在获胜策略的问题是PSPACE完全的。
2023-08-23 cs.CC
BQP $=$ PSPACE
复杂性类$PSPACE$包括所有可以由具有多项式存储器的经典计算机解决的计算问题。已知所有的$PSPACE$问题也可由具有多项式存储器的量子计算机解决，因此已知在$BQPSPACE$中。在这里，我们提出了一个多项式时间量子算法的$PSPACE$ -完全问题，这意味着$PSPACE$是等于类$BQP$的所有问题可解的量子计算机在多项式时间。特别是，我们概述了一个$BQP$算法的$PSPACE$完整的问题，评估一个完整的二进制$NAND$树。一个现有的最好的二次加速使用量子行走实现这个问题，使复杂性仍然是指数的问题大小。相比之下，我们实现了指数加速的问题，允许解决它在多项式时间。我们的结果有许多实际应用，例如国际象棋或围棋等战略游戏。作为一个例子，在量子感测中，量子照明的问题，即被视为信道鉴别的问题，是$PSPACE$完全的。我们的工作意味着量子信道的歧视，因此，量子照明，可以有效地进行量子计算机。
2023-06-26 cs.CC
One Hex reduction to rule them all: Quoridor, Maze Attack, Pinko Pallino and Blockade are PSPACE-complete
Sapienza University of Rome（罗马第一大学）；Scuola Ortogonale, Elicsir Foundation（正交学校，埃利克斯尔基金会）
通过从Reisch的平面图Hex归约，证明了Quoridor、Maze Attack、Pinko Pallino和Blockade均为PSPACE完全，其中后三个为首次证明。
2026-06-27 cs.CC
An Oracle with no $\mathrm{UP}$-Complete Sets, but $\mathrm{NP}=\mathrm{PSPACE}$
构造了一个神谕，使NP=PSPACE但UP无多一完全集，从而分离了最优证明系统与承诺类完全集的相关猜想，并否定UP⟹CON^N和SAT⟹TFNP等蕴含关系。
2024-04-29 cs.CC
A Critique of Czerwinski's "Separation of ${\rm PSPACE}$ and ${\rm EXP}$"
本研究针对Czerwinski声称证明${\ m PSPACE} \ eq {\ m EXP}$的论文，指出其方法存在根本缺陷并给出相关定理反例，证明该结论的推导不充分。
2023-04-28 cs.CC
Deciding the On-line Chromatic Number of a Graph with Pre-Coloring is PSPACE-Complete
在给定预着色的情况下，确定图的在线色数是否小于或等于k的问题被证明是PSPACE-完全的。
2014-06-06 cs.CC math.CO
Friends-and-strangers is PSPACE-complete
本研究通过Ncl（非确定性约束逻辑）问题归约，证明了朋友与陌生人问题属于PSPACE完全问题。
2024-02-06 cs.CC math.CO
PSPACE-completeness of Pulling Blocks to Reach a Goal
本文证明了拉动方块到达目标问题中除一个外均为PSPACE-完全，剩余问题Pull?-1FG为NP-困难，并给出了基于参数化（拉动可选性、方块数量、固定方块、重力）的复杂度分类。
2022-02-25 cs.CC
A Critique of Sopin's "${\rm PH} = {\rm PSPACE}$"
我们批判Valerii Sopin的论文"${\rm PH} = {\rm PSPACE}$"[Sop14]。该论文声称通过利用量化布尔公式的存在量词的Skolemization来解决理论计算机科学的主要开放问题之一，以表明${\rm QBF}$（一个著名的${\rm PSPACE}$-完全问题）在$Π_4^p$中，因此是${\rm PH} = {\rm PSPACE}$。在这篇评论中，我们强调了该论文中的问题，并得出结论，它未能建立${\rm PH} = {\rm PSPACE}$。
2022-12-09 cs.CC
Col is PSPACE-complete on Triangular Grids
本文通过从有界双人约束逻辑归约，证明 Col 在三角形网格图上为 PSPACE 完全，这是已知最结构化且计算困难的图族。
2025-01-25 cs.CC math.CO
2048 is (PSPACE) Hard, but Sometimes Easy
我们证明了一个变种的2048，一个流行的在线益智游戏，是PSPACE完全的。我们的硬度结果保持一个版本的问题，玩家有甲骨文访问计算机玩家的举动。具体而言，我们表明，对于$n \times n$游戏板$\mathcal{G}$，计算一系列的移动，以达到特定的配置$\mathbb{C}$从初始配置$\mathbb{C}_0$是PSPACE完成。我们的约简来自非确定性约束逻辑（NCL）。我们还表明，确定是否存在一个固定的序列的移动$\mathcal{S} \in \{\Uparrow, \Downarrow, \Leftarrow, \Rightarrow\}^k$的长度$k$，结果在一个获胜的配置为$n \times n$游戏板是固定参数易处理（FPT）。我们描述了一个算法来解决这个问题的$O(4^k n^2)$时间。
2014-08-27 cs.CC
Quoridor is PSPACE-Complete
Utrecht University（乌得勒支大学）
通过从 Gpos(POS CNF) 归约，证明了在 n×n 棋盘上判断 Quoridor 中给定玩家是否存在必胜策略是 PSPACE-完全的。
2026-05-29 cs.CC
Battle Sheep is PSPACE-complete
本文研究双人棋盘游戏 Battle Sheep 的计算复杂性，并证明在正常博弈规则且每堆至多 3 枚棋子的限制下，该游戏仍是 PSPACE 完全的。
2025-05-09 cs.CC math.CO
The Complexity of the Path-following Solutions of Two-dimensional Sperner/Brouwer Functions
有许多结果表明，对于某些解决PPAD完全问题的“路径跟踪”算法，该算法获得的解是PSPACE完全计算的。我们猜想，这些结果是一个更一般的原则，所有这些算法计算PSPACE完全解决方案的特殊情况。这样一个一般性的结果可能为复杂性类PPAD提供新的线索。在本文中，我们提出了一个新的PSPACE-完备性结果的一个有趣的挑战的情况下，这个猜想。Chen和Deng~ \cite{CD}证明了在简洁表示的Sperner三角剖分中寻找三色三角形是PPAD完全的。Sperner引理的证明--这样的解总是存在的--特别指出了一个解，它是通过自然的“路径跟踪”方法找到的。在这里，我们表明，它是PSPACE-完全的计算这个特定的解决方案，连同一个类似的结果计算的路径跟踪解决方案的二维的【形】离散布劳威尔函数。
2015-06-16 cs.CC
Algebraic dependencies and PSPACE algorithms in approximative complexity
测试一组$\mathbf{f}$多项式是否具有代数依赖性是一个具有几个应用的基本问题。多项式作为代数电路给出。代数独立性测试问题在有限域上是广泛开放的（Dvir，Gabizon，Wigderson，FOCS'07）。已知的最好的复杂性是NP $^{\#\rm P}$（Mittmann，Saxena，Scheiblechner，Trans.AMS'14）。在这项工作中，我们把问题的AM $\cap$ coAM。特别是，依赖测试不太可能是NP难的，并加入了“中等”复杂性问题的联盟，例如。图同构与整数分解我们的证明方法是代数几何-估计有限域上多项式映射$\mathbf{f}$的像/原像的大小。在AM协议中利用这种大小的间隙。接下来，我们研究了检验$\mathbf{f}$的每个零化子是否都有零常数项的公开问题（Kayal，CCC'09）。我们给出了一个几何特征，使用Zapriki封闭的图像的$\mathbf{f}$，介绍了一个新的问题，称为近似多项式可满足性（APS）。我们表明，APS是NP-困难的，并使用投影代数几何的思想，我们把APS在PSPACE（事先最好是EXPSPACE通过Grobner基础计算）。作为这一点在近似复杂性理论中的一个意外应用，我们得到--在任何域上，$\overline{\rm VP}$的命中集都可以在PSPACE中设计。这解决了（Mulmuley，FOCS'12…
2018-01-28 cs.CC
Pushing Blocks without Fixed Walls via Checkable Gizmos: Push-1 is PSPACE-Complete
MIT Computer Science and Artificial Intelligence Laboratory（麻省理工学院计算机科学与人工智能实验室）
本文证明了Push-1问题PSPACE完全性，移除了固定墙壁的需要，展示了新的可检查工具框架，并连接了运动规划通过工具框架与图定向重配置问题。
2026-05-08 cs.CC
Deciding the Winner of an Arbitrary Finite Poset Game is PSPACE-Complete
偏序集博弈是在偏序集上进行的两人博弈，参与者交替选择偏序集的一个元素，删除它和所有大于它的元素。第一个不能选择偏序集的元素的参与者输了。多项式时间算法存在于某些限制类的偏序集游戏，如尼姆游戏。然而，直到最近，人们才知道任意有限偏序集博弈的复杂性只存在于NC ^1和PSPACE之间。我们解决这个矛盾，证明了决定一个任意有限偏序集游戏的赢家是PSPACE完全的。为此，我们给出了一个明确的减少节点Kayles，PSPACE完全游戏中，玩家争相选择一个独立集在一个图。
2013-03-18 cs.CC cs.GT
A Simple Proof that Ricochet Robots is PSPACE-Complete
本文通过从 FFG 问题归约，为 Ricochet Robots 的重定位问题是 PSPACE-Complete 提供了比 2003 年原证明更简单的证明，并结合近期相关模型的研究对该结果进行了探讨。
2024-02-18 cs.CC cs.DS
On semigroups with PSPACE-complete subpower membership problem
固定一个有限半群$S$，设$a_1, \ldots, a_k, b$是直幂$S^n$中的元组. $S$的次幂成员问题（SMP）询问$b$是否可以由$a_1, \ldots, a_k$生成。对于组合Rees矩阵半群，我们建立了一个二分法结果：如果对应的矩阵具有某种形式，则SMP在P中，否则它是NP-完全的。对于具有伴随单位元的组合Rees矩阵半群，我们得到了一个可分性：SMP在P中，NP-完全或PSPACE-完全.这个结果得到了各种具有PSPACE-完全SMP的半群，包括$6$ -元Brandt幺半群，$3$或多个字母上的全变换半群，以及域上所有$n$乘$n$矩阵的半群，其中$n\ge 2$是$n\ge 2$ .
2016-04-06 cs.CC math.GR
Stable Voting is PSPACE-Complete
Purdue University（普渡大学）
研究稳定投票和简单稳定投票规则下获胜者确定的计算复杂性，通过递归定义规则，解决了该问题，证明其获胜者确定是 PSPACE 完全问题。
2026-07-17 cs.CC cs.GT
Online Chromatic Number is PSPACE-Complete
在在线图着色问题中，来自图G的顶点（预先已知）以在线方式到达，并且算法必须立即为每个进入的顶点v分配颜色，使得所揭示的图被正确地着色。图G中v的确切位置对于算法来说是未知的。G的在线色数是最小的颜色数，使得某些在线算法能够为任何传入的命令正确地着色G。证明了图的在线色数的计算是PSPACE-完全的。
2017-06-26 cs.CC math.CO
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
关于模态逻辑的可满足性和有效性问题的复杂性刻画，已有大量的工作。特别地，Ladner证明了K、T和S4之间的所有逻辑的有效性问题是{ \sl PSPACE}-完全的，而对于S5则是{ \sl NP}-完全的。我们表明，在一个精确的意义上，这是\emph{negative introspection}，公理$\neg K p \rimp K \neg K p$，造成的差距。在精确的意义上，如果我们需要这个公理，那么可满足性问题是{ \sl NP}-完全的;没有它，它是{ \sl PSPACE}-完全的。
2006-03-05 cs.CC cs.LO
Misère Partizan Arc Kayles is PSPACE-complete, even on Planar Graphs
本文证明了在平面图上误败部分人弧凯勒游戏是PSPACE完全的，并展示了其在网格上的嵌入方法及相关逻辑变体。
2025-11-26 cs.CC cs.DM math.CO
PSPACE-completeness of the Hunters and Rabbit game
SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris（SAMOVAR，巴黎电信学院，巴黎理工学院）
研究猎人与兔子游戏中判定给定猎人数量能否捕获兔子的问题，证明其在简单二分图上为PSPACE完全，还推广至消防游戏等场景，丰富了组合游戏的计算复杂性研究。
2026-10-13 cs.CC cs.DM
The Game of Tumbleweed is PSPACE-complete
风滚草是一个流行的两个球员完美的信息新的领土游戏在著名的智力运动奥林匹克。我们定义了一个广义版本的游戏，其中董事会的大小是任意的，所以是可能的中性石头的数量。我们的结果是：对于一个给定的配置，决定哪一个玩家有一个获胜的策略的复杂性是PSPACE完全的。这个证明是通过从T. J. Schaefer的布尔公式游戏中的对数空间归约得到的，已知它是PSPACE-完全的。我们将非平面的Schaefer游戏嵌入到平面的Tumbleweed板中，而不使用适当的“桥”，由于板的拓扑结构，这是不可能的。相反，我们的新技术使用了一个移动紧张的比赛，迫使球员只根据玩嵌入式4-CNF游戏的协议移动。
2022-06-19 cs.CC math.CO
Arc Kayles is PSPACE-complete
CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP UMR 5668（法国国家科学研究中心，里昂高等师范学院，克莱德·贝尔纳·里昂第一大学，LIP联合研究实验室）
本文证明了 Arc Kayles 问题是 PSPACE 完全的，解决了 Schaefer 于 1978 年提出的开放问题。
2026-10-30 cs.CC cs.DM math.CO
A PSPACE-complete Graph Nim
我们在游戏NimG的基础上创建了一个名为Neighboring Nim的版本。通过减少地理，我们表明，这个游戏是PSPACE硬。通过简化创建的游戏与无向（顶点）地理和常规Nim有很强的相似性，两者都是P。我们展示了如何用Nim堆 *1和 *2构建PSPACE完全版本。图的这种应用可以作为任何博弈的博弈和的一种形式，而不仅仅是尼姆。
2014-10-07 cs.CC cs.GT math.CO
A PSPACE-Complete First Order Fragment of Computability Logic
在最近启动的一个研究计划，发展逻辑作为一个正式的理论（互动）可计算性，几个非常有趣的逻辑已被介绍和公理化。这些更大的可计算性逻辑的片段不仅旨在描述“什么”可以计算，而且还提供了一种从证明中提取计算算法的机制。其中最具表现力和基础的是CL 4，已知是（建设性的）健全和完整的基础计算语义。进一步证明了CL 4中不含盲量词的片段在多项式空间中是可判定的。目前的工作扩展了这一结果，并证明了该片段，事实上，PSPACE完成。
2013-03-31 cs.CC cs.LO
PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation
我们提出了一个不确定性计算模型的基础上扭转边方向的加权有向图的最小流入限制的顶点。决定这个简单的图形模型是否可以被操纵，以扭转一个特定的边缘的方向被证明是PSPACE完全的减少量化布尔公式。我们证明了这一结果在各种特殊情况下，包括平面图和高度限制的顶点配置，其中一些对应于一种被动约束逻辑。我们的框架的灵感来自（实际上是一个概括）的“广义尖峰时刻逻辑”开发的弗莱克和鲍姆。我们说明了我们的计算模型的重要性，给出简单的减少，以表明几个运动规划问题是PSPACE硬。我们的主要结果是，经典的无限制滑块拼图是PSPACE困难的，即使棋子被限制为所有多米诺骨牌（1x2块），目标只是移动一个特定的棋子。之前没有关于这些谜题的复杂性结果。这一结果可以看作是对已有的限制性尖峰时间问题是PSPACE完全问题的一个加强，并给出了一个简单的证明。最后，我们加强了现有的结果，推块推箱子是PSPACE完全的，通过显示，它是PSPACE完全的，即使没有障碍是允许的。
2004-11-11 cs.CC cs.GT
Complexity Issues in Finding Succinct Solutions of PSPACE-Complete Problems
我们研究的问题，决定一些PSPACE完全问题是否有界大小的模型。与NP问题相反，PSPACE完全问题的模型可能是指数级的。然而，这样的模型可以采用简洁表示的多项式空间。例如，QBF的模型由与或树（总是指数大小）显式表示，但可以由电路（可以是多项式或指数）简洁地表示。我们调查的复杂性，决定这种简洁的模型的存在时，大小上的限制。
2005-03-29 cs.AI cs.CC cs.LO
Groups with ALOGTIME-hard word problems and PSPACE-complete compressed word problems
我们给出了某些非可解群的字问题的复杂性的下界：对于一大类非可解无限群，特别是自由群、Grigorchuk群和Thompson群，我们证明了它们的字问题是$\mathsf{NC}^1$ -困难的.对于其中的一些群（包括Grigorchuk群和Thompson群），我们证明了压缩字问题（等价于电路求值问题）是$\mathsf{PSPACE}$ -完全的.
2020-06-20 cs.CC math.GR
The complexity of approximating PSPACE-Complete problems for hierarchical specifications
We extend the concept of polynomial time approximation algorithms to apply to problems for hierarchically specified graphs, many of which are PSPACE-complete. Assuming P != PSPACE, the existence or nonexistence of such efficient approximation algorithms is characterized, for several standard graph theoretic and combinatorial problems. We present polynomial time approximation algorithms for several standard PSPACE-hard problems considered in the literature. In contrast, we show that unless P = PSPACE, there is no polynomial time epsilon-approximation for any epsilon>0, for several other problem…
1994-09-21 cs.CC math.CO
Dots & Boxes is PSPACE-complete
整整20年前，在MFCS，Demaine提出了一个开放的问题，即点与框游戏是否是PSPACE完全的。点和盒子已经被广泛研究，例如Berlekamp等人的“Winning Ways for Your Mathematical Plays”中的一章，Berlekamp的关于游戏“The Dots and Boxes Game：Sophisticated Child’s Play”的整本书，以及“Games of No Chance”系列中的许多文章。虽然已知是NP难的，但其复杂性的问题仍然是开放的。我们解决了这个问题，证明了游戏是PSPACE-完全的减少从一个游戏的命题公式。
2021-05-06 cs.CC cs.CG math.CO
Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete
状态向量加法系统（VASS）可达性问题的复杂性判定是计算机科学中一个长期存在的公开问题。长期以来，这个问题被认为是可判定的，直到今天，它还没有任何复杂性的上限。本文证明了二维的【形】VASS的可达性是PSPACE-完全的。这改善了以前已知的双指数时间界限由豪厄尔，Rosier，Huynh和严在1986年建立。可覆盖性和有界性问题也是PSPACE完备的。此外，对于二维的【形】VASS和整数VASS中的可达性问题，给出了一些复杂性结果。
2014-12-13 cs.CC cs.FL cs.LO
Amazons is PSPACE-complete
亚马逊是一款结合了国际象棋和围棋元素的棋盘游戏。近年来，它已成为流行，并已成为一个有用的平台，为游戏理论研究和人工智能游戏研究。Buro证明了简单的亚马逊残局是NP等价的，留下了一般情况下的复杂性作为一个开放的问题。我们解决这个问题，通过证明决定一个n × n亚马逊位置的结果是PSPACE困难的。我们从Schaefer所描述的PSPACE完全二人公式游戏中给出了一个约化。由于亚马逊游戏中的移动次数是多项式有界的（不像国际象棋和围棋），亚马逊是在PSPACE中。因此，它与其他两人，有界移动，完全信息游戏，如Hex，Othello和Kayles相提并论。我们的构造还提供了一个替代证明，简单的亚马逊残局是NP等价的。我们的减少在输入公式长度中使用了一些亚马逊多项式;剩下的一个开放问题是当只使用常数数量的亚马逊时亚马逊的复杂性。
2005-02-02 cs.CC cs.GT
1 x 1 Rush Hour with Fixed Blocks is PSPACE-complete
考虑$n^2-1$单元--$n \times n$正方形板中的正方形块，其中每个块被标记为水平可移动（仅）、垂直可移动（仅）或不可移动--这是尖峰时刻的一种变体，只有$1 \times 1$汽车和固定块。我们证明了它是PSPACE-完全的，以决定是否一个给定的块可以达到板的左边缘，通过减少从非确定性约束逻辑通过2-颜色定向地铁洗牌。相比之下，多项式时间算法是已知的，用于决定给定块是否可以移动一个空间，或者每个块何时是不可移动的或者可以水平和垂直移动。我们的结果回答了Tromp和Cilibrasi提出的一个15年前的开放问题，并加强了以前的PSPACE完整性结果与垂直$1 \times 2$和水平$2 \times 1$可移动块和4色地铁洗牌。
2020-05-01 cs.CC cs.CG
The Two-Level Poset Game is PSPACE-Complete
该研究解决了十余年来的开放问题，通过多项式时间归约证明两层偏序集游戏是PSPACE完全的，明确了其计算复杂度。
2026-10-15 cs.CC cs.DM cs.GT
Paintbucket on graphs is PSPACE-complete
针对 Amundsen 和 Erickson 提出的 Paintbucket 游戏，本文研究其在任意简单图上的推广形式，证明判断该推广游戏给定局面获胜者的问题为 PSPACE 完全，解决了相关复杂性问题。
2024-11-28 cs.CC math.CO
Strings-and-Coins and Nimstring are PSPACE-complete
本文证明推广 Dots-and-Boxes 对偶的组合博弈 Strings-and-Coins 在多重图上是强 PSPACE 完全的，并将结果扩展到 Nimstring 变体，改进了此前仅知的 NP 困难结论。
2021-06-23 cs.CC math.CO
Atropos-k is PSPACE-complete
针对Burke和Teng提出的Atropos-k变体复杂度问题，本文通过TQBF归约，证明任意固定k≥2时Atropos-k是PSPACE完全的，解决了该组合博弈的计算复杂度疑问。
2024-03-04 cs.CC cs.DM math.CO
Maker-Maker games of rank 4 are PSPACE-complete
研究确定了秩为4的Maker-Maker位置博弈是PSPACE完全的，通过引入更通用的成就位置博弈作为中间步骤，将原问题的复杂度从6一致超图推进到秩4超图。
2025-04-19 cs.CC cs.DM math.CO
Isomorphism of regular trees and words
分析了正则树、正则线性序和正则词同构问题的计算复杂性。如果树与正则语言的前缀顺序同构，则它是正则的。在正则语言用NFA（DFA）表示的情况下，正则树的同构问题是EXPTIME完全的（分别是）。P-complete）。如果输入自动机是非循环NFA（非循环DFA），则相应的树是（简洁地表示）有限树，并且同构问题证明是PSPACE完全的（分别是）。P-complete）。一个线性序是正则的，如果它同构于正则语言上的字典序。给出了求解由DFA给出的正则线性序（甚至正则字，它推广了后者）同构问题的一个多项式时间算法。这解决了Esik和Bloom的一个开放问题。
2011-02-14 cs.CC cs.FL
Defying Gravity: The Complexity of the Hanano Puzzle
本文利用NCL实例的可见性表示性质，将PSPACE困难性证明所需小装置从32个减至一般3个、特定情形2个，并据此通过多项式时间多一归约证明Hanano Puzzle是PSPACE完全的。
2023-04-26 cs.CC
Parameterized Complexity of Graph Constraint Logic
图约束逻辑是由Hearn和Demaine引入的框架，它提供了几个问题，这些问题通常是简化的方便起点。我们研究了约束图可满足性的参数化复杂性和有界和无界版本的非确定性约束逻辑（NCL）的解决方案的长度，树宽和最大程度的基本约束图作为参数。作为一个主要的结果，我们表明，限制NCL保持PSPACE-完全图的有界带宽，加强赫恩和Demaine的框架。这使我们能够改善现有的结果，从NCL减少。我们证明了几个经典的图问题（包括独立集，反馈顶点集和支配集）的重构版本是PSPACE-完全的有界带宽的平面图和高峰时间，推广到$k\times n$板，是PSPACE-完全的，即使当$k$是最多一个常数。
2015-09-09 cs.CC
Completeness in the Polynomial Hierarchy and PSPACE for many natural problems derived from NP
RWTH Aachen University（亚琛工业大学）；Massachusetts Institute of Technology（麻省理工学院）；IT University of Copenhagen（哥本哈根信息技术大学）
本文提出了一种通用框架，证明了源自NP的多级优化问题在多项式层次和PSPACE中的完备性，并展示了其在多级扩展中的计算复杂性特征。
2026-02-12 cs.CC math.CO
Turning Tiles is PSPACE-complete
本文针对组合博弈论中通用博弈的计算复杂度问题，证明了通用博弈Turning Tiles具有PSPACE完全的计算复杂度，明确了其难解性。
2023-10-03 cs.CC cs.DM cs.GT
Complexity of Canadian Traveler Problem Variants
加拿大旅行者问题（Canadian Traveler Problem，CTP）是一个遍历给定图的问题，其中一些边可能被阻塞-一种只有在到达事件顶点时才显示的状态。最初由Papadimitriou和Yannakakis（1991）提出，CTP的对抗版本被证明是PSPACE完全的，而随机版本被证明是#P-hard。我们表明，随机CTP也是PSPACE-完全的：最初证明PSPACE-硬度的依赖版本的随机CTP，并继续与小工具，使我们能够扩展到独立的情况下的证明。由于不相交的路径图，CTP可以解决多项式时间，我们研究的复杂性更一般的遥感CTP，并表明，它是NP-困难的，即使是不相交的路径图。
2012-07-19 cs.CC
Pod-Deployability in Kubernetes with Inter-Pod Affinity Constraints is PSPACE-Complete
Università di Bologna（博洛尼亚大学）；INRIA, Sophia-Antipolis（法国国家信息与自动化研究所索菲亚-安提波利斯中心）；University of Southern Denmark（南丹麦大学）
本文研究 Kubernetes 中 Pod 可部署性问题，证明仅必需亲和性或其与反亲和性结合时该问题为 PSPACE 完全问题，分离出调度中状态空间复杂度的两个独立来源。
2026-08-21 cs.CC cs.DC
Cardinal Grid Slime Trail is PSPACE-Complete
Dickinson College（迪金森学院）
本文证明四向移动方格网格上的 Cardinal Grid Slime Trail 是 PSPACE 完全问题，通过适配 QBF 归约设计网格兼容小工具，还将构造扩展至八向变体，解决了相关开放问题。
2026-08-06 cs.CC cs.DM math.CO
The Complexity of the Homotopy Method, Equilibrium Selection, and Lemke-Howson Solutions
我们表明，广泛使用的同伦方法解决不动点问题，以及游戏的Harsanyi-Selten平衡选择过程，是PSPACE完全实现。扩展我们的结果的Harsanyi-Selten过程中，我们表明，其他几个同伦为基础的算法，寻找游戏的均衡也PSPACE完全实现。我们的技术的进一步应用产生的结果是，它是PSPACE-完全的计算任何平衡，可以通过经典的Lemke-Howson算法，一个复杂性理论的结果加强[Savani和冯Stengel]。这些结果表明，我们的技术可以被广泛应用，并建议，PSPACE完备性实现同伦方法是一个普遍的原则。
2011-08-04 cs.CC cs.GT
4-uniform Maker-Breaker and Maker-Maker games are PSPACE-complete
Aix-Marseille Université（艾克斯-马赛大学）；CNRS, I2M, UMR 7373（法国国家科学研究中心，I2M，UMR 7373）
研究了在超图上进行的两种位置游戏，证明了在4-均匀超图中，判断先手是否有必胜策略是PSPACE完全问题，改进了现有结果并填补了复杂性差距。
2026-04-12 cs.CC cs.DM math.CO
Multinational War is Hard
在本文中，我们表明，确定一个玩家是否可以在多人版本的儿童纸牌游戏战争中强制获胜的问题是PSPACE困难的。同样的简化表明，一个相关的问题，问一个玩家是否可以生存k轮，是PSPACE完全的，当k是输入大小的多项式时。
2015-03-10 cs.CC
Verifying Quantized Graph Neural Networks is PSPACE-complete
Technical University of Kaiserslautern（凯泽斯劳滕技术大学）；ENS de Lyon, CNRS, Université Claude Bernard Lyon 1, Inria, LIP, UMR 5668（里昂高等师范学院、国家科学研究中心、克劳德·贝尔纳大学 Lyon 1、法国国家信息与自动化研究所、LIP、UMR 5668）；Gran Sasso Science Institute (GSSI)（格兰·萨索科学研究所）
本文研究量化图神经网络的验证问题，提出线性约束有效性（LVP）问题并将其转换为逻辑语言，证明该问题在合理激活函数下属于 PSPACE 且具有 PSPACE 困难性，表明推理可行但计算极具挑战性。
2025-08-13 cs.CC cs.LG cs.LO
Hardness of some variants of the graph coloring game
最近，Bodlaender在1991年提出的一个长期悬而未决的问题得到了回答：图着色游戏是PSPACE完全的。2019年，Andres和Lock提出了图着色游戏的五种变体，并留下了与之相关的PSPACE硬度问题。在本文中，我们证明了这些变种是PSPACE完全的图着色游戏，也为贪婪着色游戏，即使颜色的数量是色数。最后，我们还证明了Charpentier等人在2019年提出的图着色游戏的连通版本是PSPACE完全的。
2019-11-23 cs.CC cs.DM math.CO
