离散数学-无向完全图边数计算