基于约束程序方法的数独问题求解研究

来源 :吉林大学 | 被引量 : 0次 | 上传用户：zfjbjxw

【摘要】

：

数独是一个风靡世界的基于逻辑的填数字游戏,因为非常流行吸引了世界各地的爱好者。从计算的角度来看,数独也是一个如我们所期望的属于NP完备问题的集合,也就是说,理论上我们不能期望找到一个多项式复杂度的算法来求解这个问题。约束程序(CP)是建模和求解复杂组合问题的有力工具(一般表现为决策支持)。约束程序是人工智能领域重要的研究方向,人们越来越依赖它去求解日常的调度、规划和分配问题。目前已提出了各种复杂的

【作者】

：

MOHAMMED ABDO MOHAMMED HAMID（汉

【出处】

：

吉林大学

【发表日期】

：

2019年11期

【关键词】

：

数独约束程序约束满足问题回溯数独求解器

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技术领域,包括主机、控制电路和计算机三部分组成,主机包括由棱镜。敏感膜敏感芯片、半导 Ue*M#

其他文献

加强中蒙文学交流与合作,促进“民心相通”建设

随着中蒙睦邻友好合作发展,中蒙两国之间的民间人文交流更加密切,其内容日益丰富、形式日益多样化。习近平主席指出:"国之交在于民相亲,民相亲在于心相通",而笔者认为文学作

期刊

文化交流中蒙文学民心相通

基于LabVIEW的射频设备测试系统研究

射频设备自动测试系统可以提高测试的速率和准确率,论文研究了射频设备自动测试系统的构建方法。测试系统由软件和硬件两部分组成。软件用于实现人机交互和测试数据存储等功

期刊

LABVIEW测试系统测试设备虚拟仪器软件结构框架GPIB接口卡LabVIEWtest systemtest equipmentVISAGPIB in

灰暗的城市生活

在过去的10月份，北京在很长一段时间内被笼罩在雾霾中。人们意识到城市空气中的PM2.5微粒浓度多次达到了非常不健康的400ppm以上，关于北京空气质量的质疑与抱怨再次集中爆发……　　严重超标　　一直独自检测空气质量的美国驻华使馆，某天突然觉得传统的形容词已经无法描述北京的空气质量了，于是在他们发布检测结果到推特上，“悍然”抛出了“令人发疯的糟糕(Crazybad)”的说辞。尽管随后不久，美使馆迅速

期刊

城市生活PM2.5微粒浓度城市空气空气质量北京健康

校本课程深度开发的策略探索

自校本课程实施以来，各地各校在校本课程建设方面取得了不小的成绩．但是，在校本课程实施的过程中也还存在一些问题．校本课程要想持续发展，必须进行深度开发．从课程内容、课程结构、

期刊

校本课程深度开发策略

加强病案质量控制防范医疗纠纷

病案是记录患者健康状况的文件资料,是医疗事故或医疗过错确定和责任划分的主要依据.病案质量是病案赖以生存的根本,病案质量缺陷易引发医疗纠纷.医务人员应重视病案书写,提

期刊

病案质量医疗纠纷质量控制

基于约束程序方法的数独问题求解研究

其他学术论文