之间长度为formula_7路径的数目等于formula_8的formula_9元。命题：对于直径为formula_7的连通图，其邻接代数的维数至少是formula_11。推论：直径为formula_7的连通图至少有formula_11个不同的特征值。