warshall 判断某无向图是否是一个树