| 研究課題/領域番号 |
16092227
|
|---|
| 研究種目 |
特定領域研究
|
| 配分区分 | 補助金 |
|---|
| 審査区分 |
理工系
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
宇野 毅明 国立情報学研究所, 情報学プリンシプル研究系, 准教授 (00302977)
|
|---|
| 研究分担者 |
中野 眞一 群馬大学, 大学院・工学研究科, 教授 (30227855)
松井 泰子 東海大学, 理学部情報数理学科, 講師 (10264582)
岡本 吉央 東京工業大学, 情報理工学研究科, 准教授 (00402660)
清見 礼 北陸先端科学技術大学院大学, 情報科学研究科, 助教
|
|---|
| 研究期間 (年度) |
2004 – 2007
|
| 研究課題ステータス |
完了 (2007年度)
|
| 配分額 *注記 |
12,800千円 (直接経費: 12,800千円)
2007年度: 3,400千円 (直接経費: 3,400千円)
2006年度: 3,000千円 (直接経費: 3,000千円)
2005年度: 3,000千円 (直接経費: 3,000千円)
2004年度: 3,400千円 (直接経費: 3,400千円)
|
|---|
| キーワード | 列挙 / アルゴリズム / 計算量 / 頻出集合 / コーダルグラフ / 数え上げ / 多項式時間 / 実装 / 飽和集合 / 高速化 / グラフ / 木 |
|---|
| 研究概要 |
今年度の研究は、あいまいさを許容した対象を列挙する効率よい手法についての研究を行った。まず、クリークの列挙問題を拡張し、クリークに近い部分グラフを列挙する問題を定式化した。この定式化は以前の物に比べ、冗長な物を含まないという意味で利点があるが計算の上では基礎的なアルゴリズムが使えなくなり不利である。今年度はこの問題に対して、基礎的な方法を単純に用いた場合の困難生を証明し、また別の方法を用いると多項式時間列挙が可能なことを示した。また、実用面での改良を示し、疎なグラフでは短時間で計算が終了することを証明し、実際に実験でもアルゴリズムの実用性を示した。また、この結果をデータマイニングの頻出集合列挙問題に応用し、頻出集合に近いものを列挙する問題を定式化し、多項式時間アルゴリズムを提案した。このほか、データマイニング分野では、極大な頻出シークエンスパターンの多項式時間列挙アルゴリズム、頻出幾何グラフの多項式時間列挙アルゴリズムを開発した。両者共に今まで考えられてこなかったクラスであり、かつその問題に対して飽和パターンの導入に成功し、またその多項式時間列挙アルゴリズムの開発に成功している、グラフアルゴリズムの分野では、連結極大平面グラフの定数時間列挙アルゴリズム、整数分割の定数時間列挙アルゴリズムを新たに開発した。いずれも逆探索を用いた簡潔な列挙手法となっているところが特徴である。また、列挙の手法を応用し、順序木の一様ランダム生成を行う効率良いアルゴリズムの開発にも成功した。
|
