対話型埋込みによる数独問題の設計ツール
書誌事項
- タイトル別名
-
- タイワガタ ウメコミ ニ ヨル スウドク モンダイ ノ セッケイ ツール
- A Tool for Designing Sudoku Problems by Interactive Fill-in Approach
この論文をさがす
説明
近年,論理式の充足可能性判定ツール(SATソルバ)の高速化が進み,これを利用した数独パズルの解法が提案されている.本稿では,この解法を応用して試作した,対話的に数独パズルの問題を作成するツールについて報告する.このツールでは,「セルに埋めても矛盾を生じない数字の表示」・「削除しても問題が一意性を保つセルの表示」・「問題を手筋のみで解ける範囲の図示」の三つの主要機能を実装している.前者二つの機能は,SATソルバを利用した解法を応用して問題め矛盾・解の一意性を高速に検出することにより実現している.
収録刊行物
-
- 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 107 (392), 73-78, 2007-12
一般社団法人電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050282813780201856
-
- NII論文ID
- 110006549286
- 120005527803
-
- NII書誌ID
- AA1123312X
-
- HANDLE
- 2237/21101
-
- NDL書誌ID
- 9328526
-
- ISSN
- 09135685
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDLサーチ
- CiNii Articles