{"id":60994,"date":"2026-01-16T20:41:55","date_gmt":"2026-01-16T12:41:55","guid":{"rendered":"https:\/\/www.wsisp.com\/helps\/60994.html"},"modified":"2026-01-16T20:41:55","modified_gmt":"2026-01-16T12:41:55","slug":"%e5%88%a9%e7%94%a8%e8%b1%86%e5%8c%85%e8%be%85%e5%8a%a9%e7%bc%96%e5%86%99%e6%95%b0%e7%8b%ac%e9%9a%90%e5%bc%8f%e5%94%af%e4%b8%80%e6%95%b0%e5%a1%ab%e5%85%85c%e7%a8%8b%e5%ba%8f","status":"publish","type":"post","link":"https:\/\/www.wsisp.com\/helps\/60994.html","title":{"rendered":"\u5229\u7528\u8c46\u5305\u8f85\u52a9\u7f16\u5199\u6570\u72ec\u9690\u5f0f\u552f\u4e00\u6570\u586b\u5145c\u7a0b\u5e8f"},"content":{"rendered":"

\u5728\u67e5\u770b\u7a0b\u5b81\u5148\u751f\u7684SQL\u4e2d\u95f4\u8fc7\u7a0b\u65f6，\u53d1\u73b0\u4ed6\u4e00\u8f6e\u8fed\u4ee3\u586b\u5145\u7684\u552f\u4e00\u6570\u8981\u6bd4\u6211\u81ea\u5df1\u7684\u7a0b\u5e8f\u591a\u5f88\u591a，\u4ee5\u4e0b\u9762\u6570\u636e\u4e3a\u4f8b<\/p>\n

id | iteration | puzzle | result
\n——+———–+———–+———–
\n 1001 | 0 | …….1.+| 000000010+
\n | | 4……..+| 400000000+
\n | | .2…….+| 020000000+
\n | | ….5.4.7+| 000050407+
\n | | ..8…3..+| 008000300+
\n | | ..1.9….+| 001090000+
\n | | 3..4..2..+| 300400200+
\n | | .5.1…..+| 050100000+
\n | | …8.6… | 000806000
\n 1001 | 1 | …….1.+| 000000010+
\n | | 4……..+| 400000000+
\n | | .2…….+| 020000000+
\n | | ….5.4.7+| 000051407+ <—
\n | | ..8…3..+| 008000301+ <—
\n | | ..1.9….+| 001090000+
\n | | 3..4..2..+| 300475200+ <—
\n | | .5.1…..+| 050100000+
\n | | …8.6… | 000806100 <—<\/p>\n

\u586b\u5145\u4e865\u4e2a\u552f\u4e00\u6570，\u800c\u6211\u7684\u552f\u4e00\u6570\u7a0b\u5e8f\u53ea\u627e\u52301\u4e2a\u3002 \u8bf7\u6559\u7a0b\u5b81\u5148\u751f，\u4ed6\u8bf4\u4ed6\u8ba9AI\u5b9e\u73b0\u4e86\u663e\u5f0f\u548c\u9690\u5f0f\u552f\u4e00\u6570，\u6211\u67e5\u4e86\u8d44\u6599\u3002\u770b\u4e86\u9690\u6027\u552f\u4e00\u6570\u7684\u5b9a\u4e49，\u7ec8\u4e8e\u660e\u767d\u4e86，\u67d0\u6570\u67d0\u5babgroup by\u540ecount(*)=1\u5c31\u662f\u6b64\u6570\u5728\u6b64\u5bab\u5019\u9009\u6570\u51fa\u73b0\u4e86\u4e00\u6b21 \u3002\u884c\u3001\u5217\u9690\u5f0f\u552f\u4e00\u6570\u540c\u7406\u3002\u6211\u7684\u552f\u4e00\u6570\u7a0b\u5e8f\u53ea\u5b9e\u73b0\u4e86\u663e\u5f0f\u7684\u3002 \u660e\u767d\u4e86\u539f\u7406，\u5c31\u8ba9\u8c46\u5305\u8f85\u52a9\u7f16\u5199\u7a0b\u5e8f<\/p>\n

\u8fd8\u6709\u4e00\u79cd\u201c\u9690\u6027\u552f\u4e00\u6570\u201d (Hidden Single) \u662f\u6307\u4e00\u4e2a\u5355\u5143\u683c\u91cc\u6709\u591a\u4e2a\u5019\u9009\u6570（\u4f8b\u5982：{1, 7, 8}），\u4f46\u5176\u4e2d\u4e00\u4e2a\u5019\u9009\u6570（\u4f8b\u5982 \u20181\u2019）\u5728\u8be5\u5bab\u7684\u5176\u4ed6\u4efb\u4f55\u7b14\u8bb0\u4e2d\u90fd\u6ca1\u6709\u51fa\u73b0\u3002\u6bd4\u5982\u5728\u8fd9\u4e2a\u5bab\u91cc，\u6211\u4eec\u53ef\u4ee5\u770b\u5230\u4ee5\u4e0b\u5df2\u586b\u5165\u7684\u6570\u5b57\u548c\u7b14\u8bb0： \u5df2\u586b\u6570\u5b57： 5 (R1C7), 6 (R2C7), 2 (R2C8)\u3002 \u7b14\u8bb0 (\u5019\u9009\u6570)：R1C8 = {3, 4, 9}R1C9 = {3, 4, 9}R2C9 = {3, 4, 7, 8}R3C7 = {1, 7, 8} （\u6211\u4eec\u9700\u8981\u5173\u6ce8\u7684\u5355\u5143\u683c）R3C8 = {7, 8, 9}R3C9 = {7, 8, 9} \u7b2c\u4e00\u6b65：\u626b\u63cf\u7b14\u8bb0\u5bfb\u627e\u7279\u5b9a\u6570\u5b57 \u4e0e\u5176\u76ef\u7740\u5355\u4e2a\u5355\u5143\u683c\u770b，\u4e0d\u5982\u626b\u63cf\u6574\u4e2a\u5bab\u6765\u5bfb\u627e\u7279\u5b9a\u7684\u6570\u5b57\u3002\u8ba9\u6211\u4eec\u6765\u5bfb\u627e\u6570\u5b57 1\u3002 R1C8？\u6ca1\u6709 \u20181\u2019\u3002 R1C9？\u6ca1\u6709 \u20181\u2019\u3002 R2C9？\u6ca1\u6709 \u20181\u2019\u3002 R3C7？\u662f\u7684，\u5b83\u6709\u4e00\u4e2a \u20181\u2019\u3002 R3C8？\u6ca1\u6709 \u20181\u2019\u3002 R3C9？\u6ca1\u6709 \u20181\u2019\u3002 \u7b2c\u4e8c\u6b65：\u627e\u5230\u89e3 \u6570\u5b57 1 \u4f5c\u4e3a\u5019\u9009\u6570，\u5728\u6574\u4e2a 3×3 \u5bab\u4e2d\u4ec5\u51fa\u73b0\u5728\u4e00\u4e2a\u5355\u5143\u683c\u4e2d：\u5355\u5143\u683c R3C7\u3002 \u5c3d\u7ba1 R3C7 \u4e5f\u5305\u542b\u4e86 7 \u548c 8 \u7684\u7b14\u8bb0，\u4f46\u5b83\u662f\u8fd9\u4e2a\u5bab\u91cc\u6570\u5b57 1 \u552f\u4e00\u53ef\u80fd\u7684\u5bb9\u8eab\u4e4b\u5904\u3002\u56e0\u6b64，R3C7 \u5fc5\u987b\u662f 1\u3002\u5b9e\u73b0\u8fd9\u79cd\u7b97\u6cd5\u7684\u51fd\u6570，\u4e0d\u505a\u522b\u7684\u3002 \u5b83\u8f93\u51fa\u5982\u4e0b\u4ee3\u7801<\/p>\n

\/\/ \u68c0\u67e5\u5e76\u586b\u5145\u5bab(Box)\u4e2d\u7684\u9690\u6027\u552f\u4e00\u6570<\/span>
\nint<\/span> fill_hidden_single_in_boxes<\/span>(<\/span>)<\/span> {<\/span>
\n int<\/span> filled_count =<\/span> 0<\/span>;<\/span><\/p>\n

\/\/ \u904d\u5386\u6240\u67099\u4e2a3×3\u5bab<\/span>
\n for<\/span> (<\/span>int<\/span> box_row =<\/span> 0<\/span>;<\/span> box_row <<\/span> SIZE;<\/span> box_row +=<\/span> 3<\/span>)<\/span> {<\/span>
\n for<\/span> (<\/span>int<\/span> box_col =<\/span> 0<\/span>;<\/span> box_col <<\/span> SIZE;<\/span> box_col +=<\/span> 3<\/span>)<\/span> {<\/span><\/p>\n

\/\/ \u5bf9\u6bcf\u4e2a\u6570\u5b571-9\u68c0\u67e5\u662f\u5426\u662f\u8be5\u5bab\u7684\u9690\u6027\u552f\u4e00\u6570<\/span>
\n for<\/span> (<\/span>int<\/span> num =<\/span> 1<\/span>;<\/span> num <=<\/span> SIZE;<\/span> num++<\/span>)<\/span> {<\/span>
\n int<\/span> found_row =<\/span> –<\/span>1<\/span>;<\/span>
\n int<\/span> found_col =<\/span> –<\/span>1<\/span>;<\/span>
\n int<\/span> count =<\/span> 0<\/span>;<\/span><\/p>\n

\/\/ \u904d\u5386\u5f53\u524d\u5bab\u7684\u6240\u6709\u683c\u5b50<\/span>
\n for<\/span> (<\/span>int<\/span> r =<\/span> box_row;<\/span> r <<\/span> box_row +<\/span> 3<\/span>;<\/span> r++<\/span>)<\/span> {<\/span>
\n for<\/span> (<\/span>int<\/span> c =<\/span> box_col;<\/span> c <<\/span> box_col +<\/span> 3<\/span>;<\/span> c++<\/span>)<\/span> {<\/span>
\n \/\/ \u8df3\u8fc7\u5df2\u586b\u5145\u7684\u683c\u5b50<\/span>
\n if<\/span> (<\/span>sudoku[<\/span>r]<\/span>[<\/span>c]<\/span>.<\/span>value !=<\/span> 0<\/span>)<\/span> {<\/span>
\n continue<\/span>;<\/span>
\n }<\/span><\/p>\n

\/\/ \u8ba1\u7b97\u5f53\u524d\u683c\u5b50\u7684\u5019\u9009\u6570\u63a9\u7801<\/span>
\n uint16_t<\/span> mask =<\/span> get_candidate_mask<\/span>(<\/span>r,<\/span> c)<\/span>;<\/span>
\n \/\/ \u68c0\u67e5\u8be5\u6570\u5b57\u662f\u5426\u662f\u5f53\u524d\u683c\u5b50\u7684\u5019\u9009\u6570<\/span>
\n if<\/span> (<\/span>mask &<\/span> (<\/span>1<\/span> <<<\/span> (<\/span>num –<\/span> 1<\/span>)<\/span>)<\/span>)<\/span> {<\/span>
\n found_row =<\/span> r;<\/span>
\n found_col =<\/span> c;<\/span>
\n count++<\/span>;<\/span><\/p>\n

\/\/ \u8d85\u8fc71\u4e2a\u683c\u5b50\u6709\u8be5\u5019\u9009\u6570，\u65e0\u9700\u7ee7\u7eed\u68c0\u67e5<\/span>
\n if<\/span> (<\/span>count ><\/span> 1<\/span>)<\/span> {<\/span>
\n break<\/span>;<\/span>
\n }<\/span>
\n }<\/span>
\n }<\/span>
\n if<\/span> (<\/span>count ><\/span> 1<\/span>)<\/span> {<\/span>
\n break<\/span>;<\/span>
\n }<\/span>
\n }<\/span><\/p>\n

\/\/ \u8be5\u6570\u5b57\u5728\u5f53\u524d\u5bab\u4e2d\u4ec5\u51fa\u73b0\u5728\u4e00\u4e2a\u7a7a\u4f4d\u7684\u5019\u9009\u6570\u4e2d（\u9690\u6027\u552f\u4e00）<\/span>
\n if<\/span> (<\/span>count ==<\/span> 1<\/span>)<\/span> {<\/span>
\n sudoku[<\/span>found_row]<\/span>[<\/span>found_col]<\/span>.<\/span>value =<\/span> num;<\/span>
\n sudoku[<\/span>found_row]<\/span>[<\/span>found_col]<\/span>.<\/span>candidates =<\/span> 0<\/span>;<\/span>
\n filled_count++<\/span>;<\/span>
\n \/\/ \u586b\u5145\u540e\u7acb\u5373\u66f4\u65b0，\u907f\u514d\u91cd\u590d\u5904\u7406<\/span>
\n printf<\/span>(<\/span>"\u586b\u5145\u5bab\u9690\u6027\u552f\u4e00\u6570: \u4f4d\u7f6e(%d,%d) = %d\\\\n"<\/span>,<\/span> found_row+<\/span>1<\/span>,<\/span> found_col+<\/span>1<\/span>,<\/span> num)<\/span>;<\/span>
\n }<\/span>
\n }<\/span>
\n }<\/span>
\n }<\/span><\/p>\n

return<\/span> filled_count;<\/span>
\n}<\/span><\/p>\n

\/\/ \u68c0\u67e5\u5e76\u586b\u5145\u884c\u4e2d\u7684\u9690\u6027\u552f\u4e00\u6570<\/span>
\nint<\/span> fill_hidden_single_in_rows<\/span>(<\/span>)<\/span> {<\/span>
\n int<\/span> filled_count =<\/span> 0<\/span>;<\/span><\/p>\n

\/\/ \u904d\u5386\u6240\u67099\u884c<\/span>
\n for<\/span> (<\/span>int<\/span> row =<\/span> 0<\/span>;<\/span> row <<\/span> SIZE;<\/span> row++<\/span>)<\/span> {<\/span>
\n \/\/ \u5bf9\u6bcf\u4e2a\u6570\u5b571-9\u68c0\u67e5\u662f\u5426\u662f\u8be5\u884c\u7684\u9690\u6027\u552f\u4e00\u6570<\/span>
\n for<\/span> (<\/span>int<\/span> num =<\/span> 1<\/span>;<\/span> num <=<\/span> SIZE;<\/span> num++<\/span>)<\/span> {<\/span>
\n int<\/span> found_col =<\/span> –<\/span>1<\/span>;<\/span>
\n int<\/span> count =<\/span> 0<\/span>;<\/span><\/p>\n

\/\/ \u904d\u5386\u5f53\u524d\u884c\u7684\u6240\u6709\u683c\u5b50<\/span>
\n for<\/span> (<\/span>int<\/span> col =<\/span> 0<\/span>;<\/span> col <<\/span> SIZE;<\/span> col++<\/span>)<\/span> {<\/span>
\n \/\/ \u8df3\u8fc7\u5df2\u586b\u5145\u7684\u683c\u5b50<\/span>
\n if<\/span> (<\/span>sudoku[<\/span>row]<\/span>[<\/span>col]<\/span>.<\/span>value !=<\/span> 0<\/span>)<\/span> {<\/span>
\n continue<\/span>;<\/span>
\n }<\/span><\/p>\n

\/\/ \u8ba1\u7b97\u5f53\u524d\u683c\u5b50\u7684\u5019\u9009\u6570\u63a9\u7801<\/span>
\n uint16_t<\/span> mask =<\/span> get_candidate_mask<\/span>(<\/span>row,<\/span> col)<\/span>;<\/span>
\n \/\/ \u68c0\u67e5\u8be5\u6570\u5b57\u662f\u5426\u662f\u5f53\u524d\u683c\u5b50\u7684\u5019\u9009\u6570<\/span>
\n if<\/span> (<\/span>mask &<\/span> (<\/span>1<\/span> <<<\/span> (<\/span>num –<\/span> 1<\/span>)<\/span>)<\/span>)<\/span> {<\/span>
\n found_col =<\/span> col;<\/span>
\n count++<\/span>;<\/span><\/p>\n

\/\/ \u8d85\u8fc71\u4e2a\u683c\u5b50\u6709\u8be5\u5019\u9009\u6570，\u65e0\u9700\u7ee7\u7eed\u68c0\u67e5<\/span>
\n if<\/span> (<\/span>count ><\/span> 1<\/span>)<\/span> {<\/span>
\n break<\/span>;<\/span>
\n }<\/span>
\n }<\/span>
\n }<\/span><\/p>\n

\/\/ \u8be5\u6570\u5b57\u5728\u5f53\u524d\u884c\u4e2d\u4ec5\u51fa\u73b0\u5728\u4e00\u4e2a\u7a7a\u4f4d\u7684\u5019\u9009\u6570\u4e2d（\u9690\u6027\u552f\u4e00）<\/span>
\n if<\/span> (<\/span>count ==<\/span> 1<\/span>)<\/span> {<\/span>
\n sudoku[<\/span>row]<\/span>[<\/span>found_col]<\/span>.<\/span>value =<\/span> num;<\/span>
\n sudoku[<\/span>row]<\/span>[<\/span>found_col]<\/span>.<\/span>candidates =<\/span> 0<\/span>;<\/span>
\n filled_count++<\/span>;<\/span>
\n printf<\/span>(<\/span>"\u586b\u5145\u884c\u9690\u6027\u552f\u4e00\u6570: \u4f4d\u7f6e(%d,%d) = %d\\\\n"<\/span>,<\/span> row+<\/span>1<\/span>,<\/span> found_col+<\/span>1<\/span>,<\/span> num)<\/span>;<\/span>
\n }<\/span>
\n }<\/span>
\n }<\/span><\/p>\n

return<\/span> filled_count;<\/span>
\n}<\/span><\/p>\n

\/\/ \u68c0\u67e5\u5e76\u586b\u5145\u5217\u4e2d\u7684\u9690\u6027\u552f\u4e00\u6570<\/span>
\nint<\/span> fill_hidden_single_in_cols<\/span>(<\/span>)<\/span> {<\/span>
\n int<\/span> filled_count =<\/span> 0<\/span>;<\/span><\/p>\n

\/\/ \u904d\u5386\u6240\u67099\u5217<\/span>
\n for<\/span> (<\/span>int<\/span> col =<\/span> 0<\/span>;<\/span> col <<\/span> SIZE;<\/span> col++<\/span>)<\/span> {<\/span>
\n \/\/ \u5bf9\u6bcf\u4e2a\u6570\u5b571-9\u68c0\u67e5\u662f\u5426\u662f\u8be5\u5217\u7684\u9690\u6027\u552f\u4e00\u6570<\/span>
\n for<\/span> (<\/span>int<\/span> num =<\/span> 1<\/span>;<\/span> num <=<\/span> SIZE;<\/span> num++<\/span>)<\/span> {<\/span>
\n int<\/span> found_row =<\/span> –<\/span>1<\/span>;<\/span>
\n int<\/span> count =<\/span> 0<\/span>;<\/span><\/p>\n

\/\/ \u904d\u5386\u5f53\u524d\u5217\u7684\u6240\u6709\u683c\u5b50<\/span>
\n for<\/span> (<\/span>int<\/span> row =<\/span> 0<\/span>;<\/span> row <<\/span> SIZE;<\/span> row++<\/span>)<\/span> {<\/span>
\n \/\/ \u8df3\u8fc7\u5df2\u586b\u5145\u7684\u683c\u5b50<\/span>
\n if<\/span> (<\/span>sudoku[<\/span>row]<\/span>[<\/span>col]<\/span>.<\/span>value !=<\/span> 0<\/span>)<\/span> {<\/span>
\n continue<\/span>;<\/span>
\n }<\/span><\/p>\n

\/\/ \u8ba1\u7b97\u5f53\u524d\u683c\u5b50\u7684\u5019\u9009\u6570\u63a9\u7801<\/span>
\n uint16_t<\/span> mask =<\/span> get_candidate_mask<\/span>(<\/span>row,<\/span> col)<\/span>;<\/span>
\n \/\/ \u68c0\u67e5\u8be5\u6570\u5b57\u662f\u5426\u662f\u5f53\u524d\u683c\u5b50\u7684\u5019\u9009\u6570<\/span>
\n if<\/span> (<\/span>mask &<\/span> (<\/span>1<\/span> <<<\/span> (<\/span>num –<\/span> 1<\/span>)<\/span>)<\/span>)<\/span> {<\/span>
\n found_row =<\/span> row;<\/span>
\n count++<\/span>;<\/span><\/p>\n

\/\/ \u8d85\u8fc71\u4e2a\u683c\u5b50\u6709\u8be5\u5019\u9009\u6570，\u65e0\u9700\u7ee7\u7eed\u68c0\u67e5<\/span>
\n if<\/span> (<\/span>count ><\/span> 1<\/span>)<\/span> {<\/span>
\n break<\/span>;<\/span>
\n }<\/span>
\n }<\/span>
\n }<\/span><\/p>\n

\/\/ \u8be5\u6570\u5b57\u5728\u5f53\u524d\u5217\u4e2d\u4ec5\u51fa\u73b0\u5728\u4e00\u4e2a\u7a7a\u4f4d\u7684\u5019\u9009\u6570\u4e2d（\u9690\u6027\u552f\u4e00）<\/span>
\n if<\/span> (<\/span>count ==<\/span> 1<\/span>)<\/span> {<\/span>
\n sudoku[<\/span>found_row]<\/span>[<\/span>col]<\/span>.<\/span>value =<\/span> num;<\/span>
\n sudoku[<\/span>found_row]<\/span>[<\/span>col]<\/span>.<\/span>candidates =<\/span> 0<\/span>;<\/span>
\n filled_count++<\/span>;<\/span>
\n printf<\/span>(<\/span>"\u586b\u5145\u5217\u9690\u6027\u552f\u4e00\u6570: \u4f4d\u7f6e(%d,%d) = %d\\\\n"<\/span>,<\/span> found_row+<\/span>1<\/span>,<\/span> col+<\/span>1<\/span>,<\/span> num)<\/span>;<\/span>
\n }<\/span>
\n }<\/span>
\n }<\/span><\/p>\n

return<\/span> filled_count;<\/span>
\n}<\/span><\/p>\n

\/\/ \u7efc\u5408\u586b\u5145\u6240\u6709\u9690\u6027\u552f\u4e00\u6570（\u5bab+\u884c+\u5217），\u8fed\u4ee3\u76f4\u5230\u65e0\u65b0\u586b\u5145<\/span>
\nint<\/span> fill_hidden_singles<\/span>(<\/span>)<\/span> {<\/span>
\n int<\/span> total_filled =<\/span> 0<\/span>;<\/span>
\n int<\/span> has_change;<\/span><\/p>\n

\/\/ \u5faa\u73af\u76f4\u5230\u4e00\u8f6e\u904d\u5386\u4e2d\u6ca1\u6709\u586b\u5145\u4efb\u4f55\u9690\u6027\u552f\u4e00\u6570<\/span>
\n do<\/span> {<\/span>
\n has_change =<\/span> 0<\/span>;<\/span><\/p>\n

int<\/span> filled_box =<\/span> fill_hidden_single_in_boxes<\/span>(<\/span>)<\/span>;<\/span>
\n int<\/span> filled_row =<\/span> fill_hidden_single_in_rows<\/span>(<\/span>)<\/span>;<\/span>
\n int<\/span> filled_col =<\/span> fill_hidden_single_in_cols<\/span>(<\/span>)<\/span>;<\/span><\/p>\n

int<\/span> current_filled =<\/span> filled_box +<\/span> filled_row +<\/span> filled_col;<\/span>
\n if<\/span> (<\/span>current_filled ><\/span> 0<\/span>)<\/span> {<\/span>
\n has_change =<\/span> 1<\/span>;<\/span>
\n total_filled +=<\/span> current_filled;<\/span>
\n }<\/span><\/p>\n

}<\/span> while<\/span> (<\/span>has_change)<\/span>;<\/span><\/p>\n

return<\/span> total_filled;<\/span>
\n}<\/span><\/p>\n

\u5e76\u544a\u77e5\u4e86\u8c03\u7528\u4f4d\u7f6e\u3002 \u96c6\u6210\u5230\u539f\u6709\u6d41\u7a0b \u5728\u539f\u6709fill_unique_candidates\u4e4b\u540e\u8c03\u7528\u8be5\u51fd\u6570，\u5f62\u6210\u5b8c\u6574\u7684\u9884\u5904\u7406\u6d41\u7a0b：<\/p>\n

\/\/ \u7b2c\u4e00\u6b65：\u586b\u5145\u552f\u4e00\u5019\u9009\u6570（\u663e\u6027\u552f\u4e00）<\/span>
\nfill_unique_candidates<\/span>(<\/span>)<\/span>;<\/span>
\n\/\/ \u7b2c\u4e8c\u6b65：\u586b\u5145\u9690\u6027\u552f\u4e00\u6570<\/span>
\nfill_hidden_singles<\/span>(<\/span>)<\/span>;<\/span>
\n\/\/ \u7b2c\u4e09\u6b65：DFS\u6c42\u89e3\u5269\u4f59\u90e8\u5206<\/span>
\nif<\/span> (<\/span>!<\/span>is_sudoku_complete<\/span>(<\/span>)<\/span>)<\/span> {<\/span>
\n solve_sudoku_dfs<\/span>(<\/span>)<\/span>;<\/span>
\n}<\/span><\/p>\n

\u5408\u5e76\u540e\u7684\u4ee3\u7801\u7f16\u8bd1\u6267\u884c<\/p>\n

gcc cand.c -o cand -O3
\nroot@66d4e20ec1d7:\/par\/1224\/0112# .\/cand
\n000000003001005600090040070000009050700000008050402000080020090003500100600000000
\n\u586b\u5145\u5bab\u9690\u6027\u552f\u4e00\u6570: \u4f4d\u7f6e(5,5) = 5
\n000000003001005600090040070000009050700050008050402000080020090003500100600000000,59
\n000000010400000000020000000000050407008000300001090000300400200050100000000806000
\n\u586b\u5145\u5bab\u9690\u6027\u552f\u4e00\u6570: \u4f4d\u7f6e(5,9) = 1
\n\u586b\u5145\u5bab\u9690\u6027\u552f\u4e00\u6570: \u4f4d\u7f6e(7,6) = 5
\n\u586b\u5145\u5bab\u9690\u6027\u552f\u4e00\u6570: \u4f4d\u7f6e(8,6) = 9
\n\u586b\u5145\u5bab\u9690\u6027\u552f\u4e00\u6570: \u4f4d\u7f6e(9,7) = 1
\n\u586b\u5145\u884c\u9690\u6027\u552f\u4e00\u6570: \u4f4d\u7f6e(4,6) = 1
\n…
\n\u586b\u5145\u5217\u9690\u6027\u552f\u4e00\u6570: \u4f4d\u7f6e(1,3) = 3
\n693784512487512936125963874932651487568247391741398625319475268856129743274836159,0
\n\u603b\u8ba1\u5904\u7406\u6570\u72ec\u6570\u91cf：2
\n\u5b8c\u5168\u89e3\u51b3\u7684\u6570\u72ec\u6570\u91cf：1<\/p>\n

17\u4e2a\u5df2\u77e5\u6570\u7684\u96be\u9898\u6709\u5f88\u591a\u53ef\u4ee5\u53ea\u7528\u4e24\u79cd\u552f\u4e00\u6570\u89e3\u51b3\u3002<\/p>\n

time .\/cand < sudoku17.txt >17out.txt
\n\u603b\u8ba1\u5904\u7406\u6570\u72ec\u6570\u91cf：49151
\n\u5b8c\u5168\u89e3\u51b3\u7684\u6570\u72ec\u6570\u91cf：17376<\/p>\n

real0m6.511s
\nuser0m6.468s
\nsys0m0.032s<\/p>\n

\u4ece\u89e3\u51b3\u95ee\u9898\u7684\u6570\u91cf\u65f6\u95f4\u6765\u8bf4，\u5df2\u7ecf\u8d85\u8fc7\u4e86MRV+DFS\u7684\u6548\u7387\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"

\u5728\u67e5\u770b\u7a0b\u5b81\u5148\u751f\u7684SQL\u4e2d\u95f4\u8fc7\u7a0b\u65f6，\u53d1\u73b0\u4ed6\u4e00\u8f6e\u8fed\u4ee3\u586b\u5145\u7684\u552f\u4e00\u6570\u8981\u6bd4\u6211\u81ea\u5df1\u7684\u7a0b\u5e8f\u591a\u5f88\u591a，\u4ee5\u4e0b\u9762\u6570\u636e\u4e3a\u4f8b id | iteration | puzzle | result
\n—————————————1001 | 0 | …….1.| 000000010| | 4……..| 400000000| | .2…….<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[174,68,50,190,427,1252],"topic":[],"class_list":["post-60994","post","type-post","status-publish","format-standard","hentry","category-server","tag-c","tag-deepseek","tag-50","tag-190","tag-427","tag-1252"],"yoast_head":"\n\u5229\u7528\u8c46\u5305\u8f85\u52a9\u7f16\u5199\u6570\u72ec\u9690\u5f0f\u552f\u4e00\u6570\u586b\u5145c\u7a0b\u5e8f - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.wsisp.com\/helps\/60994.html\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u5229\u7528\u8c46\u5305\u8f85\u52a9\u7f16\u5199\u6570\u72ec\u9690\u5f0f\u552f\u4e00\u6570\u586b\u5145c\u7a0b\u5e8f - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\" \/>\n<meta property=\"og:description\" content=\"\u5728\u67e5\u770b\u7a0b\u5b81\u5148\u751f\u7684SQL\u4e2d\u95f4\u8fc7\u7a0b\u65f6，\u53d1\u73b0\u4ed6\u4e00\u8f6e\u8fed\u4ee3\u586b\u5145\u7684\u552f\u4e00\u6570\u8981\u6bd4\u6211\u81ea\u5df1\u7684\u7a0b\u5e8f\u591a\u5f88\u591a，\u4ee5\u4e0b\u9762\u6570\u636e\u4e3a\u4f8b id | iteration | puzzle | result ---------------------------------------1001 | 0 | .......1.| 000000010| | 4........| 400000000| | .2.......\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.wsisp.com\/helps\/60994.html\" \/>\n<meta property=\"og:site_name\" content=\"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\" \/>\n<meta property=\"article:published_time\" content=\"2026-01-16T12:41:55+00:00\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 \u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/60994.html\",\"url\":\"https:\/\/www.wsisp.com\/helps\/60994.html\",\"name\":\"\u5229\u7528\u8c46\u5305\u8f85\u52a9\u7f16\u5199\u6570\u72ec\u9690\u5f0f\u552f\u4e00\u6570\u586b\u5145c\u7a0b\u5e8f - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\",\"isPartOf\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/#website\"},\"datePublished\":\"2026-01-16T12:41:55+00:00\",\"dateModified\":\"2026-01-16T12:41:55+00:00\",\"author\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/60994.html#breadcrumb\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.wsisp.com\/helps\/60994.html\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/60994.html#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u9996\u9875\",\"item\":\"https:\/\/www.wsisp.com\/helps\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u5229\u7528\u8c46\u5305\u8f85\u52a9\u7f16\u5199\u6570\u72ec\u9690\u5f0f\u552f\u4e00\u6570\u586b\u5145c\u7a0b\u5e8f\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#website\",\"url\":\"https:\/\/www.wsisp.com\/helps\/\",\"name\":\"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\",\"description\":\"\u9999\u6e2f\u670d\u52a1\u5668_\u9999\u6e2f\u4e91\u670d\u52a1\u5668\u8d44\u8baf_\u670d\u52a1\u5668\u5e2e\u52a9\u6587\u6863_\u670d\u52a1\u5668\u6559\u7a0b\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.wsisp.com\/helps\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41\",\"name\":\"admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery\",\"contentUrl\":\"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery\",\"caption\":\"admin\"},\"sameAs\":[\"http:\/\/wp.wsisp.com\"],\"url\":\"https:\/\/www.wsisp.com\/helps\/author\/admin\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u5229\u7528\u8c46\u5305\u8f85\u52a9\u7f16\u5199\u6570\u72ec\u9690\u5f0f\u552f\u4e00\u6570\u586b\u5145c\u7a0b\u5e8f - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.wsisp.com\/helps\/60994.html","og_locale":"zh_CN","og_type":"article","og_title":"\u5229\u7528\u8c46\u5305\u8f85\u52a9\u7f16\u5199\u6570\u72ec\u9690\u5f0f\u552f\u4e00\u6570\u586b\u5145c\u7a0b\u5e8f - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","og_description":"\u5728\u67e5\u770b\u7a0b\u5b81\u5148\u751f\u7684SQL\u4e2d\u95f4\u8fc7\u7a0b\u65f6，\u53d1\u73b0\u4ed6\u4e00\u8f6e\u8fed\u4ee3\u586b\u5145\u7684\u552f\u4e00\u6570\u8981\u6bd4\u6211\u81ea\u5df1\u7684\u7a0b\u5e8f\u591a\u5f88\u591a，\u4ee5\u4e0b\u9762\u6570\u636e\u4e3a\u4f8b id | iteration | puzzle | result ---------------------------------------1001 | 0 | .......1.| 000000010| | 4........| 400000000| | .2.......","og_url":"https:\/\/www.wsisp.com\/helps\/60994.html","og_site_name":"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","article_published_time":"2026-01-16T12:41:55+00:00","author":"admin","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"admin","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"3 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.wsisp.com\/helps\/60994.html","url":"https:\/\/www.wsisp.com\/helps\/60994.html","name":"\u5229\u7528\u8c46\u5305\u8f85\u52a9\u7f16\u5199\u6570\u72ec\u9690\u5f0f\u552f\u4e00\u6570\u586b\u5145c\u7a0b\u5e8f - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","isPartOf":{"@id":"https:\/\/www.wsisp.com\/helps\/#website"},"datePublished":"2026-01-16T12:41:55+00:00","dateModified":"2026-01-16T12:41:55+00:00","author":{"@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41"},"breadcrumb":{"@id":"https:\/\/www.wsisp.com\/helps\/60994.html#breadcrumb"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.wsisp.com\/helps\/60994.html"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.wsisp.com\/helps\/60994.html#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u9996\u9875","item":"https:\/\/www.wsisp.com\/helps"},{"@type":"ListItem","position":2,"name":"\u5229\u7528\u8c46\u5305\u8f85\u52a9\u7f16\u5199\u6570\u72ec\u9690\u5f0f\u552f\u4e00\u6570\u586b\u5145c\u7a0b\u5e8f"}]},{"@type":"WebSite","@id":"https:\/\/www.wsisp.com\/helps\/#website","url":"https:\/\/www.wsisp.com\/helps\/","name":"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","description":"\u9999\u6e2f\u670d\u52a1\u5668_\u9999\u6e2f\u4e91\u670d\u52a1\u5668\u8d44\u8baf_\u670d\u52a1\u5668\u5e2e\u52a9\u6587\u6863_\u670d\u52a1\u5668\u6559\u7a0b","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.wsisp.com\/helps\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41","name":"admin","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/image\/","url":"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery","contentUrl":"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery","caption":"admin"},"sameAs":["http:\/\/wp.wsisp.com"],"url":"https:\/\/www.wsisp.com\/helps\/author\/admin"}]}},"_links":{"self":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts\/60994","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/comments?post=60994"}],"version-history":[{"count":0,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts\/60994\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/media?parent=60994"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/categories?post=60994"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/tags?post=60994"},{"taxonomy":"topic","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/topic?post=60994"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}