It is known from the algebraic graph theory that if is the Laplacian matrix of some tree with a vertex degree sequence $=(d_1, …, d_n)^\topDLD+2I=(2\cdot-)^\top$ is an all-ones column vector. We prove that if this matrix identity holds for the Laplacian matrix of some graph with a degree sequence and for some matrix , then is essentially a tree, and is its distance matrix. This result immediately generalizes to weighted graphs. If the matrix is symmetric, the lower triangular part of this matrix identity is redundant and can be omitted. Therefore, the above bilinear matrix equation in , , and characterizes trees in terms of their Laplacian and distance matrices. Applications to the extremal graph theory (especially, to topological index optimization and to optimal tree problems) and to road topology design are discussed.

生成讲解博客的中文版本

生成AI智能校验的中文版本