论文部分内容阅读
过去几十年,有许多组合谜题的计算复杂度被确定了。本文介绍了非确定性限制逻辑,并用归约为非确定性限制逻辑的方法,证明了一种类似于推箱子的种豆游戏的计算复杂度为多项式空间完全的。
非确定性限制逻辑及其在计算复杂度中的应用
【摘 要】
：
过去几十年,有许多组合谜题的计算复杂度被确定了。本文介绍了非确定性限制逻辑,并用归约为非确定性限制逻辑的方法,证明了一种类似于推箱子的种豆游戏的计算复杂度为多项式
【机 构】
：
华南理工大学软件学院,中山大学数学学院
【出 处】
：
计算机科学与应用
【发表日期】
：
2017年5期
【基金项目】
：
国家自然科学基金青年科学基金项目(11201496),广东省自然科学基金(2015A030313222)
其他文献
据《科技文摘报》报道,又一批科技法律法规及行政规章被提上立法日程,并将于今年出台施行。 被列入立法规划的法律有《国家高新技术产业开发区法》、《科学技术基金法》、《
据日本钨和钼工业协会资料,与1994年相比,1995年日本钼品的产量增长11%、产值增长16%,再次达到1990年和1991年的水平(见表1)。
随着2016年“人居三”的召开及《新城市议程》的提出,大数据、物联网等数据及技术革新,及国内城市总体规划编制改革的新要求,《城市总体规划》课程教学改革迫在眉睫,在教学内
要做好领机，理论和实践都要有，但关键还是看实践经验，因为操作工的任务是操作，而不是去研究。一个人技能的高低，是靠长期实践经验积累起来的，这是从课堂上、书本上学不到的，尤其是做
住建部海绵城市建设技术指导专家委员会对全国首批16个海绵城市建设试点建设待况进行调研，在肯定建设成绩的同时，也指出了目前普遍存在的问题，主要表现在3个方面：理念认识受限，局
剪切波速为地基地震反应计算提供地基土动力参数,分析场地地震反应等,是土动力学中的一个重要的物理量.文章综合南京大厂多个工程实例,通过大量的物探,原位和室内试验,对试验
本文利用西北五省(区)1978~2007年小麦生产的投入产出数据和气候数据,研究了全球变暖对该地区小麦生产的影响。结果表明,年平均气温上升1%,小麦产量下降0.023%,而年降水量和
小学语文知识涉及的范围比较广，因此教师在教学的过程中不仅仅要教会学生学习理论知识，更要让学生将理论知识与实践知识相联系，这样会使学生对学过的知识记忆犹新。小学生学到的
我作为国际钨协秘书长(米歇尔·梅比)应中国有色金属总公司及下辖的有关单位的邀请,于1997年5月2～15日访问了中国。从所周知,近10多年来全球各地钨的生产、冶炼加工、科研
利用阿克达拉区域大气本底站NH3分析仪实现大气中NH3的在线连续观测,并在观测过程中进行了严格的质量控制,得到阿克达拉地区NH3浓度的年和日特征。结果显示:阿克达拉地区NH3