问答题
(∃x)B(x)
整数集合Z
问答题 G的任一割集S的关于G的补G-S(从G中删除所有S中的边)中不含有G的生成树。
问答题 (x)B(x)
问答题 G的任一生成树T的关于G的补G-T中不含有G的割集