1996 Fiscal Year Annual Research Report

ネットワーク最適化問題の解法高速化・高精度化に関する研究

Research Project

Project/Area Number	08680371
Research Institution	Hiroshima University
Principal Investigator	渡邉敏正広島大学, 工学部, 教授 (80112184)
Keywords	ネットワーク最適化問題 / アルゴリズム設計 / 計算複雑度 / 解法の効率化 / 近似解法 / 近似解の精度
Research Abstract	本研究の目的は,ネットワーク最適化問題に対する解法の高速化あるいは高精度の近似解法の設計に関する研究を行うことであった.一般的にこの種の最適化問題は総当たり的解法を余儀なくされるため,一つの研究方向として,いかに高速に解くか,あるいは高速に解ける問題の族を発見することがある.他方,問題によっては規模の増大が避けられない場合もあり,これに対しては高速な近似解法の設計がある.並列・分散処理による高速化に向かって研究を進めるためには逐次処理についての検討が不可欠である.今年度の研究ではこれに重点を置いた.その成果(次ページの研究発表の項に示す15件)を以下の1〜5にまとめる. 1.耐故障ネットワーク構成問題について:リンク故障への対応の抽象化である辺連結度に関する辺付加問題について,局故障への対応の抽象化である点連結度に関する辺付加問題について,合せて4件(次ページの1,6,7,15番目)を発表した. 2.通信プロトコル等の設計検証に関して:デットロック検出について3件(5,8,9番目)の成果を発表した. 3.スケジューリング問題解法に関して:その解法の基礎であるペトリネットの発火系列問題について1件(2番目),実時間スケジューリングについて1件(4番目),スケジューリングのペトリネットによるモデル化について1件(3番目)の成果を,それぞれ発表した. 4.プリント基板設計問題に関して:所与の形状を持つプリント基板の設計法について2件(11,13番目),3層配線問題について1件(12番目)を、それぞれ発表した. 5.グラフ描画に関して:上記の1と4の両方に関連するが,グラフやネットワークに対する所与の制約条件を満たす描画法について2件(10,14番目)を発表した.

Research Products
(15 results)

All Other

All Publications (15 results)

[Publications] 間島利也: "グラフの指定点集合に対する3点連結化問題の解法" 電子情報通信学会技術研究報告. COMP96-1. 1-10 (1996)
[Publications] Keisuke Morita: "The Legal Firing Sequence Problem of Petri Nets for Weighted State Machines" Proceedings of 1996 IEEE International Symposium on Circuits and Systems. 64-67 (1996)
[Publications] Toshimasa Watanabe: "The Legal Firiug Sequence Problem of Petri Nets and its Application to Schoduling" Advanced Tutorial I of the 17th International Conference on Application and Theroy of Petri Nets. 1-170 (1996)
[Publications] Masahiro Yamauchi: "Real-Time Scheduling with Flexible Strategy in Constructing Priority-Lists" Proc. 1996 International Technical Conference on Circuits/Systems, Computers and Communications. 1188-1191 (1996)
[Publications] Shinji Tanimoto: "Finding a Maximal Class of Mutually Disjoint Minimal Siphons" Proc. 1996 International Technical Conference on Circuits/Systems, Computers and Communications.1196-1199 (1996)
[Publications] Toshiya Mashima: "A Linear Time Algorithm for the 3-Vertex-Connectivity Augmentation Problem for Specified Vertices of a Graph" Proc. KOREA-JAPAN Joint Workshop on Algorithms and Computation. 110-119 (1996)
[Publications] 土屋憲蔵: "複数の指定点集合に対する2辺-及び2点-連結化問題の解法" 情報処理学会研究報告. AL54-9. 65-72 (1996)
[Publications] Shinji Tanimoto: "Finding Minimal Siphons in General Petri Nets" IEICE Trans. Fundamentals. E79-A. 197-205 (1996)
[Publications] Masahiro Yamauchi: "Finding a Minimal Siphon Containing Specified Places in a General" IEICE Trans. Fundamentals Petri Net. E79-A. 206-209 (1996)
[Publications] 松本匡史: "与えられた制約を満たす矩形双対グラフの描画手法" 情報処理学会研究報告. AL55-6. 45-52 (1997)
[Publications] Toshimasa Watanabe: "MULTI-PRIDE : A System for Supporting Multi-Layered Printed Wiring Board Design" Proceedings of the Asia and South Pasific Design Automation Conference 1997. 221-226 (1996)
[Publications] 水野健二: "プリント基板レイアウト設計における非平面接続数の極小化手法" 情報処理学会研究報告. DA83-13. 97-104 (1997)
[Publications] 高橋和弘: "3層配線問題の制約付きビア数最小化手法" 情報処理学会研究報告. DA83-14. 105-112 (1997)
[Publications] Toshiya Mashima: "A Linear Time Algorithm for Minimun Augmentation to 3-Connect Specified Vertices of a Graph" Proceedings of 1997 IEEE International Symposium on Circuits and Systems. (to appear). May- (1997)
[Publications] Tadafumi Matsumoto: "Drawing a Rectangular Dual to Meet Prescribed Constraints" Proceedings of 1997 IEEE International Symposium on Circuits and Systems. (to appear). May- (1997)

1996 Fiscal Year Annual Research Report

ネットワーク最適化問題の解法高速化・高精度化に関する研究

Principal Investigator

渡邉 敏正 広島大学, 工学部, 教授 (80112184)

Research Products

[Publications] 間島利也: "グラフの指定点集合に対する3点連結化問題の解法" 電子情報通信学会技術研究報告. COMP96-1. 1-10 (1996)

[Publications] Keisuke Morita: "The Legal Firing Sequence Problem of Petri Nets for Weighted State Machines" Proceedings of 1996 IEEE International Symposium on Circuits and Systems. 64-67 (1996)

[Publications] Toshimasa Watanabe: "The Legal Firiug Sequence Problem of Petri Nets and its Application to Schoduling" Advanced Tutorial I of the 17th International Conference on Application and Theroy of Petri Nets. 1-170 (1996)

[Publications] Masahiro Yamauchi: "Real-Time Scheduling with Flexible Strategy in Constructing Priority-Lists" Proc. 1996 International Technical Conference on Circuits/Systems, Computers and Communications. 1188-1191 (1996)

[Publications] Shinji Tanimoto: "Finding a Maximal Class of Mutually Disjoint Minimal Siphons" Proc. 1996 International Technical Conference on Circuits/Systems, Computers and Communications.1196-1199 (1996)

[Publications] Toshiya Mashima: "A Linear Time Algorithm for the 3-Vertex-Connectivity Augmentation Problem for Specified Vertices of a Graph" Proc. KOREA-JAPAN Joint Workshop on Algorithms and Computation. 110-119 (1996)

[Publications] 土屋憲蔵: "複数の指定点集合に対する2辺-及び2点-連結化問題の解法" 情報処理学会研究報告. AL54-9. 65-72 (1996)

[Publications] Shinji Tanimoto: "Finding Minimal Siphons in General Petri Nets" IEICE Trans. Fundamentals. E79-A. 197-205 (1996)

[Publications] Masahiro Yamauchi: "Finding a Minimal Siphon Containing Specified Places in a General" IEICE Trans. Fundamentals Petri Net. E79-A. 206-209 (1996)

[Publications] 松本匡史: "与えられた制約を満たす矩形双対グラフの描画手法" 情報処理学会研究報告. AL55-6. 45-52 (1997)

[Publications] Toshimasa Watanabe: "MULTI-PRIDE : A System for Supporting Multi-Layered Printed Wiring Board Design" Proceedings of the Asia and South Pasific Design Automation Conference 1997. 221-226 (1996)

[Publications] 水野健二: "プリント基板レイアウト設計における非平面接続数の極小化手法" 情報処理学会研究報告. DA83-13. 97-104 (1997)

[Publications] 高橋和弘: "3層配線問題の制約付きビア数最小化手法" 情報処理学会研究報告. DA83-14. 105-112 (1997)

[Publications] Toshiya Mashima: "A Linear Time Algorithm for Minimun Augmentation to 3-Connect Specified Vertices of a Graph" Proceedings of 1997 IEEE International Symposium on Circuits and Systems. (to appear). May- (1997)

[Publications] Tadafumi Matsumoto: "Drawing a Rectangular Dual to Meet Prescribed Constraints" Proceedings of 1997 IEEE International Symposium on Circuits and Systems. (to appear). May- (1997)

渡邉敏正広島大学, 工学部, 教授 (80112184)