有人做过解数独的算法吗？

sky-Hawk where

有人做过解数独的算法吗？
这两天抽空做了一下，回过来看写的2个版本，觉得本质上没有区别，基本上就是暴力弄出来的，靠选取可用数试填，然后检查效果来决定是否解出。有一道题（见下面）步骤接近25万-_-b
哪位发表一下高见？

#define ASK2 {           \
        0,0,0, 0,0,0, 0,0,0, \
        0,0,3, 8,7,0, 5,0,0, \
        0,0,5, 0,2,0, 0,6,1, \
        0,8,0, 0,0,5, 0,9,3, \
        0,0,0, 0,0,0, 0,0,0, \
        2,5,0, 4,0,0, 0,7,0, \
        1,4,0, 0,8,0, 7,0,0, \
        0,0,2, 0,5,4, 9,0,0, \
        0,0,0, 0,0,0, 0,0,0  \
}

sky-Hawk where

嚓，楼主的勋章也很多