グラフの問題です。n個の点があり、それぞれの次数が、1、2、3、…、n−1、nとなるグラ
フが存在可能となるのは、どのようなnのときでしょうか?
DD++さんからのコメントです。(平成27年7月12日付け)
非連結なものでもいいとしたら、 n≡0、3 (mod 4) ですね。
必要性は全ての次数の合計 n(n-1)/2 が偶数でなければならないことから示され、十分性
は奇数次の点は偶数個あるのでそれらを任意にペアにして1本ずつ辺を作り、残りはその次
数になるまでループを作れば実際に条件を満たすグラフが作れるということから示されます。
KSさんからのコメントです。(平成27年7月18日付け)
連結の条件でも、結果は同じになると思います。