非确定性限制逻辑及其在计算复杂度中的应用

• 作者: 刘孜文 杨超
• 来源期刊: 计算机科学与应用
• 学科: 工学
• 关键词: 非确定性限制逻辑 计算复杂度 组合谜题
• 年，卷（期）: 2017,（5）
• 页码范围: 407-413
• 页数: 7页
• 分类号: TP39

摘要

过去几十年,有许多组合谜题的计算复杂度被确定了。本文介绍了非确定性限制逻辑,并用归约为非确定性限制逻辑的方法,证明了一种类似于推箱子的种豆游戏的计算复杂度为多项式空间完全的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨超	中山大学数学学院	52	302	10.0	15.0
2	刘孜文	华南理工大学软件学院	1	0	0.0	0.0