| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2007-12-17 17:00 対話型埋込みによる数独問題の設計ツール ○馬野洋平・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大）  SS2007-50 |
|
| 抄録 | （和） | 近年，論理式の充足可能性判定ツール(SATソルバ)の高速化が進み，これを利用した数独パズルの解法が提案されている． 本稿では，この解法を応用して試作した，対話的に数独パズルの問題を作成するツールについて報告する． このツールでは，「セルに埋めても矛盾を生じない数字の表示」・「削除しても問題が一意性を保つセルの表示」・ 「問題を手筋のみで解ける範囲の図示」の三つの主要機能を実装している． 前者二つの機能は，SATソルバを利用した解法を応用して問題の矛盾・解の一意性を高速に検出することにより実現している． |
| （英） | In recent years, efficient SAT solvers, which decide satisfiability of boolean formulae, have been developed and used in solving Sudoku puzzles. In this paper, we present the interactive tool for designing Sudoku puzzles that we constructed experimentally by using a SAT solver. This tool contains three main functions: `displaying numbers that can be filled in a cell without a contradiction', `displaying cells without contributing the uniqueness', `displaying a partial solution obtained by fundamental techniques.' The implementation of the former two functions relies on efficient checks of a contradiction or uniqueness of the given problem by using a SAT solver. |
|
| キーワード | （和） | 問題作成 / 充足可能性 / SATソルバ / / / / / |
| （英） | problem creation / satisfiability / SAT solver / / / / / | |
| 文献情報 | 信学技報, vol. 107, no. 392, SS2007-50, pp. 73-78, 2007年12月. | |
| 資料番号 | SS2007-50 | |
| 発行日 | 2007-12-10 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2007-50 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2007-12-17 - 2007-12-18 |
| 開催地（和） | 島根大学 |
| 開催地（英） | Shimane Univ. |
| テーマ（和） | 一般 |
| テーマ（英） | general |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2007-12-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 対話型埋込みによる数独問題の設計ツール |
| サブタイトル（和） | |
| タイトル（英） | A tool for designing Sudoku problems by interactive fill-in approach |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 問題作成 / problem creation |
| キーワード(2)（和/英） | 充足可能性 / satisfiability |
| キーワード(3)（和/英） | SATソルバ / SAT solver |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 馬野 洋平 / Yohei Umano / ウマノ ヨウヘイ |
| 第1著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Uni.) |
| 第2著者 氏名（和/英/ヨミ） | 酒井 正彦 / Masahiko Sakai / サカイ マサヒコ |
| 第2著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Uni.) |
| 第3著者 氏名（和/英/ヨミ） | 西田 直樹 / Naoki Nishida / ニシダ ナオキ |
| 第3著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Uni.) |
| 第4著者 氏名（和/英/ヨミ） | 坂部 俊樹 / Toshiki Sakabe / サカベ トシキ |
| 第4著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Uni.) |
| 第5著者 氏名（和/英/ヨミ） | 草刈 圭一朗 / Keiichirou Kusakari / クサカリ ケイイチロウ |
| 第5著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Uni.) |
| 講演者 | 第1著者 |
| 発表日時 | 2007-12-17 17:00:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | SS2007-50 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | no.392 |
| ページ範囲 | pp.73-78 |
| ページ数 | 6 |
| 発行日 | 2007-12-10 (SS) |
[研究会発表申込システムのトップページに戻る]