>>776
その「木」にすべての考えられるパターンが含まれること(漏れがないこと)と、
その構造が本当にひとつの「木」である(つまり、単連結であって閉路を含まない)ことはどこでわかりますか？