各位高手, 请教一下, 用纯逻辑解决所有的数独的程序存在吗?很想知道算法是什么.