传送门


好久没有做过图论题了……

考虑\(k\)次方的组合意义,实际上,要求的所有方案中导出子图边数的\(k\)次方,等价于有顺序地选出其中\(k\)条边,计算它们在哪一些图中出现过,将所有方案计算出来的答案加起来。

对于\(k\)条边来说,如果它们占据了\(x\)个点,那么它们就会出现在\(2^{n-x}\)张图中。

那么\(k=1\)答案显然是\(m \times 2^{n-2}\)

\(k=2\)时有\(3\)种情况:①两条边重合,等价于\(k=1\);②两条边不重合但共一个顶点,对于一条边\((s,t)\),这种情况的出现的次数为\(d_s + d_t - 2\);③两条边不重合且不共顶点,等于\(M^2\)减上面两种情况的出现次数。

\(k=3\)时情况比较多:①三条边重合,等价于\(k=1\);②其中有一对边重合,等价于\(k=2\);③三元环,使用三元环计数计算;

④三条边共占据\(4\)个点:有\(A \rightarrow B \rightarrow C \rightarrow D\)和\(A \rightarrow B , A \rightarrow C , A \rightarrow D\)两种情况。第一种情况可以枚举\(BC\)边,那么出现次数就是\((d_B - 1) \times (d_C - 1)\),注意有可能出现\(AD\)共点形成三元环的情况,所以在最后需要减掉\(3 \times\)三元环个数;第二种情况直接枚举点\(A\)。

⑤三条边共占据\(5\)个点,即\(A \rightarrow B \rightarrow C , D \rightarrow E\)的情况。可以枚举\(B\),那么方案数就是\(d_B(d_B - 1)(M - 2)\)。注意在这个时候会有③和④的情况重算,记得减掉。

⑥三条边两两没有共顶点,这个就是$M^3 - $①②③④⑤

三元环计数求一下③这道题就做完了。时间复杂度\(O(M \sqrt{M})\)。注意④⑤中重算部分的系数。

下面的代码里\(k=3\)的情况③④⑤⑥都是算的无序的;可能上面的描述里有序和无序有混淆,麻烦注意。

#include<bits/stdc++.h>
using namespace std; inline int read(){
int a = 0;
char c = getchar();
while(!isdigit(c)) c = getchar();
while(isdigit(c)){
a = a * 10 + c - 48;
c = getchar();
}
return a;
} #define int long long
const int MAXN = 1e5 + 7 , MOD = 1e9 + 7;
int N , M , K , s[MAXN] , t[MAXN] , in[MAXN] , pow2[MAXN]; inline int poww2(int b){return b < 0 ? 0 : pow2[b];} inline int poww(int a , int b){
int times = 1;
while(b){
if(b & 1) times = times * a % MOD;
a = a * a % MOD;
b >>= 1;
}
return times;
} namespace solve1{
int main(){return poww2(N - 2) * M % MOD;}
} namespace solve2{
int main(){
int ans = solve1::main();
for(int i = 1 ; i <= M ; ++i){
ans = (ans + (in[s[i]] + in[t[i]] - 2) * poww2(N - 3) + (M - 1 - (in[s[i]] + in[t[i]] - 2)) * poww2(N - 4)) % MOD;
}
return ans;
}
} namespace solve3{
int col[MAXN];
vector < int > ch[MAXN]; int calc3(){
int cnt = 0;
for(int i = 1 ; i <= M ; ++i)
if(in[s[i]] < in[t[i]] || (in[s[i]] == in[t[i]] && s[i] < t[i]))
ch[s[i]].push_back(t[i]);
else ch[t[i]].push_back(s[i]);
for(int i = 1 ; i <= N ; ++i){
for(auto p : ch[i]) col[p] = i;
for(auto p : ch[i])
for(auto q : ch[p])
if(col[q] == i) ++cnt;
}
return cnt % MOD;
} int main(){
int ans = solve2::main() , tmp = solve1::main();
ans = ((ans - tmp + MOD) * 3 + tmp) % MOD;
int cnt3 = calc3() , cnt4 = MOD - cnt3 * 3 % MOD , cnt5 = 0 , cnt6 = 0;
for(int i = 1 ; i <= N ; ++i)
cnt4 = (cnt4 + in[i] * (in[i] - 1) * (in[i] - 2) / 6) % MOD;
for(int i = 1 ; i <= M ; ++i)
cnt4 = (cnt4 + (in[s[i]] - 1) * (in[t[i]] - 1)) % MOD;
cnt5 = MOD - (cnt4 * 2 + cnt3 * 3) % MOD;
for(int i = 1 ; i <= N ; ++i)
cnt5 = (cnt5 + MOD - in[i] * (in[i] - 1) * (in[i] - 2) / 6 % MOD) % MOD;
for(int i = 1 ; i <= N ; ++i)
cnt5 = (cnt5 + in[i] * (in[i] - 1) * (M - 2) / 2) % MOD;
cnt6 = (M * (M - 1) * (M - 2) / 6 - cnt5 - cnt4 - cnt3) % MOD;
return (ans + 6 * (cnt3 * poww2(N - 3) + cnt4 * poww2(N - 4) + cnt5 * poww2(N - 5) + cnt6 * poww2(N - 6))) % MOD;
}
} signed main(){
pow2[0] = 1;
for(int i = 1 ; i <= 100000 ; ++i)
pow2[i] = (pow2[i - 1] << 1) % MOD;
for(int T = read() ; T ; --T){
N = read(); M = read(); K = read();
memset(in , 0 , sizeof(int) * (N + 1));
memset(solve3::col , 0 , sizeof(int) * (N + 1));
for(int i = 1 ; i <= N ; ++i)
solve3::ch[i].clear();
for(int i = 1 ; i <= M ; ++i){
s[i] = read(); t[i] = read();
++in[s[i]]; ++in[t[i]];
}
if(K == 1) cout << solve1::main() << endl;
else if(K == 2) cout << solve2::main() << endl;
else cout << solve3::main() << endl;
}
return 0;
}

Codechef SUMCUBE Sum of Cubes 组合、三元环计数的更多相关文章

  1. 【BZOJ5332】[SDOI2018]旧试题(数论,三元环计数)

    [BZOJ5332][SDOI2018]旧试题(数论,三元环计数) 题面 BZOJ 洛谷 题解 如果只有一个\(\sum\),那么我们可以枚举每个答案的出现次数. 首先约数个数这个东西很不爽,就搞一搞 ...

  2. loj#6076「2017 山东一轮集训 Day6」三元组 莫比乌斯反演 + 三元环计数

    题目大意: 给定\(a, b, c\),求\(\sum \limits_{i = 1}^a \sum \limits_{j = 1}^b \sum \limits_{k = 1}^c [(i, j) ...

  3. BZOJ.5407.girls/CF985G. Team Players(三元环计数+容斥)

    题面 传送门(bzoj) 传送门(CF) \(llx\)身边妹子成群,这天他需要从\(n\)个妹子中挑出\(3\)个出去浪,但是妹子之间会有冲突,表现为\(i,j\)之间连有一条边\((i,j)\), ...

  4. LOJ2565 SDOI2018 旧试题 莫比乌斯反演、三元环计数

    传送门 这道题的思路似乎可以给很多同时枚举三个量的反演题目提供一个很好的启发-- 首先有结论:\(d(ijk) = \sum\limits_{x|i}\sum\limits_{y|j}\sum\lim ...

  5. [hdu 6184 Counting Stars(三元环计数)

    hdu 6184 Counting Stars(三元环计数) 题意: 给一张n个点m条边的无向图,问有多少个\(A-structure\) 其中\(A-structure\)满足\(V=(A,B,C, ...

  6. HDU 6184 Counting Stars 经典三元环计数

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=6184 题意: n个点m条边的无向图,问有多少个A-structure 其中A-structure满足V ...

  7. HDU6184【Counting Stars】(三元环计数)

    题面 传送门 给出一张无向图,求 \(4\) 个点构成两个有公共边的三元环的方案数. 题解 orz余奶奶,orz zzk 首先,如果我们知道经过每条边的三元环个数\(cnt_i\),那么答案就是\(\ ...

  8. FJWC2019 子图 (三元环计数、四元环计数)

    给定 n 个点和 m 条边的一张图和一个值 k ,求图中边数为 k 的联通子图个数 mod 1e9+7. \(n \le 10^5, m \le 2 \times 10^5, 1 \le k \le ...

  9. hdu6184 Counting Stars 【三元环计数】

    题目链接 hdu6184 题解 题意是让我们找出所有的这样的图形: 我们只需要求出每条边分别在多少个三元环中,记为\(x\),再然后以该点为中心的图形数就是\({x \choose 2}\) 所以我们 ...

随机推荐

  1. MySQL优化技巧【持续更新】

    前言 应用程序或web网页有时慢的像蜗牛爬似的,可能是网络原因,可能是系统架构原因,还有可能是数据库原因.那么如何提高数据库SQL语句执行速度呢?下面是积累的一些优化技巧,望对君有用. 正文 1.比较 ...

  2. 记一次 MySQL semaphore crash 的分析(爱可生)

    文章来源:爱可生云数据库作者:洪斌 DBA应该对InnoDB: Semaphore wait has lasted > 600 seconds. We intentionally crash t ...

  3. 函数指针的返回值是指针数组,数组里放的是int;函数指针的返回值是指针数组,数组里放的是int指针

    函数指针的返回值是指针数组,数组里放的是int 函数指针的返回值是指针数组,数组里放的是int指针 #include <stdio.h> #include <stdlib.h> ...

  4. 关于激活Windows10专业版2018长期服务版

    之前重装了一次系统,偷懒用了小白一键重装,装好之后显示的是Windows10专业版2018长期服务版,当时也没想太多就放着用了. 然后 ,这几天一直提示  “你的windows许可证即将过期” ,就按 ...

  5. Windows SDK 8安装失败的绕坑办法

    安装win sdk 8,提示错误:管道正在被关闭. 查看安装log文件,有如下错误: Error 0x800700e8: Failed to write message type to pipe.Er ...

  6. Word中的通配符随意组合进行批量替换或删除某些内容

    长文档需要批量修改或删除某些内容的时候,我们可以利用Word中的通配符来搞定这一切,当然,前提是你必须会使用它.通配符的功能非常强大,能够随意组合替换或删除我们定义的规则内容,下面易老师就分享一些关于 ...

  7. Angular路由与多视图综合案例

    Ajax请求存在的几个问题 (1)Ajax请求不会留下History 记录,会导致浏览器后退按钮失效 (2)用户无法直接通过URL进入应用中的指定页面(保存书签.链接分享给朋友) (3)Ajax对SE ...

  8. 查看linux系统是运行在物理机还是虚拟机方法

    Windows:在CMD里输入:Systeminfo | findstr /i "System Model"如果System Model:后面含有Virutal就是虚拟机,其他都是 ...

  9. ES5-ES6-ES7_async函数

    async 函数概述 async/await应该是目前最简单的异步方案,ES7 中新增了 async/await 两个关键词. async 可以声明一个异步函数,此函数需要返回一个 Promise 对 ...

  10. E - Intervals 贪心

    Chiaki has n intervals and the i-th of them is [li, ri]. She wants to delete some intervals so that ...