题目描述

mhy12345学习了二分图匹配,二分图是一种特殊的图,其中的点可以分到两个集合中,使得相同的集合中的点两两没有连边。

图的“匹配”是指这个图的一个边集,里面的边两两不存在公共端点。

匹配的大小是指该匹配有多少条边。

二分图匹配我们可以通过匈牙利算法得以在O(VE)时间复杂度内解决。

mhy12345觉得单纯的二分图匹配算法毫无难度,因此提出新的问题:

现在给你一个N个点N-1条边的连通图,希望你能够求出这个图的最大匹配以及最大匹配的数量。

两个匹配不同当且仅当存在一条边在第一个匹配中存在而在第二个匹配中不存在。

数据范围

分析与演绎

演绎直接得出树形动态规划。

设f[i]表示取i的最大匹配数,F[i]为这个情况下的方案数;

g[i]表示不取i的最大匹配数,G[i]为这个情况下的方案数。

转移方程显然。

代码

#include<iostream>
#include<stdio.h>
#include<string.h>
#include<math.h>
#include<algorithm>
#define write(x) (cout<<(x))
#define writeln(x) (cout<<(x)<<endl)
#define ll long long
using namespace std;
const char* fin="hungary.in";
const char* fout="hungary.out";
const ll inf=0x7fffffff;
const ll maxn=100008,maxm=maxn*2,mo=1000000007;
ll t,m,n,i,j,k;
ll f[maxn],F[maxn],g[maxn],G[maxn],h[maxn],H[maxn];
ll fi[maxn],la[maxm],ne[maxm],tot=0;
void add_line(ll a,ll b){
tot++;
ne[tot]=fi[a];
la[tot]=b;
fi[a]=tot;
}
ll read(){
ll x=0;
char ch=getchar();
while (ch<'0' && ch>'9') ch=getchar();
while (ch>='0' && ch<='9') x=x*10+ch-'0',ch=getchar();
return x;
}
ll qpower(ll a,ll b){
ll c=1;
while (b){
if (b&1) c=c*a%mo;
a=a*a%mo;
b>>=1;
}
return c;
}
ll N(ll a){
return qpower(a,mo-2);
}
void dfs(ll v,ll from){
ll i,j=0,k,sum=0,times=1;
f[v]=0;
F[v]=0;
g[v]=0;
G[v]=1;
for (k=fi[v];k;k=ne[k])
if (la[k]!=from){
dfs(la[k],v);
g[v]+=h[la[k]];
G[v]=G[v]*H[la[k]]%mo;
sum+=h[la[k]];
times=times*H[la[k]]%mo;
j=1;
}
for (k=fi[v];k;k=ne[k]){
if (la[k]!=from){
if (f[v]<sum-h[la[k]]+g[la[k]]+1){
f[v]=sum-h[la[k]]+g[la[k]]+1;
F[v]=times*N(H[la[k]])%mo*G[la[k]]%mo;
}else if (f[v]==sum-h[la[k]]+g[la[k]]+1) F[v]=(F[v]+times*N(H[la[k]])%mo*G[la[k]]%mo)%mo;
}
}
if (f[v]>g[v]) h[v]=f[v],H[v]=F[v];
else if (f[v]<g[v]) h[v]=g[v],H[v]=G[v];
else h[v]=f[v],H[v]=(F[v]+G[v])%mo;
}
int main(){
freopen(fin,"r",stdin);
freopen(fout,"w",stdout);
t=read();
m=read();
while (t--){
tot=0;
memset(fi,0,sizeof(fi));
n=read();
for (i=1;i<n;i++){
j=read();
k=read();
add_line(j,k);
add_line(k,j);
}
dfs(1,0);
write(h[1]);
if (m==2) write(" "),write(H[1]);
write(endl);
}
return 0;
}

启发

写动态规划之前,一定要明确动态规划转移方程。

【JZOJ4887】【NOIP2016提高A组集训第13场11.11】最大匹配的更多相关文章

  1. 【NOIP2016提高A组集训第13场11.11】最大匹配

    题目 mhy12345学习了二分图匹配,二分图是一种特殊的图,其中的点可以分到两个集合中,使得相同的集合中的点两两没有连边. 图的"匹配"是指这个图的一个边集,里面的边两两不存在公 ...

  2. 【JZOJ4886】【NOIP2016提高A组集训第13场11.11】字符串

    题目描述 某日mhy12345在教同学们写helloworld,要求同学们用程序输出一个给定长度的字符串,然而发现有些人输出了一些"危险"的东西,所以mhy12345想知道对于任意 ...

  3. JZOJ 【NOIP2016提高A组集训第16场11.15】兔子

    JZOJ [NOIP2016提高A组集训第16场11.15]兔子 题目 Description 在一片草原上有N个兔子窝,每个窝里住着一只兔子,有M条路径连接这些窝.更特殊地是,至多只有一个兔子窝有3 ...

  4. JZOJ 【NOIP2016提高A组集训第16场11.15】SJR的直线

    JZOJ [NOIP2016提高A组集训第16场11.15]SJR的直线 题目 Description Input Output Sample Input 6 0 1 0 -5 3 0 -5 -2 2 ...

  5. 【JZOJ4824】【NOIP2016提高A组集训第1场10.29】配对游戏

    题目描述 流行的跳棋游戏是在一个有m*n个方格的长方形棋盘上玩的.棋盘起初全部被动物或障碍物占满了.在一个方格中,'X'表示一个障碍物,一个'0'-'9'的个位数字表示一个不同种类的动物,相同的个位数 ...

  6. 【NOIP2016提高A组集训第4场11.1】平衡的子集

    题目 夏令营有N个人,每个人的力气为M(i).请大家从这N个人中选出若干人,如果这些人可以分成两组且两组力气之和完全相等,则称为一个合法的选法,问有多少种合法的选法? 分析 如果暴力枚举每个人被分到哪 ...

  7. 【JZOJ4841】【NOIP2016提高A组集训第4场11.1】平衡的子集

    题目描述 夏令营有N个人,每个人的力气为M(i).请大家从这N个人中选出若干人,如果这些人可以分成两组且两组力气之和完全相等,则称为一个合法的选法,问有多少种合法的选法? 数据范围 40%的数据满足: ...

  8. 【JZOJ4833】【NOIP2016提高A组集训第3场10.31】Mahjong

    题目描述 解法 搜索. 代码 #include<stdio.h> #include<iostream> #include<string.h> #include< ...

  9. 【NOIP2016提高A组集训第14场11.12】随机游走

    题目 YJC最近在学习图的有关知识.今天,他遇到了这么一个概念:随机游走.随机游走指每次从相邻的点中随机选一个走过去,重复这样的过程若干次.YJC很聪明,他很快就学会了怎么跑随机游走.为了检验自己是不 ...

随机推荐

  1. lumen使用CORS解决跨域问题

    因为公司的业务是前后端分离,web前端和后端接口域名不同,所以存在跨域问题,开始使用的是jsonp解决,但是因为接口风格是rest的,还有delete.put等请求,jsonp就不够用了(涉及HTTP ...

  2. http协议与servletl理解

    协议是指计算机通信网络中两台计算机之间进行通信所必须共同遵守的规定或规则,超文本传输协议(HTTP)是一种通信协议,它允许将超文本标记语言(HTML)文档从Web服务器传送到客户端的浏览器     s ...

  3. Nonsense Time

    Nonsense Time 时间限制: 10 Sec  内存限制: 128 MB 题目描述 You a given a permutation p1,p2,…,pn of size n. Initia ...

  4. 洛谷P3296 刺客信条

    题意: 给你一棵树,有两组01权值a[]和b[].n <= 700 你要构造一个自己到自己的映射,使得整棵树的形态不变,且映射后的a[]和映射之前的b[]中不同元素尽量少. 解: 发现这个整棵树 ...

  5. [Array] 561. Array Partition I

    Given an array of 2n integers, your task is to group these integers into n pairs of integer, say (a1 ...

  6. js 表格合并

    1.合并 function autoRowSpan(tbid, row, col) { var tb = document.getElementById(tbid); var lastValue = ...

  7. TZ_16_Vue定义全局组件和局部组件

    1.定义全局组件 我们通过Vue的component方法来定义一个全局组件. <div id="app"> <!--使用定义好的全局组件--> <co ...

  8. pc端拖拽

    var move=document.getElementsByClassName("page1_2")[0]; var startX=0; var startY=0; var x= ...

  9. [转]js的键盘事件

    类型 键盘事件用来描述键盘行为,主要有keydown.keypress.keyup三个事件 keydown 当用户按下键盘上的任意键时触发,如果按住不放的话,会重复触发该事件 <div id=& ...

  10. POSTMAN调试接口post对象

    APP回传设备信息,设备信息对象里边包含以下字段 后台是java ssh接收 用对象属性自动封装比较方便 所以,使用 方式进行回传 而不是使用网上说的 设置如下图