2021 Fiscal Year Annual Research Report
Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone
| Project Area | Fusion of Computer Science, Engineering and Mathematics Approaches for Expanding Combinatorial Reconfiguration |
|---|
| Project/Area Number |
20H05794
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
川原 純 京都大学, 情報学研究科, 准教授 (20572473)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
飯岡 大輔 中部大学, 工学部, 准教授 (30377808)
戸田 貴久 電気通信大学, 大学院情報理工学研究科, 准教授 (50451159)
宋 剛秀 神戸大学, 情報基盤センター, 准教授 (00625121)
鈴木 顕 東北大学, 情報科学研究科, 准教授 (10723562)
照山 順一 兵庫県立大学, 社会情報科学部, 助教 (40709862)
|
|---|
| Project Period (FY) |
2020-10-02 – 2023-03-31
|
| Keywords | 組合せ遷移 / グラフアルゴリズム / 二分決定グラフ / モデル検査 / 配電網の開閉器切替 |
|---|
| Outline of Annual Research Achievements |
本研究では組合せ遷移の実装技術の構築とその産業応用に向けて、研究開発の共通基盤となるソフトウェア開発を目標とする。2年目にあたる本年度は、初年度に設計を行った独立集合遷移問題に対するアルゴリズムを発展させ、全域森遷移問題やマッチング遷移問題等、多くの組合せ遷移問題に対して適用可能な汎用的な技法の研究開発を行った。複数のアプローチを考案しているが、その中でも二分決定グラフ（ZDD）と呼ばれるデータ構造を用いた方法や、モデル検査技術を用いた方法により、個々の組合せ遷移問題に対してではなく、多くの問題に適用可能な統一的な方法で解くための枠組みを整備した。複数のアプローチの比較検討も行い、特にZDDの方法は、遷移長の長い問題例を得意とすること等が判明している。研究発表を行い、LA/EATCS-Japan 発表論文賞を受賞した。
本年度はさらに、組合せ遷移技術の配電網への適用も検討した。配電網の開閉器の切替時には、既に通電している区間の停電は許されず、従来の方法では対処が難しかったが、新たに条件を満たす遷移方法を設計し、400個以上の開閉器からなる実際の配電網をモデル化したベンチマークデータについて切換手順が算出可能であることを確認した。
組合せ遷移の実装技術の統一的評価や、ソルバー技術のコミュニティ醸成を意図した、組合せ遷移技術の競技会「CoRe Challenge 2022」を主催した。初年度に整備したベンチマークデータに、理論面からも意味のあるデータを加えて充実させ、競技会用のデータとして提供した。
組合せ遷移ソルバーに他の研究者や実務家がアクセスしやすいよう、GUIインターフェイスの開発も行った。グラフの編集機能や、開始集合と目標集合を設定する機能を備え、独立集合遷移問題を解いた結果を1ステップずつ表示する。ソフトウェアは Windows/Mac/Linux に対応している。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
当初に予定していた、様々な組合せ遷移問題に対する汎用的なソルバー設計と実装を達成しており、さらに当初予定していなかった競技会の主催等の活動も進めている。配電網の開閉器切替への組合せ遷移技術の適用や、GUIソフトウェア開発も当初の予定通りに進んでいる。おおむね順調に進展していると言える。
|
| Strategy for Future Research Activity |
来年度は、これまで開発してきた組合せ遷移問題を解くためのゼロサプレス型二分決定グラフ（ZDD）を用いた方法やモデル検査を用いた方法等の複数のアプローチを統合し、様々な種類の組合せ遷移問題や、入力データに対して、高速に動作する統合ソルバーを開発する。開発したソルバーが、配電網の開閉器切替やコンテナ配置問題、選挙区割の遷移問題、最短経路の遷移問題等の様々な適用事例に対して利用できることを示す。
独立集合遷移問題を解くためのGUIインターフェイスを発展させて、全域木遷移問題やマッチング遷移問題等、様々な遷移問題を一般の利用者が解くことが可能なGUI（ユーザインターフェース）付きソフトウェア開発も行う。プログラマが利用しやすいように Python 言語から利用可能なインターフェイスやライブラリも整備し、GUIでは難しい複雑な操作を可能にする。開発したソフトウェアはドキュメントを付けて公開する。
|
-
-
-
-
-
[Journal Article] Path cover problems with length cost2022
Author(s)
Kenya Kobayashi, Guohui Lin, Eiji Miyano, Toshiki Saitoh, Akira Suzuki, Tadatoshi Utashima, Tsuyoshi Yagita
-
Journal Title
Proc. of 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022), Lecture Notes in Computer Science
Volume: 13174
Pages: 396-408
DOI
Peer Reviewed / Int'l Joint Research
-
-
-
[Journal Article] Max-min 3-dispersion problems2021
Author(s)
Takashi Horiyama, Shin-ichi Nakano, Toshiki Saitoh, Koki Suetsugu, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Kunihiro Wasa
-
Journal Title
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Volume: E104-A
Pages: 1101-1107
DOI
Peer Reviewed
-
-
[Journal Article] Locating evacuation centers optimally in path and cycle networks2021
Author(s)
Robert Benkoczi, Binay Bhattacharya, Yuya Higashikawa, Tsunehiko Kameda, Naoki Katoh, Junichi Teruyama
-
Journal Title
Proc. of 21st Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2021), Open Access Series in Informatics
Volume: 96
Pages: 13:1-13:19
DOI
Peer Reviewed / Open Access / Int'l Joint Research
-
-
-
-
-
-
-
-
-
[Presentation] Path cover problems with length cost2022
Author(s)
Kenya Kobayashi, Guohui Lin, Eiji Miyano, Toshiki Saitoh, Akira Suzuki, Tadatoshi Utashima, Tsuyoshi Yagita
Organizer
16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
Int'l Joint Research
-
-
-
-
-
