| 研究課題/領域番号 |
13780207
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
宇野 毅明 国立情報学研究所, 情報学基礎研究系, 助教授 (00302977)
|
|---|
| 研究期間 (年度) |
2001 – 2002
|
| 研究課題ステータス |
完了 (2002年度)
|
| 配分額 *注記 |
1,700千円 (直接経費: 1,700千円)
2002年度: 800千円 (直接経費: 800千円)
2001年度: 900千円 (直接経費: 900千円)
|
|---|
| キーワード | 列挙 / アルゴリズム / 離散 / 組合せ / 計算量 / ならし解析 / マッチング / ハイパーグラフ双対 / 高速化 / 極大マッチング / 極小被覆 |
|---|
| 研究概要 |
今年度の研究は、平面三角分割と極大マッチングとクリークの列挙アルゴリズムである。どのアルゴリズムも、既存のアルゴリズムに、これまでにはない技法を開発したことにより、計算時間の大幅な短縮に成功している。
最初の成果は平面3角分割の仕方を列挙するアルゴリズムの改良である。この問題に対するアルゴリズムはすでに提案されているが、出力の重複を避ける部分が難しいために計算が複雑になり、多くの計算時間を要する結果になっている。今回の研究では、このような平面のグラフ構造の列挙時に出力の重複を避けるための、一般的な手法を開発し、平面3角分割列挙のアルゴリズムに適用した。この結果、計算量を従来のものよりも下げることに成功した。
次の成果は、極大2部マッチングを列挙するアルゴリズムの開発である。この問題は既存の、極大クリークを列挙するアルゴリズムを用いると解けるが、計算時間が大きくなる。今回の研究では、極大マッチングに特化したアルゴリズムを開発し、また、このようなタイプの列挙アルゴリズムの反復数を減少する方法を開発した。その結果、既存のアルゴリズムよりも大幅に計算量を減少させることができた。
最後の成果は、極大クリークを列挙するアルゴリズムである。この問題に対しては、すでにアルゴリズムが提案されているが、問題が大きくなると非常に時間がかかるようになる。今回の研究では、このような極大なクリークや2部クリークなどの列挙アルゴリズムに対する、大規模かつ疎な問題での高速化手法を考案した。この結果、既存のアルゴリズムでは、何ヶ月もかかるような計算が10分ほどでできるようになった。また、この研究の副産物として、極大クリーク、および準クリークを1つ求める高速アルゴリズムが開発された。これも、実際に使われているアルゴリズムよりも大幅に高速であり、現実問題への適用を進めている。
|
