Cの数独ソルバー Cの数独ソルバーは、演繹的なロジックを使用してSU Dokuパズルを解くC言語で書かれたコンソールベースのLinuxプログラムです。
今すぐダウンロード

Cの数独ソルバー ランキングとまとめ

Cの数独ソルバー タグ

ソルバー 数独 数独ソルバー パズルソルバー 演繹的ロジック

Cの数独ソルバー 説明

CのSudokuソルバーは、演繹ロジックを使用してSU Dokuパズルを解くC言語で書かれたコンソールベースのLinuxプログラムです。 CのSudokuソルバーは、演繹ロジックを使用してSU Dokuパズルを解くC言語で書かれたコンソールベースのLinuxプログラムです。それは、演繹的な動きを排出する際の試行錯誤およびバックトラッキングアプローチに頼るでしょう。パズルは、パズルシンボルの（ASCII）文字1から9を使用して標準の9x9品種でなければなりません。パズルは81文字の文字列として送信されるべきであるため、左から右への読み取りが9 x 9の数独グリッドを左から右に、最上位から下へ埋めることになります。パズルの仕様では、文字1 - 9はパズルの景色や手がかりを表します。他の非空白文字は未解決のセルを表します。パズル解決アルゴリズムは家の成長です。私は文学からの通常の技術のいずれかを借りませんでした。ドナルドナイトの「ダンスリンク」代わりに、私は自分自身をスクラッチから個人的な課題として転がしました。そのように、そのパフォーマンスはあなたの本当にあなたのためにのみ非難されることができます。それでも、私はそれがかなり速いと感じます。 333 MHz Pentium II Linux Boxでは、約800マイクロ秒または毎秒約1,200パズルで典型的な中間力パズルを解き、与える、または服用します。 Athlon XP 3000には、それは1秒あたり約6,600パズルを解く。 （解決時間は難易度に依存する、SOYMMV。）アルゴリズムの説明：パズルアルゴリズムは最初はすべての未解決のセルが可能な値をとることができるすべての未解決のセルを想定しています。次に、各セルに利用可能な選択肢を絞り込むためにギブンズの配置を使用します。私はこれをこのマークアップフェーズを呼び出します。マークアップが完了したら、アルゴリズムは、行、列、または3×3領域によって課される制約のために、1つの可能な値のみをとるかもしれない値を持つシングルトンセルを探します。これらのセルに値が割り当てられると、アルゴリズムはマークアップフェーズに戻り、これらの変更を残りの候補ソリューションに適用します。マークアップ/シングルトンフェーズは、それ以上の変更が発生しなくなるか、またはパズルが解かれることができます。私はマークアップ/シングルトン除去ループを呼び出します。アルゴリズムの単純なソルバー部分がソリューションを生成しない場合、より高度な演繹規則が適用されます。演繹パズルソルバーの一部として2つの追加の規則を実施しました。 1つ目は、x個の整合候補ソリューションを用いてx個のセル数に対して行/列/領域が走査されるサブセット除去である。そのようなサブセット（またはタプル）が行、列、または領域に見つかった場合、サブセットからの候補値は、それぞれ行、列、または領域内の他のすべての未解決のセルから排除されてもよい。次の演繹規則はそれぞれを調べる。単一の行または列に沿って自分自身を排他的に整列させる候補値を探している領域。そのような候補値が見つかった場合、それらは整列された行または列の一部である領域の外側のセルから削除されてもよい。これは、その高度な規則がある場合には、すべての高度な演繹規則がすべての先行措置規則を呼び出すことができます。パズルマークアップの変化を効果的にします。作業コピーが私たちのパズルから作成され、このコピーを使って最初のセルが最小の数の候補ソリューションを選択します。ソリューション値の1つがそのセルに割り当てられ、ソルバーアルゴリズムはこの作業コピーを開始点として使用して呼び出されます。最終的には、解決策、またはインパスのどちらかに達しています。解決策が見つかった場合（任意の時点で）解決策の値がリストに追加されます。やはり、すべての可能性を調べている限り、再帰は次の試行を試みることができるように巻き戻します。このようにして、複数の解決策を有するパズルを列挙する。適用された演繹規則のリストを追加することが確実に可能であることがわかった。 「X翼」と「メカジキ」として知られている技術は心に留まります。一方、これらの追加規則を追加すると、すべての可能性において、非常に少ない結果を生み出しながら、コンピュータの負担を追加することによってソルバーを下げます。私は既存の規則のいくつかでさえ、収益を減らす法則を見ました。サブセットの排除では、それを劣化したパフォーマンスよりもさらに新しいことを取っています。再利用可能なオブジェクトモジュールとして。・パズルスコアリングシステムが改善されました、そして早い分岐を引き起こしたバグが修正されました。

Cの数独ソルバー 関連ソフトウェア