-
题名一种基于环切割的约束满足问题求解算法
被引量：7
- 1
-
-
作者
李占山
李宏博
张永刚
王孜文
-
机构
吉林大学符号计算与知识工程教育部重点实验室
吉林大学计算机科学与技术学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2011年第8期1528-1535,共8页
-
基金
国家自然科学基金(60773097
60873148
+3 种基金
60973089)
吉林省自然科学资金项目(20060532
20071106
20080107)资助
-
文摘
该文首先给出一种无环约束满足问题的无回溯搜索算法Tree_Search,然后将环切割思想嵌入到目前最流行的MAC3 rm算法中,给出一种新算法CCS.CCS将原回溯搜索过程分为两部分:第1部分通过回溯搜索求解环切割集中变量,将原问题化简成一个满足弧相容的无环问题;第2部分通过无回溯的Tree_Search算法求解化简后的无环问题,改进了MAC3rm算法.证明了MAC3rm算法在环切割集上求得的局部解一定可以扩展为一个全局解,并且如果原问题无解,则MAC3rm算法在环切割集上找不到局部解.实验结果显示,CCS的效率在大多数情况下高于MAC3rm.在求解随机问题相变阶段的测试用例时,CCS的效率最高可以达到MAC3rm的140倍.Benchmark中几组问题的测试结果显示,CCS在整体上效率高于MAC,最高可以达到MAC3rm的100倍以上.
-
关键词
弧相容
无回溯搜索
环切割
MAC3rm
-
Keywords
arc consistency
backtrack free search
cycle cut
MAC3rm
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名电子文档信息自动挖掘系统的研究
- 2
-
-
作者
蔡立军
张大方
-
机构
湖南大学计算机与通信学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第20期139-142,共4页
-
基金
国家自然科学基金资助项目(编号:69973010)
湖南省教育厅资助项目(编号:01C012)
-
文摘
文章主要研究电子文档信息自动挖掘系统的解决方案:采用I2DEF方法建立了系统模型;设计了双扫描缓冲区的无回溯搜索算法及搜索过程的双栈结构;描述了系统挖掘的处理过程及关键步骤的处理程序;最后给出了系统功能及实验结果。
-
关键词
数据挖掘
电子文档
I2DEF方法
无回溯搜索算法
双栈结构
-
Keywords
DM,Electronic document ,I 2 DEF Method,Non-backshifting Search Arithmetic,Double-stack Structure
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
