LIX Loop Solver (ver 0.2.0)
LIX Loopのpzprxs, pzplusリンクを入力すると答えを出力します。旧版（ver 0.1.1）はこちら
入力（URLをペーストし、「解く」ボタンを押してください）
推定難易度
詳細な仕様
- このソルバーには、semiexpさんによるSATソルバーであるcspuz_coreを用いています。cspuz-solver2のLIX Loop専用版と考えて頂いて間違いありません。ライセンスの詳細については以下の「License」の項目をご覧ください。
- cspuz-solver2と同様に、複数解がある場合でも、すべての解に共通した線と黒マスを表示します。
- 動作にはあなたのマシン（このページを表示しているマシン）のcpuを使います。解答させた情報がサーバー等に送信・保存されることはありません。
- 解析が60秒以内に終わらない場合は自動的に停止します。また、片辺が100マス以上、または両辺が60マス以上の盤面は計算しません。
- bフラグ（ヒントの背景色をグレーにする）、およびoフラグ（黒マスをループの外側に制限する）に対応しています。
- 推定難易度の表示最低値は1.00で、1.00〜4.99では整数部分が5段階の難易度に対応します。5.00以上はすべて「ハバネロ」で、5.99を超える値は伸びを対数的に圧縮した参考値です。（※実際に解く際の難易度と大きく異なる可能性があります）
- ブックマーク用URLをブックマークに登録し、pzprxs または pzplus の LIX Loop player 上で開くと、このページを新しいタブで開き、解答結果を確認できます。
- 実装には OpenAI Codex を活用しました。
更新履歴
ver 2.0.0: アルゴリズムを変更しました。LIXの最大数判定手法を改善し、Wasmの実行時間ベースで、平均1.7倍、最大5倍程度高速化しました。また、難易度判定アルゴリズムを変更しました。旧ソルバーと比べて難易度評価が大きく（0.5〜0.7程度）変わる問題が稀に存在します。ご了承ください。
ver 0.1.1: 難易度判定が5.99を超えた際に、難易度の伸びを対数的に圧縮した参考値を表示するように変更しました。また、実行時間の60秒制限やサイズ制限を追加しました。
ver 0.1.0: 初公開版
