能不能舉一個邏輯解的例子

俺對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