次数(グラフ)

概要

グラフ $G=(V, E)$ について、の頂点 $v$ の次数 (degree) とは、$v$ に接続する辺の個数のことをいう。

$$\newcommand{AA}[0]{\mathscr{A}} \newcommand{abs}[1]{\left\lvert#1\right\rvert} \newcommand{Arg}[0]{\operatorname{Arg}} \newcommand{BB}[0]{\mathscr{B}} \newcommand{C}[0]{\mathbb{C}} \newcommand{CC}[0]{\mathscr{C}} \newcommand{floor}[1]{\left\lfloor#1\right\rfloor} \newcommand{ind}[0]{\operatorname{ind}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{mmod}[1]{\ \left(\mathrm{mod}\ #1\right)} \newcommand{Mod}[1]{\ \left(\mathrm{mod}\ #1\right)} \newcommand{N}[0]{\mathbb{N}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rank}[0]{\mathrm{rank}} \newcommand{SS}[0]{\mathscr{S}} \newcommand{TT}[0]{\mathscr{T}} \newcommand{UU}[0]{\mathscr{U}} \newcommand{wenvert}[1]{\left\lvert\left\lvert#1\right\rvert\right\rvert} \newcommand{Z}[0]{\mathbb{Z}} $$

基本的な用語についてはグラフについても参照。

定義

グラフ $G = (V,E)$ について、頂点 $v$次数 (degree) $d(v)$とは $v$ に接続する辺の個数のことをいう。すべての頂点 $v\in V$ に関する次数の最大値を $\Delta(G) = \mathrm{max}_{v \in |G|}(d(v))$$G$最大次数といい、次数の最小値 $\delta(G) = \mathrm{min}_{v \in |G|}(d(v))$$G$最小次数という。空でない有限グラフ $G$ のすべての頂点 $v\in V$に関する次数の平均値 $d(G) = \frac{\sum_{v \in |G|} d(v)}{|G|}$$G$平均次数 という。

定義より明らかに、空でない有限グラフについて $$\delta(G) \leq d(G) \leq \Delta(G)$$ が成り立つ。

正則グラフ

有限グラフ $G = (V,E)$正則グラフ (regular graph)であるとは、任意の頂点 $v$ について $d(v)$ の値がすべて等しいことをいう。任意の頂点について $d(v) = k$ であるとき $G$$k$-正則グラフであるという。

性質

$$\sum_{v \in G} d(v) = 2|E|.$$

$$\sum_{v \in G} d(v) = \sum_{v\in G}\sum_{w: \{v, w\}\in E}1 = \sum_{(v, w)\in E^2: \{v, w\}\in E}1$$
となるが、各辺 $\{v, w\}\in E$ について $(v, w)$ および $(w, v)$ が対応するから、これは $2\abs{E}$ に等しい。

奇次数頂点の偶個数性 [deg_odd_even]

有限グラフについて、次数が奇数であるような頂点は偶数個存在する。

定理1 より $\sum_{v \in G} d(v) = 2|E|$ となるから、次数が奇数となるような頂点は偶数個存在する必要がある。

関連項目

参考文献

[1]
Bela Bollobas, Modern Graph Theory, corrected edition, Graduate Texts in Mathematics, 184, Springer, 2002
[2]
Reinhard Diestel, Graph Theory, 5th edition, Graduate Texts in Mathematics, 173, Springer, 2017