原文：https://www.cnblogs.com/NicoDafaGood/p/7552893.html

题意

给一个n个点,m条边的无向图,求该图与其补图的三元环个数.
(n<=1e5,m<=1e5,保证没有自环)

思路

首先考虑一个完全图,任意三个点都可以构成一个三元环.

环的个数为\(\frac{n*(n-1)*(n-2)}{6}\)

所有的边都会在原图或者补图中出现.

当且仅当三元环中三条边都为原图边或补图边时这个三元环会在原图或补图中出现

所以不会在原图或者补图中出现的环一定含有两种边

也就是\(\sum(n-k_i-1)*k_i/2\)条边不会在原图和补图中出现

所以原图和补图中出现的环数和为

\(n*(n-1)*(n-2)/6-∑(n-ki-1)*ki/2\)

现在只需找到原图中环的个数

将所有点分成两类:

1. \(度数 < sqrt(m)\)
2. \(度数 > sqrt(m)\)

先求包含第一类点的三元环个数.
由于边很少,所以枚举2条边即可.由于一个点的度不超过sqrt(m),所以一条边最多被枚到(sqrt(m))次,最多枚M条边,所以这个操作时\(O(m\sqrt m)\)的.

再求不包含第一类点的三元环个数.
由于每条边贡献2个度,所以二类点的数量是\(O(\sqrt m)\)级的.直接枚举三个点,复杂度\(O(( \sqrt{m} )^3)=O(m\sqrt m)\)

所以算法总的复杂度是\(O(m\sqrt m)\)的.