| 研究課題/領域番号 |
17K00006
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎理論
|
|---|
| 研究機関 | 電気通信大学 |
|---|
研究代表者 |
富田 悦次 電気通信大学, その他部局等, 名誉教授 (40016598)
|
|---|
| 研究分担者 |
若月 光夫 電気通信大学, 大学院情報理工学研究科, 助教 (30251705)
西野 哲朗 電気通信大学, 大学院情報理工学研究科, 教授 (10198484)
伊藤 大雄 電気通信大学, 大学院情報理工学研究科, 教授 (50283487)
|
|---|
| 研究期間 (年度) |
2017 – 2021
|
| 研究課題ステータス |
中途終了 (2021年度)
|
| 配分額 *注記 |
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2019年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2018年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2017年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | 最大クリーク / 極大クリーク / 深さ優先探索 / 分枝限定アルゴリズム / 列挙 / 近似アルゴリズム / 時間計算量 / 符号理論 / 分枝限定 / アルゴリズム / 遅延 / 多項式時間 / 最大独立節点集合 / 厳密解法 / 近似解法 / 実働評価 / NP完全問題 / 時間計算量解析 / 多項式時間的可解性 / 実働化評価 / 分枝限定法 |
|---|
| 研究実績の概要 |
最大クリーク抽出は多くの実応用問題解決に対して有用であるがNP困難問題であり，一般的には求解に非常に長時間を要する．最大クリーク厳密解抽出の分枝限定アルゴリズムに対するこれまでの研究により，最大クリークの近似解が非常に有効に活用出来ることを明らかにしてきた．その近似精度が良くなれば分枝限定はより有効に働く．しかし，近似解抽出のために時間を要すると，総実行時間としては必ずしも短縮とはならず，近似精度と時間との兼ね合いが重要となる．そこで先ず，最大クリーク近似解の抽出を一層高速化し，その上で精度を向上させることにより，総合的に最大クリーク厳密解抽出を効率化した．
続いて，分枝限定のために近似彩色だけでなくMaxSATも用いることにより分枝限定がより強力化されることをこれまでに確認してきたが，MaxSATあるいはその簡略形実行のためのオーバーヘッドの大きさが最大クリーク厳密解抽出総実行時間短縮の妨げとなっていた．これに対しては，MaxSATの簡略形と従来提唱してきていた再番号付け（再彩色）との類似性に着目して両者を融合させることにより，これまでよりも少ないオーバーヘッドによって，有効な分枝限定効果を発揮出来るようにした．さらに，分枝限定アルゴリズムの内部動作は入力グラフの特徴に応じて効率が左右されるため，出来る限り効率がより発揮されるようにと内部動作を適応的に切り替えるようにした．
以上を総合することにより，最大クリーク厳密解抽出のための従来の分枝限定アルゴリズムを有意に高速化することに成功した．
このような最大クリーク厳密解抽出アルゴリズムは，容易に最大クリーク全列挙アルゴリズムへと拡張出来る．これにより，符号理論における最良な多元単一削除訂正符号の構成に関しての新たな知見を得ることが出来た．また，極大クリーク全列挙問題についても理論的，実験的に検討を行い，有効な進展結果を得た．
|
