• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2020 年度 実施状況報告書

組合せ遷移による常時稼働型システムの構成最適化

研究課題

研究課題/領域番号 20K11666
研究機関東北大学

研究代表者

鈴木 顕  東北大学, 情報科学研究科, 准教授 (10723562)

研究期間 (年度) 2020-04-01 – 2023-03-31
キーワード組合せ遷移 / グラフアルゴリズム / 最適化遷移
研究実績の概要

本年度は本研究計画の1つ目の目標である「現実的な時間でより良い解を求めるアルゴリズムの開発」を中心に従事した.中でも大きな成果は独立点集合の最適化遷移問題を扱ったものであり,縮退数や解サイズをパラメータとした複雑性の解析や,平面グラフや木幅制限グラフといったグラフクラスに基づく困難性の解析を行った.これらの研究は,研究計画書の「準備状況」の項目で「独立点集合問題(中略)遷移最適化の観点からアプローチをしており,いくつかの結果が出始めている.」と述べていた結果を更にブラッシュアップしたものであり,既に査読付き学術雑誌Journal of Combinatorial Optimizationに採択されるなど,業績としても認められ始めている.
独立点集合問題以外に,彩色遷移問題の最適化遷移問題も扱った.こちらは現在問題の難しさを解析している最中であり,まだ具体的なアルゴリズムの開発には至っていなかったものの,様々な知見を得ることに成功しており,来年度はこれらの知見を基に高速なアルゴリズムの開発を行っていきたい.
本研究計画開始前から交流のあった海外の研究者との研究も継続して行っている.新型コロナウイルス蔓延の影響で実際に会って研究を進めることはできなかったが,ビデオ会話ソフトであるZoomなどを利用し,定期的に研究打合せを行った.その結果,例えばフランスの研究者と,物理学のミキシングタイムとも関連の深いケンペ鎖に関する遷移問題を扱った研究を行ったり,ドイツの研究グループと非決定性制約論理のパラメータ複雑性を解析したりすることができた.他にも,全域木遷移問題や独立点集合遷移問題に対しても様々な成果が得られた.現在はフィードバック頂点集合問題に関する遷移問題に関して討論を進めており,こちらも結果が出始めている.

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

1. 独立点集合の最適化遷移問題に対して,大きな成果を得ることが出来た.
2. 具体的なアルゴリズムの開発には至らなかったものの,頂点彩色の最適化遷移問題に対して様々な知見を得ることができた.
3. 国内外の研究者とのオンライン交流を通して,様々な遷移問題に対して結果を得ることができた.
以上のことから,本研究計画はおおむね順調に進んでいると判断した.

今後の研究の推進方策

本年度得られた結果は順次論文にまとめていき,国際会議での発表や,学術雑誌への投稿を目指す.
「研究実績の概要」でも述べた,本年度得られた彩色遷移問題の最適化遷移問題に対する知見を基に高速なアルゴリズムの開発を目指す.
また,ここまで得られた成果を基に本研究の2つ目の目標である「利便性の高いプログラムの実装」にも着手していきたい.

次年度使用額が生じた理由

(理由)
新型コロナウイルス蔓延の影響で予定通りに旅費を使うことができなかったため.
(使用計画)
旅費以外の予算については予定通りに執行していく.旅費については,新型コロナウイルスの影響が収束し次第,次年度分と合わせて有効に利用していく.

  • 研究成果

    (14件)

すべて 2021 2020 その他

すべて 国際共同研究 (3件) 雑誌論文 (7件) (うち国際共著 6件、 査読あり 7件、 オープンアクセス 2件) 学会発表 (3件) (うち国際学会 3件) 備考 (1件)

  • [国際共同研究] パリ大学/リヨン1大学/ボルドー大学(フランス)

    • 国名
      フランス
    • 外国機関名
      パリ大学/リヨン1大学/ボルドー大学
  • [国際共同研究] ドルトムント工科大学/フリードリヒ・アレクサンダー大学エアランゲン=ニュルンベルク(ドイツ)

    • 国名
      ドイツ
    • 外国機関名
      ドルトムント工科大学/フリードリヒ・アレクサンダー大学エアランゲン=ニュルンベルク
  • [国際共同研究] ウォータールー大学(カナダ)

    • 国名
      カナダ
    • 外国機関名
      ウォータールー大学
  • [雑誌論文] Trichotomy for the reconfiguration problem of integer linear systems2021

    • 著者名/発表者名
      Kei Kimura and Akira Suzuki
    • 雑誌名

      Theoretical Computer Science

      巻: - ページ: -

    • 査読あり
  • [雑誌論文] Incremental optimization of independent sets under the reconfiguration framework2021

    • 著者名/発表者名
      Takehiro Ito, Haruka Mizuta, Naomi Nishimura and Akira Suzuki
    • 雑誌名

      Journal of Combinatorial Optimization

      巻: - ページ: -

    • 査読あり / 国際共著
  • [雑誌論文] Diameter of colorings under Kempe changes2020

    • 著者名/発表者名
      Bonamy Marthe、Heinrich Marc、Ito Takehiro、Kobayashi Yusuke、Mizuta Haruka、M?hlenthaler Moritz、Suzuki Akira、Wasa Kunihiro
    • 雑誌名

      Theoretical Computer Science

      巻: 838 ページ: 45~57

    • DOI

      10.1016/j.tcs.2020.05.033

    • 査読あり / 国際共著
  • [雑誌論文] Parameterized complexity of independent set reconfiguration problems2020

    • 著者名/発表者名
      Takehiro Ito, Marcin Kaminski, Hirotaka Ono, Akira Suzuki, Ryuhei Uehara and Katsuhisa Yamanaka
    • 雑誌名

      Discrete Applied Mathematics

      巻: 283 ページ: 336~345

    • DOI

      10.1016/j.dam.2020.01.022

    • 査読あり / 国際共著
  • [雑誌論文] Decremental optimization of dominating sets under the reconfiguration framework2020

    • 著者名/発表者名
      Alexandre Blanche, Paul Ouvrard, Haruka Mizuta and Akira Suzuki
    • 雑誌名

      Proceedings of the 31st International Workshop on Combinatorial Algorithms (IWOCA 2020), Lecture Notes in Computer Science (LNCS)

      巻: 12126 ページ: 69~82

    • DOI

      10.1007/978-3-030-48966-3_6

    • 査読あり / 国際共著
  • [雑誌論文] Reconfiguration of spanning trees with many or few leaves2020

    • 著者名/発表者名
      Nicolas Bousquet, Takehiro Ito, Yusuke Kobayashi, Haruka Mizuta, Paul Ouvrard, Akira Suzuki and Kunihiro Wasa
    • 雑誌名

      Proceedings of the 28th Annual European Symposium on Algorithms (ESA 2020), Leibniz International Proceedings in Informatics (LIPIcs)

      巻: 173 ページ: 24:1~24:15

    • DOI

      10.4230/LIPIcs.ESA.2020.24

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Fixed-parameter algorithms for graph constraint logic2020

    • 著者名/発表者名
      Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Muhlenthaler and Akira Suzuki
    • 雑誌名

      Proceedings of the 15th International Symposium on Parameterized and Exact Computation (IPEC 2020), Leibniz International Proceedings in Informatics (LIPIcs)

      巻: 180 ページ: 15:1~15:15

    • DOI

      10.4230/LIPIcs.IPEC.2020.15

    • 査読あり / オープンアクセス / 国際共著
  • [学会発表] Decremental optimization of dominating sets under the reconfiguration framework2020

    • 著者名/発表者名
      Alexandre Blanche, Paul Ouvrard, Haruka Mizuta and Akira Suzuki
    • 学会等名
      the 31st International Workshop on Combinatorial Algorithms (IWOCA 2020)
    • 国際学会
  • [学会発表] Reconfiguration of spanning trees with many or few leaves2020

    • 著者名/発表者名
      Nicolas Bousquet, Takehiro Ito, Yusuke Kobayashi, Haruka Mizuta, Paul Ouvrard, Akira Suzuki and Kunihiro Wasa
    • 学会等名
      the 28th Annual European Symposium on Algorithms (ESA 2020)
    • 国際学会
  • [学会発表] Fixed-parameter algorithms for graph constraint logic2020

    • 著者名/発表者名
      Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Muhlenthaler and Akira Suzuki
    • 学会等名
      the 15th International Symposium on Parameterized and Exact Computation (IPEC 2020)
    • 国際学会
  • [備考] Akira Suzuki's Web Site

    • URL

      http://www.ecei.tohoku.ac.jp/alg/suzuki/

URL: 

公開日: 2021-12-27  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi