实体
PSPACE
PSPACE
PulseAugur coverage of PSPACE — every cluster mentioning PSPACE across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
3-VAS 中的可达性问题复杂度已确定为 PSPACE 完全
研究人员确定了特定类型向量加法系统（VAS）中可达性问题的精确复杂度。他们证明了三维对称向量加法系统（3-VAS）的可达性问题是 PSPACE-难的。这一发现结合现有的上界，将一般 3-VAS 和 4-VAS 及其对称变体的可达性问题的复杂度确定为 PSPACE 完全。
-
新算法优化可变成本下的决策制定
研究人员开发了一种新颖的分支定界算法，旨在构建求值命题公式的成本最优决策策略。该算法旨在通过考虑信息获取的可变成本和真值分配的概率分布来最小化预期成本。该方法包括变量选择、剪枝和缓存的启发式方法，并被认为是该问题的第一个实用精确算法。实验表明，通过贪婪光束搜索变体，该算法具有可扩展性以及效率与质量之间的权衡，而理论分析证实了该问题的 #P-hard 复杂度。