Havel-Hakimi定理