待验证95% 置信事实精确时间

推箱子（Sokoban）在计算复杂性理论中被证明是PSPACE完全问题

1

来源数

95%

置信度

长期有效

时效性

2025/6/23

首次发现

来源

AI玩游戏实力大比拼：O3 Pro展现惊人规划能力

bilibili认真的笨笨2025/6/23

涉及实体

推箱子product PSPACE完全concept

相关事实

待验证精确求解POMDP在计算上是PSPACE难问题74% 相似待验证POMDP的精确求解是PSPACE-complete问题，计算复杂度随状态空间指数增长72% 相似待验证内点法在理论上具有多项式时间复杂度保证，而单纯形法最坏情况下呈指数级复杂度64% 相似待验证POMDP由Astrom于1965年首次形式化描述，精确求解POMDP在计算上是PSPACE难问题61% 相似待验证边缘节点的硬件异构性使得统一的推理性能保证极为困难61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1224

API

curl https://kongchang.com/api/v1/knowledge/claims/1224

MCP

get_claim(id=1224)