摘要
给出了数独(Sudoku)的6条性质,并在此基础上提出了6条推理规则,然后结合空格填写的一个一组,两个一组及更多个一组的枚举算法,在枚举中进行推理。使推理和枚举结合起来,对有唯一解的数独问题,其求解速度比回溯法快得多,同时也能完成许多数独软件无法进行推理计算的数独难题。用两个数独难题进行验证,表明该方法十分有效。
Sudoku puzzle has become a very popular puzzle in the world. Firstly, six properties of Sudoku are given and six deductive rules are introduced. Then scanning on blank one bye, then two by two and so on, deduce the digit in the blank while stepwise enumeration. By deduction and enumeration, we solve the Sudoku faster than backtrack and finish many difficulty Sudoku puzzles that is not solved by deduction in many software about Sodnku. Two difficulty Sudoku puzzles are demonstated and solved easy with the mehod. That show the method is very effective.
出处
《计算机工程与设计》
CSCD
北大核心
2010年第5期1035-1037,1113,共4页
Computer Engineering and Design
基金
国家自然科学基金项目(60375003)
关键词
数独
智力游戏
推理规则
逐步枚举
唯一解
Sudoku
intellect game
deductive rules
stepwise enumeration
unique solution
作者简介
肖华勇（1970-），男，博士，副教授，研究方向为图像与金融时间序列；
田铮（1945-），女，教授，博士生导师，研究方向为SAR图像与金融时间序列；
马雷（1985-），女，硕士，研究方向为图论与金融时间序列。E-mail：huayongx@nwpu．edu．cn
