正式なステートメント

ウィキペディア小見出し辞書

正式なステートメント

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/18 06:01 UTC 版)

「オーレの定理」の記事における「正式なステートメント」の解説

G が有限単純グラフで、頂点数 n ≥ 3 とする。G の頂点 v の次数（その頂点に接続する辺の数）を deg v と書く。このとき、 隣接しない任意の2頂点 v, w について deg v + deg w ≥ n (∗) であるなら、G はハミルトングラフである。