数独の推論規則と難易度に関する考察
スポンサーリンク
概要
- 論文の詳細を見る
数独,あるいはナンバープレース,と呼ばれるパズルを多くの人が楽しんでいる。人間がこれを解くときは,コンピュータが探索するように,あらゆる可能性を試してみるようなことはしない。いくつかの推論規則を考えることができ,それによってあるマス目の数字を確定するのである。この問題には様々なレベルがある。問題の難易度は,数字を確定するために,どれだけ高度な推論規則が必要かによって決まるものと考えられる。本発表では,どのような推論規則が使えるのかを整理して,それによってヒントを与えることを試みる。また,各推論規則を適用することがどれくらい困難であるかによって,難易度を判定することを目指す。
- 2006-12-16
著者
関連論文
- 数独の推論規則と難易度に関する考察
- 教材としてのコンピュータグラフィックス
- 命題論理における真理の木の方法の一解釈
- 並列処理とプログラム図式
- ADF(∞) is also equivalent to EF
- 単一化文法に基づく自然言語解析用オブジェクトクラス群「言の葉」
- 構造的音楽記述言語「楽」とそのコンパイラの実現法 : MIDIによる計算機音楽研究用システム
- プログラミングに関する認知科学的研究(2)
- プログラミングに関する認知科学的研究(1)
- 仮想空間における折り紙シミュレーション
- データフロー図式クラスの表現能力 : タイミングに依存するデータフロー図式