能不能举一个逻辑解的例子

俺对sudoku还只停留在6年前的理解。回溯法是最不费脑子的。从sudoku的最基本要求可以推出一些基本的条件。但俺还没有看见过一个逻辑的方法而不用回溯的。值得一提的是，有些人告诉俺，因为如此如此，所以这个位置应该是x，可是当俺你如何知道如此如此的，回答是你如果选别的，就会导致无解。但俺的观点是，这种方法还是回溯，只是因为你试过了，反过来再从正面推导。

你提到的其中一题，要花一个小时计算，俺不知道在计算什么。如果是从已知条件排列组合，那与回溯法无疑。俺可能无知，所以很想见识一下用什么样的逻辑能推出来第一个选的数字是什么，在哪个位子。而这个逻辑是如何得来的。

俺假定有很多逻辑，当有那么多逻辑时，又是如何选中第一个应用的。

谢谢。

所有跟帖： 

• 俺说的没有看见过一个逻辑的方法 -品茗99- ♀ (131 bytes) () 10/23/2011 postreply 12:52:25

• 当然不可能一次到位，反复应用可以解大部分免费报纸上的Sudoku -wxcfan123- ♂ (0 bytes) () 10/23/2011 postreply 18:25:25

• 呵呵，downloaded explaner, it's crunching..... -品茗99- ♀ (0 bytes) () 10/23/2011 postreply 14:35:44

• first trial -品茗99- ♀ (849 bytes) () 10/23/2011 postreply 15:27:15

• 回复：first trial -hqw2000- ♀ (1268 bytes) () 10/23/2011 postreply 20:17:43

• sort of -品茗99- ♀ (1370 bytes) () 10/24/2011 postreply 18:05:02

• In case you are interested -hqw2000- ♀ (680 bytes) () 10/24/2011 postreply 18:23:06

• Very nice work! -品茗99- ♀ (306 bytes) () 10/26/2011 postreply 17:41:30

• 谢谢，不想证明什么了。估计改用c++实现的话，可以快一百倍。 -hqw2000- ♀ (0 bytes) () 10/28/2011 postreply 18:50:59

• 您的软件放在网上了吗。用什么写的。 -wxcfan123- ♂ (0 bytes) () 10/29/2011 postreply 16:21:41

• 用python 实现的，不打算放在网上。 -hqw2000- ♀ (281 bytes) () 10/29/2011 postreply 17:13:27