対話型埋込みによる数独問題の設計ツール

• 馬野, 洋平

• 酒井, 正彦

• 西田, 直樹

• 坂部, 俊樹

• 草刈, 圭一郎

• UMANO, Yohei

• SAKAI, Masahiko

• NISHIDA, Naoki

• SAKABE, Toshiki

• KUSAKARI, Keiichirou

書誌事項

タイトル別名

• タイワガタ ウメコミ ニ ヨル スウドク モンダイ ノ セッケイ ツール
• A Tool for Designing Sudoku Problems by Interactive Fill-in Approach

抄録

近年,論理式の充足可能性判定ツール(SATソルバ)の高速化が進み,これを利用した数独パズルの解法が提案されている.本稿では,この解法を応用して試作した,対話的に数独パズルの問題を作成するツールについて報告する.このツールでは,「セルに埋めても矛盾を生じない数字の表示」・「削除しても問題が一意性を保つセルの表示」・「問題を手筋のみで解ける範囲の図示」の三つの主要機能を実装している.前者二つの機能は,SATソルバを利用した解法を応用して問題め矛盾・解の一意性を高速に検出することにより実現している.

収録刊行物

• 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス

  電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 107 (392), 73-78, 2007-12

  一般社団法人電子情報通信学会

キーワード

• 問題作成
• 充足可能性
• SATソルバ

詳細情報

• CRID: 1050282813780201856
• NII論文ID: 110006549286
• NII論文ID: 120005527803
• NII書誌ID: AA1123312X
• HANDLE: 2237/21101
• NDL書誌ID: 9328526
• ISSN: 09135685
• Web Site: https://nagoya.repo.nii.ac.jp/records/18997
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I9328526
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles