Equation model for Boss Sudoku problem

Abstract

Abstract: Sudoku is the recent craze in logic puzzles. The equations which are equivalent to the solution of the Boss Sudoku are established and series mathematical properties of the equations, including the candidates-deleted, unique determination, the contradiction and invariance property, are derived. The artificial reasoning rules are based on these properties. The algorithm for solving the equations according to these properties is proposed. The experimental results show that the proposed method is effective for all Boss Sudoku problems of different levels.

Key words: Boss Sudoku, equations, 0-1 integer linear program, invariance property

摘要： 从老板数独的定义建立了与原问题等价的方程组，由该方程组推导出一系列数学性质，包括候选数删除性质、唯一确定法性质、矛盾性质、不变性性质，说明了数独的人工推理规则包含在这些性质之中。利用这些性质提出了求解该方程组的算法。数值实例表明，提出的方法对于不同难度的数独难题都是有效的。

关键词: 老板数独, 方程组, 0-1规划, 不变性

XIAO Huayong, MA Lina, CHENG Haijiao. Equation model for Boss Sudoku problem[J]. Computer Engineering and Applications, 2014, 50(9): 41-44.

肖华勇，马丽娜，程海礁. 老板数独的方程求解算法研究[J]. 计算机工程与应用, 2014, 50(9): 41-44.

[1]	ZHOU Shuisheng, WANG Baojun, AN Yali. High order linear ODE approximate solution based on LS-SVM method [J]. Computer Engineering and Applications, 2018, 54(23): 51-56.
[2]	HUANG Ping1, WANG Chenwei2. PageRank for circle structure and its changed systems [J]. Computer Engineering and Applications, 2017, 53(9): 127-135.
[3]	WAN Wei, LIU Zhaoxia. Improved image inpainting method for Euler’s elastic model [J]. Computer Engineering and Applications, 2017, 53(13): 196-200.
[4]	ZHU　Zhen1，2, LIAO Weibo2, WANG Zhangye2. New technical progress of fluid simulation animation [J]. Computer Engineering and Applications, 2016, 52(4): 142-150.
[5]	ZHENG Yamin, WEI Meihua. Stability of LDG method for convection diffusion equations with first boundary conditions [J]. Computer Engineering and Applications, 2016, 52(23): 60-62.
[6]	WANG Junzhu, CHEN Lifang, LIU Yuan. Study of camera self-calibration method based on tensor voting [J]. Computer Engineering and Applications, 2016, 52(15): 190-197.
[7]	YAN Limei, LIU Yanqin, YIN Xiuling. Exact solutions of fractional coupled burger equations [J]. Computer Engineering and Applications, 2016, 52(10): 6-8.
[8]	MA Cunbao, SUN Zhuo. Study for fault diagnosis based on logic equations [J]. Computer Engineering and Applications, 2015, 51(7): 262-265.
[9]	YANG Jiawen1, SUN Heming2. Iterative algorithm for optimal approximation reflexive solutions of matrix equations AXB+CYD=E [J]. Computer Engineering and Applications, 2015, 51(5): 65-70.
[10]	SHEN Chunnan, MA Cunbao. Research on method of solving logic equations based on integer equations [J]. Computer Engineering and Applications, 2015, 51(4): 71-75.
[11]	MAO Qibo. Solution for three dimensional Helmholtz equations under arbitrary wave numbers [J]. Computer Engineering and Applications, 2015, 51(2): 26-29.
[12]	YANG Jianhong. Two-level stabilized finite volume method for incompressible flow [J]. Computer Engineering and Applications, 2015, 51(18): 255-260.
[13]	YIN Fengmei1, PU Guangning2, ZHANG Jiang1, HOU Zhengfeng3. Threshold anonymous authentication scheme based on linear equations [J]. Computer Engineering and Applications, 2015, 51(1): 97-101.
[14]	ZHOU Wenqin1，2, ZHANG Yechi1，2, SHI Runhua1，2. Anonymous authentication scheme based on secure multiparty computation [J]. Computer Engineering and Applications, 2014, 50(24): 81-85.
[15]	GUO Delong1, ZHENG Tianjian1, ZHOU Yongquan2. Hybrid fast bacterial foraging algorithm for solving nolinear equation [J]. Computer Engineering and Applications, 2014, 50(21): 32-34.

Equation model for Boss Sudoku problem

老板数独的方程求解算法研究

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics