基盤(S)離散構造処理系プロジェクト（北海道大学サイト）

ネットワークの２点間信頼性は，ネットワークの各辺が確率に従って独立に故障または生存するときに，指定した２点間が通信可能（連結）である確率として定義される．ここでネットワークの各辺は完全に故障または生存する場合のみ考えられているが，より現実のネットワークに近いモデルとして，Multi-state Flow Network (MFN) が存在する．MFN は，各辺の容量が確率で定まるネットワークである．MFN 上の２点間信頼性 Multi-state Two-terminal Reliability (MS2TR) は，指定した２点間で，ある量以上の情報を送信できる確率として定義される．MS2TRは通常の２点間信頼性の一般化であるため#P困難であり，効率よく計算することが難しい．本研究では，DD を用いて MS2TRを厳密計算する手法を提案する．提案手法を実装し，計算機実験の結果を示す．