-
题名数独基于规则的逐步枚举算法设计
被引量：15
- 1
-
-
作者
肖华勇
田铮
马雷
-
机构
西北工业大学理学院数学系
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第5期1035-1037,1113,共4页
-
基金
国家自然科学基金项目(60375003)
-
文摘
给出了数独(Sudoku)的6条性质,并在此基础上提出了6条推理规则,然后结合空格填写的一个一组,两个一组及更多个一组的枚举算法,在枚举中进行推理。使推理和枚举结合起来,对有唯一解的数独问题,其求解速度比回溯法快得多,同时也能完成许多数独软件无法进行推理计算的数独难题。用两个数独难题进行验证,表明该方法十分有效。
-
关键词
数独
智力游戏
推理规则
逐步枚举
唯一解
-
Keywords
Sudoku
intellect game
deductive rules
stepwise enumeration
unique solution
-
分类号
O157
[理学—数学]
-
