摘要：到达问题的新修改：具有随机行为、控制行为和切换行为的节点。研究了这些扩展的计算复杂性，建立在现有的可达性切换游戏的基础上。特别是，我们证明了对于只涉及切换和随机节点的到达问题，判断其值是否大于一半是PP{}-难的，并给出了一个PSPACE决策算法。
作者：Thomas Webster
论文ID：2211.12982
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-11-24
PDF 下载： 英文版 中文版pdf翻译中