近年,ZDD(Zero-suppressed Binary Decision Diagram)を用いたグラフ上のパス列挙アルゴリズムが提案された.ZDDとは,組合せ集合を圧縮して表現できるデータ構造である.グラフ上のパスを辺の組合せと同一視すると,ZDDを用いてパスの集合を表現できる.また,ZDDには多様な演算が定義されており,これらを利用すると効率的にパス集合を操作できる.我々は通信ネットワークでの利用を想定し,ZDDを利用したパス管理ソフトウェアを開発した.このソフトウェアは与えられた条件でパス集合を絞り込み,その中から最小故障率のパスを抽出する.ZDDによるパス列挙は厳密であり,リンク故障率に依存関係があるような複雑な状況でも,正確なパス故障率を算出できる.また,これらの操作は効率的に行われ,たとえば81ノードの格子ネットワークにある1126509504221649本のパスを1.85秒で列挙し,0.1秒未満で絞り込みや最小故障率パスの抽出を行う.