填空题 设u，v为无向完全图Kn中的任意两个不同的顶点，问d（u，v）等于（）。

问答题 在公式（x）（P（x，y）→Q（x，z））∧（y）R（x，y）中，试对约束变元进行换名，对自由变元进行代入。

问答题 设G是无向简单图，δ（G）≥2，证明G中存在长度大于或等于δ（G）+1的圈。