ペトリネットインバリアント算出のためのFourier-Motzkin法の改良実装
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットN=(P, T, E)のインバリアントとは, NのPT接続行列をAとした場合にA・X=0を満たすX(T-インバリアント)またはY^t・A=0を満たすY(P-インバリアント)である.非負整数インバリアント算出法としてよく知られるFourier-Motzkin(FM)法には, 途中で記憶すべき解候補ベクトルの増加に起因するメモリ不足のために計算が中断され, インバリアントが存在するにもかかわらず算出されない場合がある.我々は, 極小サイフォンかつトラップであるネット上での計算へと縮小することによってこの欠点を克服する方向で算出法STFMを既に報告した.本稿では, 解候補ベクトルの増加を抑えるための計算順序あるいはベクトル消去に関する幾つかの改良アイデアをFM法およびSTFM法に実装し, 候補ベクトル数が著しく減少すること, および計算時間が短縮されることを, 実験によって示す.
- 社団法人電子情報通信学会の論文
- 2000-01-18
著者
-
渡邊 敏正
広島大学工学部第二類回路システム工学講座
-
山内 雅弘
近畿大学工学部電子情報工学科
-
山内 雅弘
広島大学大学院 工学研究科 情報工学専攻
-
西内 啓介
広島大学工学部 第二類 回路システム工学講座
-
山内 雅弘
近畿大学大学院システムエ学研究科
関連論文
- グラフの付加辺多重度に上限を持つk-辺連結化問題
- 3-連結グラフに対する点被覆及び連結点被覆問題について
- プリント基板レイアウト設計における非平面接続数の極小化手法
- 与えられた制約を満たす矩形双対グラフ描画手法
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- A-12-4 トランジション改良選択法に基づくペトリネット最小初期マーキングの効率的構成法(A-12.コンカレント工学,一般講演)
- ペトリネットの最小初期マーキング探索におけるトランジションの効果的選択法(コンカレントシステム, 一般)
- ペトリネットの最小初期マーキングのための動作的デッドロック回避に基づく高速な発見的解法(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法
- 次数増加禁止点を持つグラフの指定点集合に対する2, 3点連結化問題の解法
- グラフの指定点3点連結化問題に対する解法
- 階層型グラフに対応したグラフアルゴリズムの視覚的トレースツールの開発(グラフ,ペトリ,ニューラルネット及び一般)
- 階層型グラフに対応したグラフアルゴリズムの視覚的トレースツールの開発(グラフ,ペトリ,ニューラルネット及び一般)
- ペトリネットの最小初期マーキング問題に対する発見的解法
- ペトリネットの最大発火系列問題に対する発見的アルゴリズムFSDB
- ペトリネットインバリアント算出のためのFourier-Motzkin法の改良実装
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- A-12-5 時間付ペトリネットによるスケジューリングに対する発見的解法SDS
- A-12-4 指定プレース集合を含むサポートを持つペトリネットインバリアントの算出法
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズムFMSN
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズムFMSN
- ペトリネット発火系列問題の概説
- ペトリネット発火系列問題の概説
- 複数の求解戦略を持つリアルタイムスケジューリング法
- A-12-4 サイフォン・トラップ台に基づくインバリアント算出法
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズム FMSN
- CONTEC : 辺交差の制御機能を有するグラフ描画システム
- 複数の指定点集合に対する2辺-及び2点-連結化問題の解法
- 指定サイズ矩形内への矩形双対グラフ描画手法
- いくつかのハイパーグラフ問題に対するPrimal-Dual近似アルゴリズムについて
- 通信ネットワークの(σ+1)辺連結化問題に対する効率的分散アルゴリズムDECA-1
- 通信ネットワークの(σ+1)辺連結化問題に対する効率的分散アルゴリズムDECA-1
- 時間付きペトリネットによるスケジューリングのための発見的アルゴリズムSDS
- 時間付きペトリネットによるスケジューリングのための発見的アルゴリズムSDS
- A-12-3 ペトリネットの最適発火系列問題に対する発見的解法OFSD
- 一般ペトリネットにおける単一指定プレースを含む極小サイフォン抽出法
- 一般ペトリネットにおける極小デッドロック抽出法
- 指定点集合のk辺連結化問題に対する解法
- 3層配線問題の制約付きビア数最小化手法
- ペトリネットの発火系列問題に対する近似アルゴリズム
- 辺付加による(σ+1)-辺連結単純グラフ構成のための効率的アルゴリズム
- 辺付加による(σ+1)-辺連結単純グラフ構成のための効率的アルゴリズム
- グラフの多重辺生成を許さない(σ+1)-辺連結化問題
- グラフの多重辺付加を許さないk辺連結化問題
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネットの発火系列問題に対する新しい発見的解法FSD
- ペトリネットの指定プレース集合を含むサイフォン抽出法
- ペトリネットの発火系列問題に対する発見的解法FSD
- ペトリネットの発火系列問題に対する新しいヒューリスティックアルゴリズム
- ペトリネットの発火系列問題に対する新しいヒューリスティックアルゴリズム
- プログラムの理解とアルゴリズムの可視化のための支援ツール : 階層型グラフ描画に基づく流れ図の自動生成
- プログラムの理解とアルゴリズムの可視化のための支援ツール : 階層型グラフ描画に基づく流れ図の自動生成