| 研究課題/領域番号 |
19K11814
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 東北大学 |
|---|
研究代表者 |
伊藤 健洋 東北大学, 情報科学研究科, 教授 (40431548)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2021年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2020年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2019年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | 組合せ遷移 / グラフアルゴリズム / マッチング |
|---|
| 研究開始時の研究の概要 |
組合せ遷移は，持続的システムや組合せパズルといった多くの動的な状況を数理モデル化し，そのアルゴリズムを理論解析する研究である．本研究では「遷移に必要な最小ステップ数はいくつか？」という最短遷移問題に対し，アルゴリズム手法の開発を目指す．特に，異なるタイプの問題を比較検証することで，最短遷移問題の難しさの本質に迫り，開発したアルゴリズムを基礎手法として汎用化することを目指す．
|
| 研究実績の概要 |
本年度は，Kempeら (2002年) が導入した時間ネットワークの概念において，その関連する遷移問題を研究した．この概念は，分散通信などネットワーク上の時間制約を解析するために導入され，時間ラベル付き有向グラフによって表現される．本研究では，時間制約付き有向全域木を対象とした遷移問題を解析した．これまでの研究に依って，時間制約の条件がない場合には，無向グラフであっても有向グラフであっても，任意の2つの全域木は互いに遷移可能であると知られている．すなわち，これら全域木からなる解空間グラフは常に連結である．加えて，無向・有向のいずれのグラフであっても，全域木の最短遷移問題も多項式時間で解けることが知られている．それとは対照的に，本研究では，時間制約を導入した場合には，解空間グラフは非連結となり得ることをまず示した．次に，そのような解空間グラフであっても，与えられた2つの時間制約付き有向全域木が互いに遷移可能であるかどうか（すなわち，到達判定）が，多項式時間で解けることを示した．その一方で，時間制約がある場合には最短遷移問題がNP困難であることを示し，時間制約の有無に依って計算複雑性が変わるという対比を示すことができた．
本年度は他にも，グラフ上のラベル付きトークン遷移問題に関する研究も行った．この問題では多項式長の遷移系列の存在が示せるため，最短遷移問題が研究対象となる．この問題は，量子プログラムのコンパイラ設計に現れる量子ビットルーティング問題として，これまでも研究されてきた．既存研究では実践的なアプローチが主であったが，本研究では計算複雑性の理論的な解析に取り組み，NP困難性や特殊ケースにおける多項式時間アルゴリズム等を開発した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
グラフに関する最短遷移問題において，これまでに本研究で開発してきたアルゴリズム手法や計算困難性の解析手法を活用して，時間制約付き有向全域木やラベル付きトークン遷移等の最短遷移問題の解析を進めることができた．また，研究成果の取りまとめも進められており，学術雑誌への論文掲載等へと繋がっている．
|
| 今後の研究の推進方策 |
コロナ禍に依る行動制限もなくなったため，海外現地での研究成果の発表を行い，参加者らからのコメントやディスカッション等を得て，本研究の成果をまとめていく予定である．その過程では，本年度のように，新たな（最短）遷移問題への開発手法の活用も試みることで，本研究に依って得られた知見や解析手法を整理していきたい．
|
