次数行列

グラフ理論および計算機科学において、次数行列（じすうぎょうれつ、テンプレート:Lang-en-short）は、それぞれの頂点の次数（すなわち、それぞれの頂点に接続した辺の数）に関する情報を含む対角行列である。次数行列はグラフのラプラシアン行列を構築するために隣接行列と一緒に使われる。

定義

グラフ$G=(V,E)$ with $|V|=n$を考えると、$G$についての次数行列$D$は以下のように定義される$n\times n$対角行列である。

$d_{i,j}:=\{\begin{array}{cc}\mathrm{deg}(v_i)& \text{if}i=j\\ 0& \text{otherwise}\end{array}$

上式において、頂点の次数$\mathrm{deg}(v_i)$は辺がその頂点で終結する回数を合計する。無向グラフでは、これは各ループが頂点の次数を2ずつ増加させることを意味する。有向グラフでは、「次数」という用語は入次数（それぞれの頂点に入ってくる辺の数）または出次数（それぞれの頂点から出ていく辺の数）のどちらをも指す。

例

頂点がラベル付けされたグラフ	次数行列
	$\left(\begin{array}{cccccc}4& 0& 0& 0& 0& 0\\ 0& 3& 0& 0& 0& 0\\ 0& 0& 2& 0& 0& 0\\ 0& 0& 0& 3& 0& 0\\ 0& 0& 0& 0& 3& 0\\ 0& 0& 0& 0& 0& 1\end{array}\right)$

性質

k-正則グラフの次数行列は、一定な対角成分$k$を持つ。