1999 Fiscal Year Annual Research Report

ネットワーク最適化問題の解法効率化に関する研究

Research Project

Project/Area Number	10205219
Research Institution	Hiroshima University
Principal Investigator	渡邉敏正広島大学, 工学部, 教授 (80112184)
Keywords	ネットワーク最適化問題 / アルゴリズム設計 / 計算複雑度 / 解法の効率化 / 近似解法 / 近似解の精度
Research Abstract	本研究の目的は,ネットワーク最適化問題の解法効率化に関する研究を行うことである.一般的にこの種の最適化問題は総当たり的解法を余儀なくされるため,一つの研究方向として,いかに高速に解くか,あるいは高速に解ける問題の族を発見することがある.他方,問題によっては規模の増大が避けられない場合もあり,これに対しては高速な近似解法の設計がある.今年度の成果としては,著書1件と研究論文21件がある.研究論文21件を内容によって以下の1〜5にまとめる.なお,[]内のそれぞれの数字は,次ページの研究発表の項での(図書を除いた)掲載順を示している. 1.耐故障ネットワーク構成問題に関連して(5件):リンク故障への対応の抽象化である辺連結度に関する辺付加問題について3件[8,13,21],局故障への対応の抽象化である点連結度に関する辺付加問題について2件[14,20],合計5件を発表した. 2.通信プロトコル等の設計検証に関連して(6件):サイフォン(構造的デットロック)検出について2件[5,6],インバリアント算出法について4件[3,9,11,17],合計6件の成果を発表した. 3.スケジューリング問題解法に関連して(6件):その解法の基礎であるペトリネットの発火系列問題について4件[4,7,12,18],トークン数上下限をみたす発火系列について1件[10],時間付きペトリネットのスケジューリングについて1件[2],合計6件の成果を発表した. 4.プリント基板設計問題に関連して(3件):反転配置の禁止された部品を含むグラフモデルの全域平面グラフ抽出法について1件[1],多層配線問題におけるビア数最小化手法ついて1件[15],部品下領域の通過を許す配線手法について1件[16],合計3件の成果を発表した. 5.グラフ描画に関連して(1件):上記の1と4の両方に関連するが,グラフやネットワークに対する所与の制約条件を満たす描画法について1件[19]の成果を発表した.

Research Products
(22 results)

All Other

All Publications (22 results)

[Publications] Kenji Mizuno: "Extracting Nonplanar Connections in a Terminal-Vertex Graph"Proc.1999 IEEE International Symposium on Circuit and Systems (ISCAS'99). VI-121-VI-124 (1999)
[Publications] Masahiro Yamauchi: "A Heuristic Algorithm SDS for Scheduling with Timed Petri Nets"Proc.1999 IEEE International Symposium on Circuit and Systems (ISCAS'99). VI-81-VI-84 (1999)
[Publications] Masahiro Yamauchi: "A Fast and Space-Saving Algorithm for Computing Invariants of Petri Nets"Proc.1999 IEEE International Conference on Systems, Man and Cybernetics (SMC99). I-866-I-871 (1999)
[Publications] Satoshi Taoka: "A Linear Time Algorithm Solving the Legal Firing Sequence Problem for a Class of Edge-Weighted Cactuses"Proc.1999 IEEE International Conference on Systems, Man and Cybernetics (SMC99). III-893-III-898 (1999)
[Publications] Masahiro Yamauchi: "Time Complexity Analysis of the Minimal Siphon Extraction Problem of Petri Nets"IEICE Trans.Fundamentals. E82-A・11. 2558-2565 (1999)
[Publications] Masahiro Yamauchi: "Algorithms for Extracting Minimal Siphons Containing Specified Places in a General Petri Net"IEICE Trans.Fundamentals. E82-A・11. 2566-2575 (1999)
[Publications] 藤戸敏弘: "カクタス構造のペトリネットにおける発火系列問題について"第12回回路とシステム(軽井沢)ワークショップ論文集. 213-218 (1999)
[Publications] 高藤大介: "4辺連結単純グラフの最小構成法"第12回回路とシステム(軽井沢)ワークショップ論文集. 487-492 (1999)
[Publications] 和久田真浩: "ペトリネットのサイフォン・トラップサポート集合に基づくインバリアント算出法"電子情報通信学会技術研究報告. CST99-2. 9-16 (1999)
[Publications] 阿波賢: "ペトリネットにおけるトークン数下限制約を持つ発火系列問題"電子情報通信学会技術研究報告. CST99-3. 17-24 (1999)
[Publications] Masahiro Wakuda: "A Fast and Space-Saving Algorithm FMSN for Computing Petri Net Invariants with Supports Containing All Specified Nodes"IEICE Technical Report. CST99-16. 37-44 (1999)
[Publications] Takahiro Nakai: "A New Heuristic Algorithm FSDT for the Legal Firing Sequence Problem of Petri Nets and Its Application to Solving MAX SAT"IEICE Technical Report. CST99-33. 1-8 (1999)
[Publications] Daisuke Takafuji: "A Heuristic Algorithm EAM for solving k-Edge-Connectivity Augmentation Problem with Upper Bounds on Edge Multiplicity"IEICE Technical Report. COMP99-60. 33-40 (1999)
[Publications] Toshiya Mashima: "Vertex-connectivity augmentation problems for graphs with degree-unchangeable ver-tices"IEICE Technical Report. COMP99-61. 41-48 (1999)
[Publications] 小林利大: "層割当てのためのネット集合分割に基づく制約付きビア数最小化手法PNLA"電子情報通信学会技術研究報告. VLD99-94. 57-64 (2000)
[Publications] 高藤大介: "プリント基板設計における非平面接続要求の部品下領域を利用した配線手法"電子情報通信学会技術研究報告. VLD99-95. 65-72 (2000)
[Publications] Masahiro Yamauchi: "Improved Implementation of the Fourier-Motzkin Method for Computing Petri Net Invariants"Tech.Rep.of IEICE. CST99-56. 9-16 (2000)
[Publications] Takahiro Nakai: "A Heuristic Algorithm FSDB for the Maximum Legal Firing Sequence Problem of Petri Nets"Tec.Rep.of IEICE. CST99-57. 17-24 (2000)
[Publications] 高藤大介: "CONTEC:辺交差の制御機能を有するグラフ描画システム"電子情報通信学会技術研究報告. COMP99-76. 57-64 (2000)
[Publications] Toshiya Mashima: "Solving the 2-,3-vertex-connectivity augmentation problem for specified vertices of a graph with degree-unchangeable ones"Tech.Rep.of IEICE. COMP99-77. 65-72 (2000)
[Publications] Satoshi Taoka: "The (σ+1)-Edge-Connectivity Augmentation Problem without Creating Multiple Edges of a Graph"Tech.Rep.of IEICE. COMP99-78. 73-80 (2000)
[Publications] 渡邉敏正: "データ構造と基本アルゴリズム"共立出版株式会社. 286 (2000)

1999 Fiscal Year Annual Research Report

ネットワーク最適化問題の解法効率化に関する研究

Principal Investigator

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

Research Products

[Publications] Kenji Mizuno: "Extracting Nonplanar Connections in a Terminal-Vertex Graph"Proc.1999 IEEE International Symposium on Circuit and Systems (ISCAS'99). VI-121-VI-124 (1999)

[Publications] Masahiro Yamauchi: "A Heuristic Algorithm SDS for Scheduling with Timed Petri Nets"Proc.1999 IEEE International Symposium on Circuit and Systems (ISCAS'99). VI-81-VI-84 (1999)

[Publications] Masahiro Yamauchi: "A Fast and Space-Saving Algorithm for Computing Invariants of Petri Nets"Proc.1999 IEEE International Conference on Systems, Man and Cybernetics (SMC99). I-866-I-871 (1999)

[Publications] Satoshi Taoka: "A Linear Time Algorithm Solving the Legal Firing Sequence Problem for a Class of Edge-Weighted Cactuses"Proc.1999 IEEE International Conference on Systems, Man and Cybernetics (SMC99). III-893-III-898 (1999)

[Publications] Masahiro Yamauchi: "Time Complexity Analysis of the Minimal Siphon Extraction Problem of Petri Nets"IEICE Trans.Fundamentals. E82-A・11. 2558-2565 (1999)

[Publications] Masahiro Yamauchi: "Algorithms for Extracting Minimal Siphons Containing Specified Places in a General Petri Net"IEICE Trans.Fundamentals. E82-A・11. 2566-2575 (1999)

[Publications] 藤戸敏弘: "カクタス構造のペトリネットにおける発火系列問題について"第12回回路とシステム(軽井沢)ワークショップ論文集. 213-218 (1999)

[Publications] 高藤大介: "4辺連結単純グラフの最小構成法"第12回回路とシステム(軽井沢)ワークショップ論文集. 487-492 (1999)

[Publications] 和久田真浩: "ペトリネットのサイフォン・トラップサポート集合に基づくインバリアント算出法"電子情報通信学会技術研究報告. CST99-2. 9-16 (1999)

[Publications] 阿波賢: "ペトリネットにおけるトークン数下限制約を持つ発火系列問題"電子情報通信学会技術研究報告. CST99-3. 17-24 (1999)

[Publications] Masahiro Wakuda: "A Fast and Space-Saving Algorithm FMSN for Computing Petri Net Invariants with Supports Containing All Specified Nodes"IEICE Technical Report. CST99-16. 37-44 (1999)

[Publications] Takahiro Nakai: "A New Heuristic Algorithm FSDT for the Legal Firing Sequence Problem of Petri Nets and Its Application to Solving MAX SAT"IEICE Technical Report. CST99-33. 1-8 (1999)

[Publications] Daisuke Takafuji: "A Heuristic Algorithm EAM for solving k-Edge-Connectivity Augmentation Problem with Upper Bounds on Edge Multiplicity"IEICE Technical Report. COMP99-60. 33-40 (1999)

[Publications] Toshiya Mashima: "Vertex-connectivity augmentation problems for graphs with degree-unchangeable ver-tices"IEICE Technical Report. COMP99-61. 41-48 (1999)

[Publications] 小林利大: "層割当てのためのネット集合分割に基づく制約付きビア数最小化手法PNLA"電子情報通信学会技術研究報告. VLD99-94. 57-64 (2000)

[Publications] 高藤大介: "プリント基板設計における非平面接続要求の部品下領域を利用した配線手法"電子情報通信学会技術研究報告. VLD99-95. 65-72 (2000)

[Publications] Masahiro Yamauchi: "Improved Implementation of the Fourier-Motzkin Method for Computing Petri Net Invariants"Tech.Rep.of IEICE. CST99-56. 9-16 (2000)

[Publications] Takahiro Nakai: "A Heuristic Algorithm FSDB for the Maximum Legal Firing Sequence Problem of Petri Nets"Tec.Rep.of IEICE. CST99-57. 17-24 (2000)

[Publications] 高藤大介: "CONTEC:辺交差の制御機能を有するグラフ描画システム"電子情報通信学会技術研究報告. COMP99-76. 57-64 (2000)

[Publications] Toshiya Mashima: "Solving the 2-,3-vertex-connectivity augmentation problem for specified vertices of a graph with degree-unchangeable ones"Tech.Rep.of IEICE. COMP99-77. 65-72 (2000)

[Publications] Satoshi Taoka: "The (σ+1)-Edge-Connectivity Augmentation Problem without Creating Multiple Edges of a Graph"Tech.Rep.of IEICE. COMP99-78. 73-80 (2000)

[Publications] 渡邉敏正: "データ構造と基本アルゴリズム"共立出版株式会社. 286 (2000)

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