第七个怎么回答？用可达性分析算法？