計算機科学のブログ

グラフの基礎 握手補題、辺、頂点、帰納法

情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版)の第7章(グラフの基礎)、章末問題の7.1の解答を求めてみる。

辺が1つのとき、

v V deg G ( v ) = 2 = 2 | E |

また、 辺がn本のとき、

v V deg G ( v ) = 2 ( n - 1 ) + 2 = 2 n = 2 | E |

よって帰納法により 成り立つ。

(証明終)