共用题干题图G的围长是指G中最短回路的长；若G没有回路，则定义G的围长为无穷大．证明： 围长为4的k-正则图至少有2k个结点．

证明：在任何两个或两个以上人的组内，存在两个人在组内有相同个数的朋友。

问答题证明：在任何两个或两个以上人的组内，存在两个人在组内有相同个数的朋友。

（x）（y）C（x，y）

问答题（∀x）（∃y）C（x，y）

T是连通无向图G的生成树的充分必要条件是：T是G的连通生成子图，且T有n-1条边，这里n是G的结点数．

问答题T是连通无向图G的生成树的充分必要条件是：T是G的连通生成子图，且T有n-1条边，这里n是G的结点数．