| 研究課題/領域番号 |
21K11755
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 九州工業大学 |
|---|
研究代表者 |
宮野 英次 九州工業大学, 大学院情報工学研究院, 教授 (10284548)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2023年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2022年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2021年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
|
|---|
| キーワード | 組合せ最適化問題 / 計算困難性 / 多項式時間アルゴリズム / 最大独立頂点集合問題 / 最大マッチング問題 / 多項式時間 / 近似アルゴリズム / 指数時間アルゴリズム / マッチング問題 / 埋め込み型最長共通部分列問題 / 初期解 / 最小全域木問題 / 最長共通部分列問題 / k制約付き組合せ最適化問題 / 計算容易性・困難性 / 固定パラメータ容易アルゴリズム / 指数時間厳密アルゴリズム |
|---|
| 研究開始時の研究の概要 |
組合せ最適化問題に対する解法アルゴリズムは，制約条件を満たす実行可能解の中から，目的関数の値を最適にするような解を見つけることが目的となる．従来は制約条件を満たす解をゼロから求めることを仮定しているが，ある程度の解が既に求められており，その解から始めて，より良い更新解を求めることも多い．本研究では，制約条件に加えて，初期解および初期解からの変更数の上限kが入力として与えられたときに，k回以下の変更を初期解に加えることで得られる実行可能解の中で最適な解を求めるk制約付き組合せ最適化問題について，計算容易性・困難性，近似可能性・不可能性，固定パラメータ容易性，指数時間容易性について検討する．
|
| 研究実績の概要 |
組合せ最適化問題に対する解法アルゴリズムは，与えられた制約条件を満たす実行可能解の中から，目的関数の値を最大または最小にするような解を見つけることが目的となる．従来，最適化問題に対するアルゴリズム設計の際には，制約条件を満たす解をゼロから求めることを仮定しているが，実際の場面では，ある程度の解が既に求められており，その解から始めて，より良い更新解を求めることも多い．本研究では，制約条件に加えて，初期解および初期解からの変更制約が与えられた元での組合せ最適化問題を対象に計算容易性・困難性の解明を目標としている．今年度の主要な研究結果は以下である．
(1) 入力としてグラフG，初期解である独立頂点集合S0，初期解から変更可能な頂点数kが与えられたとき，できるだけ頂点数が多くなるような独立頂点集合Sの中で，初期解S0とSの差 |S0 - S| がkで抑えられるようなものを見つける制約付き最大独立頂点集合問題の検討を行った．入力を二部グラフに制限したとしてもNP困難となること，凸型二部グラフに制限した場合には多項式時間アルゴリズムが設計できることを示した．本研究課題で得られた成果を，情報処理学会アルゴリズム研究会，日本オペレーションズリサーチ学会九州支部若手OR研究交流会，第13回 International Conference on Algorithms and Complexity (CIAC2023) などで公表を行った．
(2) 二部グラフと初期のマッチング辺集合が与えられたときに，変更できるマッチング辺の数の上界が与えられたときに，出来るだけ合計が最大となる変更制約付き最大二部マッチング問題について検討を行った．完全二部グラフの場合には多項式時間アルゴリズムが設計できること，一般のグラフに対しては2近似アルゴリズムを設計できることを示した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
現在までの進捗状況は以下である．(1) 変更制約付きの最大独立頂点集合問題については，計算困難になるようなグラフ集合と計算容易となるグラフ集合の構造的な違いがわかってきている．二部グラフについても，頂点順序集合に制約を持つような二部グラフの場合は，その順序を利用することで高速なアルゴリズムが設計できることがわかった．国内研究会や国際会議などで，一部の結果についてはすでに公表ができている．すでに得られている一部の結果については公表が遅れている．(2) 変更制約付きの最大二部マッチング問題については，一般のグラフに対する近似アルゴリズムが設計できた．また，完全二部グラフ集合を包含して，弦二部グラフの部分集合となる両凸二部グラフに対しては多項式時間アルゴリズムを設計できることを示すことができた．これらの結果についてはまだ公表ができていないため，出来るだけ早めに公表を行うように準備を進めている．
|
| 今後の研究の推進方策 |
種々の変更制約付きの組合せ最適化問題について，これまでに得られた研究成果については国内研究会，学会発表会，国際会議等での公表を行った．また，追加で得られた結果についても国内外の研究会や国際会議で公表を行っていく．一部の問題についてはアルゴリズム設計ができているが，より汎用性の高いアルゴリズム設計をおこなうため，今後も，他の研究者からのフィードバックを得ることで研究課題を進めていく．出来るだけ早く国際論文誌としてまとめて，本研究課題達成を目指す．
|
