We also present the pretreatmentmethod of reachability analysis algorithm, which can reduce the memory usage and improve efficiency of the algorithm.

• 另外给出了可达性算法的预处理方法，通过预处理可以节省算法占用的内存空间，提高了算法的运行效率。