2014年6月5日木曜日

25x25 数独ソルバ

25x25数独は、変数数、式数で以下の通りとなりました。
32607 154556
これぐらいだと、ナーススケジューリング問題の典型的な規模になります。
さすがに、解の出力速度は、遅くなり0.8 sec/1解/Thread/となりましたが
ブランクの数独を連続的に解くスピードは、世界最高の可能性があります。
 
シフトを25個定義しています。
解を10個出力しています。


 


Excelに解を貼り付けてソルバを検証しています。






 



0 件のコメント:

コメントを投稿

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