题面

传送门

给出一张无向图,求 \(4\) 个点构成两个有公共边的三元环的方案数。

题解

orz余奶奶,orz zzk

首先,如果我们知道经过每条边的三元环个数\(cnt_i\),那么答案就是\(\sum_{i=1}^m{cnt_i\choose 2}\)

所以现在问题就是该怎么数三元环

据说有一个设阈值的\(O(m\sqrt{m})\)的做法,不过常数太大了,这里不讲

我们把每一条边重定向,设它连接的两个点的度数分别为\(deg_u\)和\(deg_v\),那么把这条边定为从度数大的连向度数小的,如果度数相同按标号大小。这样显然可以建出一个有向无环图

所以怎么找环呢

我们枚举点\(u\),并枚举它的所有出边,把出边指向的点\(v\)标记上\(u\)。然后再枚举一边出边,并对每个\(v\)也枚举出边,如果\(v\)的出边指向的点\(w\)上的标记是\(u\)那么说明找到了一个三元环

显然,每个三元环都会被统计恰好一次

接下来的问题是复杂度,我们要证明它的上界是\(O(m\sqrt{m})\)

1.\(\forall v,out_v\leq \sqrt{m}\),每一次枚举\(v\)的出边的复杂度不会超过\(O(\sqrt{m})\),所以这一部分复杂度不会超过\(O(m\sqrt{m})\)

2.\(\forall v,out_v\geq \sqrt{m}\),因为在这种情况下必有\(deg_u\geq deg_v\),所以所有这样的\(u\)不会超过\(O(\sqrt{m})\)个,每一个\(out_v\)的贡献最多是\(\sqrt{m}out_v\),由于\(\sum out_v=O(m)\),所以这一部分的复杂度也不会超过\(O(m\sqrt{m})\)

不过这个做法常数不知道比设阈值小到哪里去了

//minamoto
#include<bits/stdc++.h>
#define R register
#define ll long long
#define fp(i,a,b) for(R int i=(a),I=(b)+1;i<I;++i)
#define fd(i,a,b) for(R int i=(a),I=(b)-1;i>I;--i)
#define go(u) for(int i=head[u],v=e[i].v;i;i=e[i].nx,v=e[i].v)
using namespace std;
char buf[1<<21],*p1=buf,*p2=buf;
inline char getc(){return p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++;}
int read(){
R int res,f=1;R char ch;
while((ch=getc())>'9'||ch<'0')if(ch==EOF)return -1;
for(res=ch-'0';(ch=getc())>='0'&&ch<='9';res=res*10+ch-'0');
return res*f;
}
const int N=2e5+5;
struct eg{int v,nx;}e[N<<1];int head[N],tot;
inline void add(R int u,R int v){e[++tot]={v,head[u]},head[u]=tot;}
struct EG{int u,v;}E[N];
int n,m,tim,deg[N],pt[N],vis[N],cnt[N];ll res;
int main(){
// freopen("testdata.in","r",stdin);
while(~(n=read(),m=read())){
tot=tim=0;fp(i,1,n)head[i]=deg[i]=vis[i]=0;
fp(i,1,m)E[i].u=read(),E[i].v=read(),++deg[E[i].u],++deg[E[i].v],cnt[i]=0;
fp(i,1,m)deg[E[i].u]>deg[E[i].v]||(deg[E[i].u]==deg[E[i].v]&&E[i].u>E[i].v)?add(E[i].u,E[i].v):add(E[i].v,E[i].u);
fp(u,1,n){
++tim;go(u)pt[v]=i,vis[v]=tim;
for(R int k=head[u];k;k=e[k].nx)go(e[k].v)
if(vis[v]==tim)++cnt[i],++cnt[k],++cnt[pt[v]];
}
res=0;
fp(i,1,m)res+=1ll*cnt[i]*(cnt[i]-1)>>1;
printf("%lld\n",res);
}
return 0;
}

HDU6184【Counting Stars】(三元环计数)的更多相关文章

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

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

  2. Codechef SUMCUBE Sum of Cubes 组合、三元环计数

    传送门 好久没有做过图论题了-- 考虑\(k\)次方的组合意义,实际上,要求的所有方案中导出子图边数的\(k\)次方,等价于有顺序地选出其中\(k\)条边,计算它们在哪一些图中出现过,将所有方案计算出 ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

随机推荐

  1. MySQL数据库篇之完整性约束和表关系

    主要内容: 一.完整性约束 二.表关系 1️⃣ 完整性约束 (1)何为完整性约束? 约束条件与数据类型的宽度一样,都是可选参数. 作用:用于保证数据的完整性和一致性 (2)分类主要有以下五类: 1.n ...

  2. 解决OpenFeign默认无法上传文件的问题

    前言 最近在项目中使用OpenFeign时,发现其不支持文件上传功能.网上找了很多资料,最后找到feign-form和feign-form-spring的解决方案.但其默认只支持单文件上传,不支持多文 ...

  3. android-tip-关于SurfaceView的使用

    1. SurfaceView的创建和销毁     当SurfaceView隐藏时,SurfaceView被销毁,此时会调用SurfaceHolder.Callback.surfaceDestroyed ...

  4. Boost线程详解

    一.创建一个线程 创建线程 boost::thread myThread(threadFun); 需要注意的是:参数可以是函数对象或者函数指针.并且这个函数无参数,并返回void类型. 当一个thre ...

  5. not1,not2,bind1st和bind2nd详解

    1.引言 bind1st和bind2nd函数用于将一个二元函数对象(binary functor,bf)转换成一元函数对象(unary functor,uf).为了达到这个目的,它们需要两个参数:要转 ...

  6. Java 程序员最喜欢的 11 款免费 IDE 编辑器

    Java开发人员需要花费大量的时间埋头于Java代码中,使用各种不同的IDE(Intergrated Development Environment)来开发Java代码,所以下面我将为大家介绍11个不 ...

  7. linux环境下搭建osm_web服务器一(Postgresql配置及osm2pgsql原始数据导入):

    Postgresql配置及osm2pgsql原始数据导入 2012年,Ubuntu 12.04LTS发布,又一个长效支持版,我们又该更新OpenStreetMap服务器了,这次,将详细在博客中记录配置 ...

  8. Spring.net 表达式解析ExpressionEvaluator

    1.类定义 public class Company { private string name; private Employee managingDirector; public string N ...

  9. ASP.NET MVC 跨controller函数调用

    var controller = DependencyResolver.Current.GetService<ControllerClassName>(); controller.User ...

  10. SIGPIPE信号解析

    当服务器close一个连接时,若client端接着发数据.根据TCP协议的规定,会收到一个RST响应,client再往这个服务器发送数据时,系统会发出一个SIGPIPE信号给进程,告诉进程这个连接已经 ...