現在最難的數獨僅17字,但數學家還沒有證明17是最小的.

I think if we do these SUDO insitant on pure logic,will be very very dfct.

所有跟帖： 

• 好奇，如何證明解是唯一的 -品茗99- ♀ (0 bytes) () 10/22/2011 postreply 18:01:33

• 很簡單，trial and error -hqw2000- ♀ (0 bytes) () 10/22/2011 postreply 20:09:38

• 回複：好奇，如何證明解是唯一的 -jinjing- ♀ (43 bytes) () 10/22/2011 postreply 21:41:07

• 錯.17是現在找到的有唯一解得最小的線索數,並不是邏輯上最難的. -hqw2000- ♀ (700 bytes) () 10/22/2011 postreply 19:55:10

• 什麽叫難? -jinjing- ♀ (0 bytes) () 10/22/2011 postreply 21:37:28

• 這個問題好！ -hqw2000- ♀ (832 bytes) () 10/22/2011 postreply 22:21:48

• 回複：這個問題好！ -jinjing- ♀ (183 bytes) () 10/23/2011 postreply 10:50:21

• 能不能舉一個邏輯解的例子 -品茗99- ♀ (648 bytes) () 10/23/2011 postreply 12:47:13

• 俺說的沒有看見過一個邏輯的方法 -品茗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

• 看了這個網站 -品茗99- ♀ (56 bytes) () 10/23/2011 postreply 13:49:49

• 回複：現在最難的數獨僅17字,但數學家還沒有證明17是最小的. -guest007- ♂ (2313 bytes) () 10/24/2011 postreply 08:05:19

• 回複：回複：現在最難的數獨僅17字,但數學家還沒有證明17是最小的. -hqw2000- ♀ (364 bytes) () 10/24/2011 postreply 22:53:06

• 回複：回複：回複：現在最難的數獨僅17字,但數學家還沒有證明17是最小的. -jinjing- ♀ (35 bytes) () 10/25/2011 postreply 08:36:06

• 9!*6^5 OK, 6^5 OK, and 1 also OK. -jinjing- ♀ (0 bytes) () 10/25/2011 postreply 12:09:54

• 回複：回複：現在最難的數獨僅17字,但數學家還沒有證明17是最小的. -jinjing- ♀ (63 bytes) () 10/25/2011 postreply 08:31:43