研究課題/領域番号 |
20K11676
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60010:情報学基礎論関連
|
研究機関 | 豊橋技術科学大学 |
研究代表者 |
藤戸 敏弘 豊橋技術科学大学, 工学(系)研究科(研究院), 教授 (00271073)
|
研究分担者 |
藤原 洋志 信州大学, 学術研究院工学系, 教授 (80434893)
|
研究期間 (年度) |
2020-04-01 – 2025-03-31
|
研究課題ステータス |
交付 (2023年度)
|
配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2022年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2021年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2020年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
|
キーワード | 頂点除去問題 / パワー頂点被覆問題 / 部分頂点被覆問題 / 次数制限除去問題 / 帰還点集合問題 / 恒久的辺支配集合問題 / 恒久的連結辺支配集合問題 / 近似アルゴリズム / 有向グラフ / 辺支配集合問題 / 要節点 / 迂回度 / 辺支配集合 / bマッチング / power被覆 / 恒久的被覆問題 / 連結頂点被覆 / 弦グラフ / アルゴリズム設計論 / 準線形時間アルゴリズム |
研究開始時の研究の概要 |
本研究の目標は,ビッグデータの高速情報処理に適合させるために,新たな基準「超高速,高確率かつ高精度」に基づくアルゴリズム設計論を展開することである.中でも,準線形時間内での高確率・高精度計算を可能にする系統的設計技法の開発にフォーカスを当てる.そこで,準線形計算時間という共通の条件下で,以下のテーマを解決することを具体的目標とする. 1. 高精度計算可能な問題の構造解析. 2. 局所アクセスとランダムサンプリングによるアルゴリズム設計の比較検証. 3. 数理計画法をベースとするアルゴリズムの系統的設計法の開発.
|
研究実績の概要 |
・パワー版頂点除去問題の近似について 頂点除去問題とは,グラフ理論からの多くの基本問題を含む問題の総称である.中でも頂点被覆問題はその核となる問題であるが,最近,その拡張版であるパワー頂点被覆問題が導入され,元の問題と同様に,近似比2を保証する多項式時間アルゴリズムが提案されている. 本研究では,他の頂点除去問題についても同様の拡張版を考える.即ち,入力グラフの各辺は重みをもち,そのいずれかの端点に重み以上のパワーを与えることで初めてその辺を被覆できるものとする.この時,被覆された辺すべてを除去すると所望の特性が満たされるよう,グラフの各頂点にパワーを与え,パワーの総和を最小化する問題をパワー頂点除去問題として導入する.本研究では,部分頂点被覆問題,次数制限除去問題,及び帰還点集合問題それぞれのパワー版に対し,従来版に対し知られている最良の近似保証と同じ近似比を保証する近似アルゴリズムを与える. ・辺支配集合問題および連結辺支配集合問題の恒久化について 辺支配集合問題では,入力グラフの辺すべてを支配する最小辺集合を求める問題で,その連結版では,解となる辺集合が連結部分グラフを誘導することが求められる. 本研究では,グラフへの攻撃からグラフを守るために,グラフ(の辺)に守衛を配置する問題について考える.守衛は,辺が攻撃するごとに,その配置を現在地,もしくは隣接辺に移動することができ,攻撃された辺には必ず守衛が配置されなければならない.この時,任意回の任意辺への攻撃からグラフを守り通すために必要な最小守衛数を求めるのが恒久的(連結)辺支配集合問題である.本研究では,いずれの問題もNP困難であることを示した上で,恒久的辺支配集合は2倍,恒久的連結辺支配集合は2倍+1で近似できることを示す.
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
ほぼ計画通りに研究は進んでおり,結果もほぼ得られている. 但し,まだ最終版として十分にまとめきれておらず,成果発表にまで至っていないものがある.
|
今後の研究の推進方策 |
まずは昨年度の研究成果を早急に取りまとめ発表するとともに,それらを発展させつつ, ・数理計画法に基づく系統的設計法の開発 ・近似アルゴリズムの基本技法や確率的ラウンディング法など,他の汎用テクニックの有効性についての検証 などのテーマにも取り組む.
|