| 研究領域 | 社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化 |
|---|
| 研究課題/領域番号 |
20H05967
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
牧野 和久 京都大学, 数理解析研究所, 教授 (60294162)
|
|---|
| 研究分担者 |
小野 廣隆 名古屋大学, 情報学研究科, 教授 (00346826)
定兼 邦彦 東京大学, 大学院情報理工学系研究科, 教授 (20323090)
河村 彰星 京都大学, 数理解析研究所, 准教授 (20600117)
玉置 卓 兵庫県立大学, 社会情報科学部, 准教授 (40432413)
瀧本 英二 九州大学, システム情報科学研究院, 教授 (50236395)
渋谷 哲朗 東京大学, 医科学研究所, 教授 (60396893)
|
|---|
| 研究期間 (年度) |
2020-11-19 – 2025-03-31
|
| キーワード | アルゴリズム論 / データ構造 |
|---|
| 研究実績の概要 |
本研究課題を大きく１．アルゴリズム研究(AL)，２．データ構造研究(DS)に分ける形で取り組みそれぞれ研究成果を得た．以下１，２の各テーマで得られた結果を概観する．
１．[最適化AL] 牧野は下限付き安定マッチング問題を下限の充足率最大化問題としてとらえ直しその近似比の上下界を与えた．小野はグラフ上の色付きトークンの再配置問題のNP完全性が，ある性質を満たすグラフ群において成立することを示し, また既存の多項式時間アルゴリズムの適用範囲を大幅に拡大した．[論理学的AL]牧野は，関係データベース等への応用のためキーホーン関数を定義した．その最小表現導出がNP困難であることを示し近似アルゴリズムを与えた．玉置は包除原理型指数時間アルゴリズムが有効であるいくつかの計算困難な組合せ問題に対して，論理回路型SATを介する計算量改善が可能であることを示した．[学習論的AL]瀧本は統計的学習問題に関する広範な帰着フレームワークを与えることにより多くの学習問題が複数インスタンス学習問題に帰着できることを示した．また多くのブースティング手法に適用可能なFrank-Wolf法型解釈を与えることにより，収束保証の下での複数の手法を組み合わせを可能とした．[計算論的AL解析] 河村は昇降機などの運行戦略についてオンラインモデル化し，競合比解析を行い従来研究よりも良い戦略や正確な理論的限界を得た．
２．[圧縮DS] 定兼は様々な交差グラフに対する簡潔表現とそのサイズの最適性の証明を統一的に与える手法を考案した．また半順序集合の簡潔表現も与えた．[計算生物学のDS] 渋谷はゲノムワイド相関解析データにおける統計報公開のための差分プライバシー保護手法について離散フーリエ変換に基づく高速・高精度アルゴリズムの開発に成功した．また結晶の分子構造のグラフ構造の特徴のための数え上げ手法を構築した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
成果概要に概観したようにほとんどの研究テーマにおいて，数件以上の新成果が得られ，それらは査読付き論文誌・国際学会会議録として採択に至っている．採択された論文誌・国際会議の多くはハイレベルあるいは定評のあるものがほとんどであり，メンバーがそれぞれ自分の強みを生かしながら活躍していると言える．成果の中には，プライバシー保護分野のトップ国際会議IEEE TrustCom(投稿数509、採択数101)でIEEE Outstanding Paper Awardを受賞するなど国際的にも高い評価を受けたもの[Yamamoto+, 2022]，メンバーの指導する学生がBest Student Paper Awardを受賞したもの[Kiya+, 2023], その他国内学会等での論文賞・発表賞などを受賞したものなどが含まれており，本研究課題推進は若手研究者育成にも強く関与している．
さらに，研究代表者の牧野が「離散列挙アルゴリズムとその応用に関する研究」により文部科学大臣表彰科学技術賞を受賞するなど（本研究課題に深く関連する）研究活動が高く評価されている．
|
| 今後の研究の推進方策 |
次年度(2023年に研究を行う）以降は，過去3年抑制されてきた対面でのミーティング・セミナー等が開催しやすくなると考えられる．このため積極的なメンバー同士の交流を促し，あるいは機会を設定することにより，アルゴリズム論に関する新たなアイデアの融合・創出の可能性を高める．そのような融合における核となりうる研究テーマ例の一部を以下に挙げる：
[最適化アルゴリズム] 小野はPSPACEなどNP完全よりもより高い階層に位置する最適化問題に対するアルゴリズム設計に取り組む．[論理的アルゴリズム]玉置は，論理的アルゴリズム設計の観点から, 論理回路の充足可能性問題に対するアルゴリズムとその応用, 量子版の制約充足問題である局所ハミルトニアン問題に対するアルゴリズムの研究に取り組む予定である. [学習論的アルゴリズム]瀧本は，計算学習理論やオンライン意思決定の理論およびその応用に関する研究に取り組む予定である．
[圧縮データ構造] 定兼は様々なグラフクラスに対する簡潔表現の研究を行う．また，大量の文字列集合を圧縮して保存し，そこから高速に検索するための索引構造についての研究も行う．[計算生物学におけるデータ構造] 渋谷は，生物情報学・医療情報学などで重要とされる問題についてアルゴリズム設計理論の応用を探りながら，より大きなインパクトのある研究をめざし研究を続けていく．
|
