Existence of Rooted Tree

解説

$\sum_{i=1}^{N}{A_i}=N-1$ が必要十分条件です。

必要性はすべての頂点の子の数の合計が辺数と等しいことから分かり、十分性は $N$ に関する数学的帰納法で示せます。