今回の年末年始になにか新しいことをしてみようとイラロジを解くソフトを作ってみることにしました。
案外いい感じになって、LogiNekoの5倍以上くらい速くて、精度が高くて、背理法で3回まで仮定してくれるソフトになりました。
ソースの中身はヘッダファイル？にすべての実装を書いた素人丸出しのものです。
ですが私が鬱という名前で投稿した問題なら難易度8や9の問題も含めて全て複数解なしと判定しながら結果表示してくれます。
Github？とかいうとこに公開してみたけど、一週間くらい経ってもまだ一人も来ないので悲しい感じです。
Releaseに実行ファイルのzipも置いてあるはずです。
本当に興味のある方は探してみてください。

LogiNekoと一緒に使っていただいて、問題作成・・・難問作成の一助になると嬉しいですね。

入力形式を合わせていただけたので、コピペであっさり組み込めました。
サンプルで何問か動かしてみましたが、たしかにプロ向けの問題も解を見つけ出せるので
チェックの精度が上がりそうです。ありがとうございます。

おー、こちらこそありがとうございます。
これで少しは使ってもらえてうちのソフトも成仏できるでしょう。

前のスクリプトは中級・上級あたりから解けなくなったりエラーが多くなったりしてたので、
難問には間違いなく強くなると思います。

ただあの子は厳密さを愛しているので、
複数解の要因がたくさんあると全く解けなくなる事もあります。
まぁ、あの子に解けないような問題は反省すべきなのでしょう。

複数解チェックが爆速になってて仰天しました。　　　すごいですねー。

　　　じつは、ご紹介のサイトを探してちらっと覗かせていただきましたが、
　　　よく分からなくて退散しました。<(_ _)>
　　　もっともわたしはLogiNekoで解ける程度のモノしか作らないので
　　　自分で動かしてみようとまでは思ってなかったし、使えるスキルもありません。


前のは、遅いなりに解く過程が見えるおもしろさもありましたが、
今回のは速解なので、
掛かった時間をちょっと難易度の目安にしようかと思います。
LogiNekoの計算ログは必ずしも難易度を反映していないみたいですしね。


ともかく、ソフトの出来への賛辞と
複数解チェック改良への感謝です。　ありがとうございました。

わざわざありがとうございます。
趣味として手を出してみただけでしたが、
感想をいただけてやっと形になった気がして嬉しいですね。

難易度は、人にとっての難易度とソフトにとっての難易度は
かなり違うなぁというのが私の印象です。
あとブラウザ版は速度があまり安定しないですね。
chromeでやってみると最初の一回だけ遅かったり・・・

とにかく解析時間だけでは難易度は分からないかなぁという気がします。

頂いたソフトを動作チェックしていた時、正解者コメント欄に
『24時間解析しても解答出ず』のように書いてあった問題でさえ数秒で解析できたので、
驚きを通り越して笑いが出てしまったのを覚えています。本当に爆速ですね。

難易度については、探索したSTEP数とか、背理法を使った回数とか
何かしらデータがあると参考になるかもしれませんね。
（・・・と言って、しれっとリクエストしてみる^^）

思いつきで言っているので、実際に参考になるか分かりませんが。

スパム投稿があまりに多く、他の記事がすべて過去ログに流れてしまいました。掲示板変えようかな・・・。