题目描述

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. WhaleCTF之web-http呀

    WhaleCTF之web-http呀 前往题目 不多说,看看源码 源码没有,抓包,发一下,也没有 猜测不是这个页面 burp抓包,把html改成php 发一下,在返回源码看到flag~

  2. python简单爬豆瓣电影排名

    爬豆瓣电影 网站分析: 1 打开https://movie.douban.com,选择  [排行榜],然后随便选择一类型,我这里选择科幻    2 一直浏览网页,发现没有下一的标签,是下滑再加载的,可 ...

  3. Chrome 地址栏如何设置显示 http/https 和 www

    首先在 chrome 地址栏输入以下地址 chrome://flags/#omnibox-ui-hide-steady-state-url-scheme-and-subdomains 然后使用 Ctr ...

  4. Nonsense Time

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

  5. 主流浏览器HTML5视频格式差异

    因最近在研究video.js,现在遇到的问题是在js中设置了swf,但是在ie8下只是显示黑屏并没有播放视频,在网上进行搜索时查到了有关各个浏览器支持哪些视频格式的文章,现在此记录下,方便以后查阅. ...

  6. git与github建立链接(学习笔记)

    总结步骤: 1.将所有文件添加到本库 git add . 2. git commit -m "提示信息随便写" 3.查看git修改状态 git status 4.获取远程库与本地同 ...

  7. 组合数学起步-排列计数[ZJOI2010][BZOJ2111]

    <题面> 数据范围:$1 \leq N \leq 10^6, P \leq 10^9 $ 这个题…… 以为是排列,其实是组合 题目中说是从所有排列中找到Magic的,就是 $p_{i/2} ...

  8. WPF内嵌CEF控件,与JS交互

    1)安装cefsharp.winform包 打开VS2017,打开nuget,找到cefsharp.winform,安装 问:为什么wpf程序不使用cefsharp.wpf? 答:因为cefwpf 4 ...

  9. [DEPRECATION] Encountered positional parameter near xxx Positional parameter are considered deprecated; use named parameters or JPA-style positional parameters instead.

    WARN:30 20:55:45,340ms- [HqlSqlWalker]1009行-[DEPRECATION] Encountered positional parameter near line ...

  10. 学习JDK1.8集合源码之--ArrayDeque

    1. ArrayDeque简介 ArrayDeque是基于数组实现的一种双端队列,既可以当成普通的队列用(先进先出),也可以当成栈来用(后进先出),故ArrayDeque完全可以代替Stack,Arr ...