SUDOKU

本ページでは，科研費 萌芽, No.19650030「二分決定グラフによる全解表現に基づく数独問題の難易度の定義と問題自動生成法」(代表) H19〜H20年度, 及び, (財) 中山隼科学技術文化財団「二分決定グラフによる全解表現に基づく数独の問題の難易度の定義とそれに基づく問題自動生成法の研究」(代表) H19年度, による成果を公開します．

成果物

研究の過程で開発されたプログラムを公開します．これらは Java で作成されており， ブラウザ上でアプレットとして動作します．

なお，動作には J2SE Runtime Environment 5.0 が必要です．動作しない場合は Sun のサイトからダウンロード，インストールしてから再度お試しください．

• Sudoku Constructor: 問題を作成するためのシステムです(自動ではありません; これを応用した自動生成プログラムも作りましたが，あまり性能が良くないのでここでは公開しません)．
• Sudoku Solver: 与えられた問題によく知られたテクニックを適用して解くソルバーです．

トラブルシュート

「ページを開いてもアプレットが表示されず×マークが表示され，Java コンソールを開くと "java.io.IOException: open HTTP connection failed." というエラーが表示される」という問題が報告されています． この問題には，以下のように対処してください

• Java コントロールパネル (Windows の場合はコントロールパネル > Java，UNIX 系の場合は jcontrol) から，Java の「インターネット一時ファイル」の設定を切る．
• proxy を使っている場合，同様の画面の「ネットワーク設定」を確認する．

前者については，他サイトでは生じない問題のようですので，現在原因を究明中です．一応解消したつもりです． どうしてもうまく動かない場合は，各ページの先頭にダウンロード版を準備しておりますのでお試し下さい (関連付けされている場合はそのまま実行，ターミナルからは "java -jar <jar file>")．

概要

2005年，「数独 (Sudoku)」と呼ばれるペンシルパズルが世界中でブームとなったことは 記憶に新しいことと思います． この数独というパズルは，制約問題という観点から見ても興味深いものであり， そのため世界中の科学者が様々な観点からこのパズルについて研究しています． ただ，それでもまだまだわかっていないことはたくさんあり，更なる発展が望まれるところです．

本研究では，課題名にあるように二分決定グラフと難易度をキーワードとして，数独の様々な側面を解き明かしていくことを目的としています． たとえば，最近関心があることには次のようなことが挙げられます:

• 難易度をその問題の構造からうまく定義できないか？
• 16ヒントの問題は存在するのか？ 存在しないならば実証できないか？
• 数独のそれぞれの解が持つ構造についての研究．

実は，現在のところ二分決定グラフと難易度に関しての決定的な進展はありません(公開しているプログラムでも二分決定グラフは使用していない)． ただ，二分決定グラフは数独に関わる別の問題で使えるかもしれない，と今考えているところです．

Android版 数独ソルバー

JavaSEで書かれたSudoku Constructor, SolverをAndroidに移植しました.

• Android版数独ソルバー

主な機能として

• SE版ConstructorとSolverの実装
• 音声認識による盤面の入力
• 画像認識による盤面の入力

を実装しています。音声認識は、盤面の行・列・入力したい数字を順に話せばその位置に目的の数字が入るようになっています(例えば3行目4列に2であれば、「さん、よん、に」). 画像認識は画像認識モードで、カメラのプレビュー画面をタップすれば、その時写っている数独の盤面をソルバー画面へロードすることができます.

使い方ヘルプ

---

---