To determine reachability, we computed the transitive closure of the directed graph's edge relation.
到達可能性を判定するために、有向グラフの辺で定義される関係を含む最小の推移閉包を計算した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
