25x25 数独ソルバ

25x25数独は、変数数、式数で以下の通りとなりました。

32607 154556

これぐらいだと、ナーススケジューリング問題の典型的な規模になります。

さすがに、解の出力速度は、遅くなり0.8 sec/1解/Thread/となりましたが

ブランクの数独を連続的に解くスピードは、世界最高の可能性があります。

 

シフトを２５個定義しています。

解を１０個出力しています。


 



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