拉普拉斯矩阵(Laplacian Matrix) 及半正定性证明