对 mmm 条边求公共邻点下界,得到边与完成顶点的出现次数。每个好三元组有三条边,故被计数三次。每个 did_idi 对每条相连的边出现一次,因此度数项总和为 ∑idi2\sum_i d_i^2∑idi2,而 nnn 项总和为 mnmnmn。