Description

定义线图为把无向图的边变成点,新图中点与点之间右边当且仅当它们对应的边在原图中有公共点,这样得到的图。

定义弦图为不存在一个长度大于3的纯环,纯环的定义是在环上任取两个不相邻的点,它们之间都没有边,也就是不存在没有弦的环的无向图。

现在给出一棵n个点的树,你可以在上面添加任意多条边(不能重边),要求得到的图的线图是弦图,求加边的方案数。

n<=200000

Solution

画图可以发现,一个无向图的线图是弦图的充要条件就是不存在长度大于3的环(不一定是纯环)

也就是说,我们加边只能加成三角形,并且加的边还不能交叉。

转化后的题意等价于将树上的边分成若干个集合,每个集合要么是单独一条边,要么是两条相邻的边,问方案数。

\(O(n^2)\)的暴力呼之欲出,我们记\(f[i][0/1]\)表示处理完\(i\)的子树,\(i\)向父亲的这条边是否与子树内的边组合了。

转移的时候,我们只需要知道所有儿子中有几个0,也就是有几条边需要我们来分配。

不妨再DP预处理出一个数组\(g[i][0/1]\),表示一个点下面挂着i条边,要分配集合,i的父亲边是否参与的方案数。

我们考虑每次新加一条边,要么自成集合,要么与之前的某一个组合,有

\(g[i][0]=g[i-1]+g[i-2][0]*(i-1),g[i][1]=g[i-1][0]*i\)

由于只要知道有几个0,这显然可以分治NTT优化,这样就做完了。

时间复杂度\(O(n\log^2 n)\)

Code

以下代码未经测试,完全不能保证正确性。

(惨遭证伪,请勿参考)

#include <bits/stdc++.h>
#define fo(i,a,b) for(int i=a;i<=b;++i)
#define fod(i,a,b) for(int i=a;i>=b;--i)
#define N 200005
#define M 524288
using namespace std;
const int mo=998244353;
typedef long long LL;
int n,m1,fs[N],nt[2*N],dt[2*N];
LL f[N][2],g[N];
LL ksm(LL k,LL n)
{
LL s=1;
for(;n;n>>=1,k=k*k%mo) if(n&1) s=s*k%mo;
return s;
}
void link(int x,int y)
{
nt[++m1]=fs[x];
dt[fs[x]=m1]=y;
}
namespace poly
{
int len,st[N],le[N],a[M+1];
int u1[M+1],u2[M+1],l2[M+1],cf[20],wg[M+1],wi[M+1],ny[M+1],bit[M+1];
void init()
{
fo(i,0,18) l2[cf[i]=(1<<i)]=i;
fod(i,M-1,2) if(!l2[i]) l2[i]=l2[i+1];
wg[0]=1,wg[1]=ksm(3,(mo-1)/M);
ny[1]=1;
fo(i,2,M) wg[i]=(LL)wg[i-1]*wg[1]%mo,ny[i]=(-(LL)ny[mo%i]*(mo/i)%mo+mo)%mo;
}
void prp(int num)
{
int p=M/num,w=cf[l2[num]-1];
fo(i,0,num-1) bit[i]=(bit[i>>1]>>1)|((i&1)<<w),wi[i]=wg[i*p];
}
int inc(int x,int y) {x+=y;return(x>=mo)?x-mo:x;}
int dec(int x,int y) {x-=y;return(x<0)?x+mo:x;} void DFT(int *a,int num)
{
fo(i,0,num-1) if(i<bit[i]) swap(a[i],a[bit[i]]);
for(int h=1,l=num>>1;h<num;h<<=1,l>>=1)
{
for(int j=0;j<num;j+=(h<<1))
{
int *x=a+j,*y=x+h,*w=wi,v;
for(int i=0;i<h;i++,x++,y++,w+=l)
{
v=(LL)(*x)*(*y)%mo;
*y=dec(*x,v),*x=inc(*x,v);
}
}
}
}
void IDFT(int *a,int num)
{
DFT(a,num);
fo(i,0,num-1) a[i]=(LL)a[i]*ny[num]%mo;
reverse(a+1,a+num);
} void doit(int l,int r)
{
if(l==r) return;
int mid=(l+r)>>1;
doit(l,mid),doit(mid+1,r);
int num=cf[l2[le[l]+le[mid+1]-1]];
prp(num);
memset(u1,0,4*num),memset(u2,0,4*num);
fo(i,0,le[l]-1) u1[i]=a[st[l]+i];
fo(i,0,le[mid+1]-1) u2[i]=a[st[mid]+i];
DFT(u1,num),DFT(u2,num);
fo(i,0,num-1) u1[i]=(LL)u1[i]*u2[i]%mo;
IDFT(u1,num);
le[l]+=le[mid+1]-1;
fo(i,0,le[l]-1) a[st[l]+i]=u1[i];
}
}
using namespace poly; void dfs(int k,int fa)
{
for(int i=fs[k];i;i=nt[i])
{
int p=dt[i];
if(p!=fa) dfs(p,k);
}
len=0;
int cnt=0;
for(int i=fs[k];i;i=nt[i])
{
int p=dt[i];
if(p!=fa)
{
cnt++;
a[st[cnt]=len++]=f[p][1];
a[len++]=f[p][0];
le[cnt]=2;
}
}
if(!cnt) f[k][0]=1;
else
{
doit(1,cnt);
f[k][0]=f[k][1]=0;
fo(i,0,le[1]-1)
{
f[k][0]=(f[k][0]+(LL)a[i]*g[i])%mo;
if(i) f[k][1]=(f[k][1]+(LL)a[i]*g[i-1]%mo*(LL)i)%mo;
}
}
}
int main()
{
cin>>n;
fo(i,1,n-1)
{
int x,y;
scanf("%d%d",&x,&y);
link(x,y),link(y,x);
}
g[0]=1,g[1]=1;
fo(i,2,n) g[i]=(g[i-1]+g[i-2]*(i-1))%mo;
init();
dfs(1,0);
printf("%lld\n",f[1][0]);
}

【PKUSC2019】线弦图【计数】【树形DP】【分治FFT】的更多相关文章

  1. 【BZOJ5119】【CTT2017】生成树计数 DP 分治FFT 斯特林数

    CTT=清华集训 题目大意 有\(n\)个点,点权为\(a_i\),你要连接一条边,使该图变成一颗树. 对于一种连边方案\(T\),设第\(i\)个点的度数为\(d_i\),那么这棵树的价值为: \[ ...

  2. [SHOI2008]仙人掌图 II——树形dp与环形处理

    题意: 给定一个仙人掌,边权为1 距离定义为两个点之间的最短路径 直径定义为距离最远的两个点的距离 求仙人掌直径 题解: 类比树形dp求直径. f[i]表示i向下最多多长 处理链的话,直接dp即可. ...

  3. HDU5593 ZYB's Tree 树形DP +分治

    感觉其实就是树分治,一次BC的题,感觉这次题目质量比较高,仅代表蒟蒻的看法 一次DFS获取每个点到子树的距离不大于K的点的个数, 然后一遍BFS获取从每个点父亲不大于K的的个数,层层扩展,还是想说 其 ...

  4. CSU 1804 - 有向无环图 - [(类似于)树形DP]

    题目链接:http://acm.csu.edu.cn/csuoj/problemset/problem?pid=1804 Bobo 有一个 n 个点,m 条边的有向无环图(即对于任意点 v,不存在从点 ...

  5. BZOJ4871 Shoi2017摧毁“树状图”(树形dp)

    设f[i][0/1/2/3/4/5]表示i子树中选一条链不包含根/i子树中选一条链包含根但不能继续向上延伸/i子树中选一条链可以继续向上延伸/选两条链不包含根/选两条链包含根但不能继续向上延伸/选两条 ...

  6. bzoj 4871: [Shoi2017]摧毁“树状图”【树形dp】

    做不来--参考https://www.cnblogs.com/ezyzy/p/6784872.html #include<iostream> #include<cstdio> ...

  7. 【LOJ565】【LibreOJ Round #10】mathematican 的二进制 DP 分治FFT

    题目大意 有一个无限长的二进制串,初始时它的每一位都为 \(0\).现在有 \(m\) 个操作,其中第 \(i\) 个操作是将这个二进制串的数值加上 \(2^{a_i}\).我们称每次操作的代价是这次 ...

  8. BZOJ 3456 城市规划 (组合计数、DP、FFT)

    题目链接: https://www.lydsy.com/JudgeOnline/problem.php?id=3456 著名的多项式练习题,做法也很多,终于切掉了纪念 首先求一波递推式: 令\(F(n ...

  9. HDU 2242 连通分量缩点+树形dp

    题目大意是: 所有点在一个连通图上,希望去掉一条边得到两个连通图,且两个图上所有点的权值的差最小,如果没有割边,则输出impossible 这道题需要先利用tarjan算法将在同一连通分量中的点缩成一 ...

随机推荐

  1. 如何重装mysql8及初次修改密码

    首先在设置里卸载旧版的mysql 然后把你之前的安装的mysql文件夹整个删掉 然后删除注册表的MySQL信息 安装新版的MySQL 新建并配置my-default.ini文件 如下: [mysqld ...

  2. 比反射更快!使用ASM获取class信息(ClassReader)

    比反射更快!使用ASM获取class信息(ClassReader) 通常我们想要在java运行时获取class的信息时,通常使用反射的方式来获取其中的属性,方法,注解等信息.通常是这样的: Class ...

  3. 面试常考的js题目(一)

    1.找出dom文档中某个元素下面的所有文字(面试写的一塌糊涂,回来重写的) 1.返回回数组形式的 function getText(ele) { if (ele.nodeType === 3) { r ...

  4. 简单搭建http服务器-HttpListener使用

    使用HTTPListener可以简单搭建一个Http服务器,对于本地使用很是方面,想起之前使用了WebSocket来与本地网页通讯的例子,也是可以改为使用HTTPListener来做的.看下HTTPL ...

  5. spring boot zuul集成kubernetes等第三方登录

    介绍一下,在单点登录平台集成kubernetes登录,集成其它系统的登录原理是一样的,如grafana, nacos, jenkins等. POM引用: <dependency> < ...

  6. JS图片轮播[左右轮播

    直接可以用,网上摘下来的! <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http ...

  7. GridView中点击某行的任意位置就选中该行

    GridView中点击某行的任意位置就选中该行 -- :: 分类: 第一步:添加选择列 点击GridView右边小尖头,双击CommandField,选中"选择",添加,将起设置为不可见: 第二步:处 ...

  8. jquery ready load

    jq 加载三种写法 $(document).ready(function() { // ...代码... }) //document ready 简写 $(function() { // ...代码. ...

  9. idea安装完成后要做的几件事(设置字体、编码、行号)

    1.设置字体大小和样式 打开设置:File-->Settings 看到如下界面,输入font,点击Editor目录下的Font设置字体大小和样式: Font:字体样式 size:字体大小 Fal ...

  10. 人脸识别之Python DLib库进行人脸关键点识别

    一.首先安装DLib模块 这里只介绍linux安装的过程,windows安装过程请自行百度 1.首先,安装dlib.skimage前:先安装libboost sudo apt-get install ...