【摘 要】
：
SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向。本文主要利用(1,*)-
论文部分内容阅读
SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向。本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间O(n
其他文献
简述解释学之理解的发展史,从理解的对象、目的、条件、方法、过程、内涵和研究思想指出其变化发展经历从特殊到一般、从外在于我到内在于我、从超历史性到历史性、从有限到
针对代理渠道发展的新用户质量良莠不齐,将聚类算法引入新发展用户质量分析中,构建虚开用户模型识别代理商虚开用户。同时,还提出了k-均值聚类的改进算法。该算法结合数据样
劳模贾宝执从普通农民成长为乡村领袖和国家在乡村的忠实＂代理人＂与1944-1964年晋西北白家沟村的农业集体化过程紧密相连。其个人生活和实践活动浓缩了一个时代的影像,通过对其
“办好开放大学”的目标和任务是国家赋予广播电视大学的使命，针对大学实体建设而言，涉及多方面的改革与实践，其中对现行的教学管理模式进行审视与梳理，保留其合理的理念与内核，研
案例教学作为一种有效的教学方法已经在法学课程教学领域被广泛采用。当前以学习者为中一心的教学理念正在影响并改变着传统的教学模式和教学方法，基于信息技术的课程教学有利