【摘 要】
：
针对基于MAC的动态回溯算法在求解约束满足问题时,不仅需要大量空间存储删除解释,而且回溯机制过于复杂,对经典的删除解释及动态回溯算法的回溯机制进行优化,优化后的动态回
【机 构】
：
吉林大学符号计算与知识工程教育部重点实验室,吉林大学计算机科学与技术学院,吉林大学软件学院
论文部分内容阅读
针对基于MAC的动态回溯算法在求解约束满足问题时,不仅需要大量空间存储删除解释,而且回溯机制过于复杂,对经典的删除解释及动态回溯算法的回溯机制进行优化,优化后的动态回溯算法减少了存储删除解释的空间,并可仅使用一次回溯操作返回到可能导致冲突的关键变量.在最差情况下,存储删除解释的空间复杂度由O（n2 d）改进为O（nd＋n2）.通过结合restart技术使优化后的动态回溯算法成为完备算法.实验结果表明,优化后的完备动态回溯算法在大部分问题求解中,整体效率明显优于标准回溯算法.
其他文献
患者女,28岁.因停经3月余出现下腹不适数天到外院行B超检查,超声诊断:宫内孕合并宫外孕.第二天来我院妇科就诊,未做妇检,直接做B超检查,超声所见(如图):子宫前位,饱满,宫腔内
研究紫花苜蓿东苜1号幼苗在乙酸钙镁盐(CMA)胁迫、人工模拟冻融胁迫(10,5,0,-3,0,5,10℃)及冻融与CMA复合胁迫下的叶片相对含水量(RWC)、净光合速率(A)、蒸腾速率(E)和水分利
根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征,将基础逻辑系统BL中的部分公理代数化,建立一种新的代数结构QBL-代数,并证明了QBL-代数与BL-代数的等价性,以两
目的用磁共振波谱分析方法定量测量中国正常成年男性前列腺的代谢水平. 方法 10例20～40岁的成年男性,临床无前列腺疾病的征象.在前列腺的中央带和外周带、右侧和左侧的底部、
小表妹林林来我家玩了。我正在看电视，林林坐在椅子上，她用小手摸摸我的额头，说：“姐姐，你发高烧了。”我说：“没有啊，哦!你刚才玩过冷水。”她不服气地说：“就是发高烧了!”说着，她就
利用ρ混合序列的矩不等式及Markov不等式,得到了在一定条件下ρ混合阵列加权和的矩的完全收敛性.