| 研究課題/領域番号 |
23500025
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 東京理科大学 |
|---|
研究代表者 |
佐藤 洋祐 東京理科大学, 理学部, 教授 (50257820)
|
|---|
| 研究期間 (年度) |
2011 – 2013
|
| 研究課題ステータス |
完了 (2013年度)
|
| 配分額 *注記 |
2,860千円 (直接経費: 2,200千円、間接経費: 660千円)
2013年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2012年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2011年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | ブーリアン・グレブナー基底 / 組み合わせ問題 / 数独問題の難易度 / ブーリアン・グレブナー基 底 |
|---|
| 研究概要 |
本質的に整数演算を含まないような組み合わせ問題の解法に焦点をしぼり、その解法のために必要な、可換代数の理論について、ブーリアン・グレブナー基底を中心に研究をおこなった。その結果、ブーリアン・グレブナー基底が最適な可換代数の手法であることが判明した。
数式処理システムRisa/Asirを用いて実装をおこない、われわれの理論の有効性を確認した。特に、効率的な並列アルゴリズムが構築できることが実証された。
|
