cspuz-solver

このソルバーについて

上のフォームにぱずぷれ / puzz.link の URL を入れて Solve ボタンを押すと、解答が下に表示されます。 このソルバーはあなたのマシンの CPU を使って計算を行うため、タイムアウトがなく無制限に時間を使って解答させることもできます。 そのため、理屈上はどんな問題でも解けるはずですが、あまりに盤面が大きい問題などではメモリを大量に消費したり、それに起因するエラーで停止してしまうこともあります。 解答に時間がかかる場合は Stop ボタンを押すと途中で止めることもできます。

目安としては、ヤジリン、スリザーリンク、へやわけは 17x17 以下、ぬりかべは 10x10 以下であれば数秒以内に解けることが多いようです。(問題に大きく依存します) スラロームは問題によっては 10x10 でも長時間かかることがあります。

このソルバーは、問題を「解ける限り」解きます。 つまり、複数解がある場合でも、すべての解に共通して決定する線、マスなどをすべて決定します。

現在、ぬりかべ / スリザーリンク / ヤジリン / へやわけ / スラローム に対応しています。 ただし、4 や ? の入ったスリザーリンク、空ヒントの入ったヤジリンなどには未対応です。

技術詳細

制約充足問題 (CSP) を用いてペンシルパズルを解くための Python ライブラリ cspuzTypeScript 移植版 を用いてパズルを自動解答します。

cspuz 内部では csugar を CSP ソルバーとして使用しています。これは Sugar CSP ソルバーを C++ に移植したものですが、パズル自動解答の性能を高めるための改良が含まれています。

免責事項

このソルバーを使用することによって生じたいかなる問題についても、作者は責任を負わないものとします。