可达性分析是模型分析。在图论中，可达性是指在图中从一个顶点到另一个顶点的容易程度。在无向图中，可以通过识别图的连接分量来确定所有顶点对之间的可达性。常用算法为：Floyd-Warshall，Thorup，Kameda这三种算法。