Grouped AIC への拡張 AICは、「複数マスを1つだと思う」技法によって大幅に拡張されます。そうすると普通にサイクルを見つけるのでは実装が大変なことになりそうですが、グラフを用いるとただ頂点と辺を追加するだけで統一的に解けます。 Grouped AICにおい…

昔作った数独ジェネレータで作りました。 18ヒントしかなくて、これぐらいのヒント数になると大抵簡単になるものですが、かなりどころの騒ぎでなく難しいです。数独ソフトにかけたら、かなり大変な手順になりました。

Core i7-2630QMの4コア使って15時間がんばってようやく1問できました。明らかにプログラムが悪い。あのプログラムは間違った問題を出力しないはずなので、多分解けると思いますが多分絶望的に難しいか面倒です。

以前、http://www.geocities.jp/master_mishichan/という数独の解法をたくさん集めたサイトを見つけました。ここにある解法を、数独ソルバーに組み込んで、ジェネレータを走らせて無理ゲーを大量生産したりしました。ここには、Simple Chain、Remote Pairs、…

JOI夏季セミナーでなぜかスリザーリンクを解くプログラムを作ってしまったので、スリザーリンクをプログラムで解く手法について説明したいと思います。 下準備 人間はスリザーリンクの問題をループの線ベースで考えて解いているが、これはプログラムに実装し…