... 按深度优先方法逐个 collapsed 记录是否在其路上存在<边。( 4 )对每个( z < y ) ∈T ,如果既没有从 z 到 y 的路,又没有 A≤Aow ,则输出“ S 不蕴含 T ” ,结束。
確定! 回上一頁