| Project/Area Number |
17K00006
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Theory of informatics
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
富田 悦次 電気通信大学, その他部局等, 名誉教授 (40016598)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
若月 光夫 電気通信大学, 大学院情報理工学研究科, 助教 (30251705)
西野 哲朗 電気通信大学, 大学院情報理工学研究科, 教授 (10198484)
伊藤 大雄 電気通信大学, 大学院情報理工学研究科, 教授 (50283487)
|
|---|
| Project Period (FY) |
2017 – 2021
|
| Project Status |
Discontinued (Fiscal Year 2021)
|
| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2019: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2018: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2017: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | 最大クリーク / 極大クリーク / 深さ優先探索 / 分枝限定アルゴリズム / 列挙 / 近似アルゴリズム / 時間計算量 / 符号理論 / 分枝限定 / アルゴリズム / 遅延 / 多項式時間 / 最大独立節点集合 / 厳密解法 / 近似解法 / 実働評価 / NP完全問題 / 時間計算量解析 / 多項式時間的可解性 / 実働化評価 / 分枝限定法 |
|---|
| Outline of Annual Research Achievements |
最大クリーク抽出は多くの実応用問題解決に対して有用であるがNP困難問題であり，一般的には求解に非常に長時間を要する．最大クリーク厳密解抽出の分枝限定アルゴリズムに対するこれまでの研究により，最大クリークの近似解が非常に有効に活用出来ることを明らかにしてきた．その近似精度が良くなれば分枝限定はより有効に働く．しかし，近似解抽出のために時間を要すると，総実行時間としては必ずしも短縮とはならず，近似精度と時間との兼ね合いが重要となる．そこで先ず，最大クリーク近似解の抽出を一層高速化し，その上で精度を向上させることにより，総合的に最大クリーク厳密解抽出を効率化した．
続いて，分枝限定のために近似彩色だけでなくMaxSATも用いることにより分枝限定がより強力化されることをこれまでに確認してきたが，MaxSATあるいはその簡略形実行のためのオーバーヘッドの大きさが最大クリーク厳密解抽出総実行時間短縮の妨げとなっていた．これに対しては，MaxSATの簡略形と従来提唱してきていた再番号付け（再彩色）との類似性に着目して両者を融合させることにより，これまでよりも少ないオーバーヘッドによって，有効な分枝限定効果を発揮出来るようにした．さらに，分枝限定アルゴリズムの内部動作は入力グラフの特徴に応じて効率が左右されるため，出来る限り効率がより発揮されるようにと内部動作を適応的に切り替えるようにした．
以上を総合することにより，最大クリーク厳密解抽出のための従来の分枝限定アルゴリズムを有意に高速化することに成功した．
このような最大クリーク厳密解抽出アルゴリズムは，容易に最大クリーク全列挙アルゴリズムへと拡張出来る．これにより，符号理論における最良な多元単一削除訂正符号の構成に関しての新たな知見を得ることが出来た．また，極大クリーク全列挙問題についても理論的，実験的に検討を行い，有効な進展結果を得た．
|
