lapMatrix — Mathlib

English

See Degree Matrix and Adjacency Matrix definitions; Laplacian is their difference: L = D - A.

Русский

Лапласиан — разность между диагональной матрицей степеней и матрицей смежности: L = D - A.

LaTeX

$$$\mathrm{lapMatrix}(R,G) = G.degMatrix R - G.adjMatrix R$$$

Lean4

/-- The *Laplacian matrix* `lapMatrix G R` of a graph `G`
is the matrix `L = D - A` where `D` is the degree and `A` the adjacency matrix of `G`. -/
def lapMatrix [AddGroupWithOne R] : Matrix V V R :=
  G.degMatrix R - G.adjMatrix R

Похожие утверждения