值域增长约束满足问题的无回溯与随机行走策略的算法复杂性分析

CSpace > 应用数学研究所

	值域增长约束满足问题的无回溯与随机行走策略的算法复杂性分析
	巩馥洲1 ; 徐伟 2
	2014
发表期刊	计算机科学
ISSN	1002-137X
卷号	041 期号:004 页码:205
摘要	值域增长的约束满足问题模型是计算复杂性理论中一类重要的实际问题模型,针对解决这类问题的算法研究仍然很少.通过研究RB模型这一典型的值域增长约束满足问题,发现当问题规模很大时,无回溯策略比随机行走策略更加有效.这与典型的值域确定的约束满足问题如SAT问题不同,是值域增长的约束满足问题所特有的性质.通过实验研究了两种策略的表现,并进一步对两种策略的表现进行了分析.
语种	英语
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/47639
专题	应用数学研究所
作者单位	1.中国科学院数学与系统科学研究院 2.北京科技大学
推荐引用方式 GB/T 7714	巩馥洲,徐伟. 值域增长约束满足问题的无回溯与随机行走策略的算法复杂性分析[J]. 计算机科学,2014,041(004):205.
APA	巩馥洲,&徐伟.(2014).值域增长约束满足问题的无回溯与随机行走策略的算法复杂性分析.计算机科学,041(004),205.
MLA	巩馥洲,et al."值域增长约束满足问题的无回溯与随机行走策略的算法复杂性分析".计算机科学 041.004(2014):205.