作者:沈静; 任耀峰; 梅丹; 杨美妮约束满足问题强迫有解实例相变
摘要:在d-k-CSP模型的基础上,给出了产生可满足性难解实例的两种方法。利用概率论分析了d-k-CSP模型在这两种方法下解的平均个数和解的分布情况,并用数值实验对两种方法产生的可满足性实例的求解难度进行了对比分析。结果表明:强迫有解实例和非强迫有解实例的求解难度相当,但产生强迫有解实例的方法更简单有效。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《海军工程大学学报》(CN:42-1106/E)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《海军工程大学学报》主要发行范围:本校各单位、学报各编委,军内外有关的研究机构、各大公共图书馆、院校图书馆、学报编辑部等有关单位,论文作者,以及报送学报的主管领导机关和相关的业务部门。
北大期刊、统计源期刊
人气 542438 评论 58
省级期刊
人气 238764 评论 36
人气 229090 评论 63
人气 186493 评论 72