2014年6月4日水曜日

16x16 数独ソルバ

もコーディングしてみました。Version123までは、シフトの数は12まででしたので、16まで拡張する必要があり、GUIとソルバもこれに対応してみました。
シフトの定義です。内部シンボルはA,B,C,,,ラベルは1,2,3...と定義しています。
9x9数独と同様に16x16数独ソルバは、ブランク数独に対して0.2sec/Thread の速度で、別解を出力することができます。この速度に勝る数独専用ソルバはあるでしょうか?

ソルバが出力した解です。10解を出力しています。
 
Excelでソルバの検証、解をExcelに貼り付けて、数独ブロックの和が136になることを確認しています。


内部の変数と式数は、
8014 38709
でした。この規模の数独だと、未だ通常のナーススケジューリング問題の方が数倍規模が大きいです。

0 件のコメント:

コメントを投稿

注: コメントを投稿できるのは、このブログのメンバーだけです。