问答题设〈S，·〉是独异点，e是单位元，且S中任意x，有x·x=e。证明：〈S，·〉是交换群。
问答题设G是无向简单图，有2n个结点且每个结点度数均为n。证明：G是连通图。
问答题其中有几条回路
问答题设解释I如下：D={2，3}，已知f(2)=3，f(3)=2，F(2)=0，F(3)=1，G(2，2)=G(2，3) =0，G(3，2)=G(3，3)=1。求谓词公式在I下的真值。
问答题G中长为4的通路有几条
