[ARC087D] Squirrel Migration 补题记录
题目链接
简要题意:
给你一个\(N\)个节点的树,求一个\(1\cdots N\)的排列\((p_1,p_2,\cdots p_N)\) ,使得\(\sum dist(i,p_i)\)最大。
求这样的排列的个数。答案对\(10^9+7\)取模。
分析
先考虑怎么构造出 \(\sum dist(i,p_i)\) 最大的 \(p\) 。
先取出一条边,把它断开,使得原树分成两个部分 \(S_1\) 和 \(S_2\) 。
在最多的情况下,每一个都会走到另一个集合,所以路过切断边的次数是 \(2\times\min\{|S_1|,|S_2|\}\) 。
现在取出当前树的重心,至于为什么是重心:
考虑对于每一条边的贡献,及是之前讲的 \(2\times\min\{|S_1|,|S_2|\}\) ,我们要让贡献最大,显然要让 \(|S_1|\) 和 \(|S_2|\) 尽可能平衡。
自然而然就可以想到重心。
我们设当前子树为 \(S\) ,对于子树内的节点 \(u\) 可以得到最大的构造方案是:
\]
接下来考虑容斥求方案数。
我们设 \(f_i\) 表示有 \(i\) 个数不满足条件,其他随便选的方案数。
那么:
\]
至于为什么有 \((n-i)!\) 是因为剩下的随便排列都是可以的。
我们考虑每一个与 \(\text{root}\) 连边的子树,设其大小为 \(\text{size}\) 。
可以得到这个子树中
\]
也是比较好理解的,小学乘法原理即可。
最后背包一下,具体可看代码。
#include <cstdio>
#include <vector>
#include <cstring>
#include <iostream>
#include <algorithm>
#define file(a) freopen(a".in", "r", stdin), freopen(a".out", "w", stdout)
#define Enter putchar('\n')
#define quad putchar(' ')
#define int long long
const int N = 5005;
const int mod = 1e9 + 7;
int n, siz[N], w[N], root, fac[N], f[N], ans, inv[N];
std::vector <int> dis[N];
inline int power(int a, int n);
inline int C(int n, int m);
inline void get_root(int now, int father);
inline void dfs(int now, int father);
signed main(void) {
// file("AT3728");
f[0] = 1; fac[0] = 1; inv[0] = 1;
std::cin >> n;
for (int i = 1; i <= n; i++)
fac[i] = fac[i - 1] * i % mod;
inv[n] = power(fac[n], mod - 2);
for (int i = n - 1; i >= 1; i--)
inv[i] = inv[i + 1] * (i + 1) % mod;
for (int i = 1, x, y; i < n; i++) {
scanf("%lld %lld", &x, &y);
dis[x].emplace_back(y);
dis[y].emplace_back(x);
}
get_root(1, 0);
memset(siz, 0, sizeof(siz));
dfs(root, 0);
for (int t : dis[root]) {
int x = siz[t];
for (int j = n; j >= 0; j--) {
for (int k = 1; k <= std::min(j, x); k++) {
int mul = C(x, k) * fac[x] % mod * inv[x - k] % mod;
f[j] = (f[j] + f[j - k] * mul % mod) % mod;
}
}
}
for (int i = 0; i <= n; i++) {
int flag = 1, num;
if (i % 2 == 1) flag = -1;
num = f[i] * fac[n - i] % mod;
ans = ans + flag * num;
ans = (ans % mod + mod) % mod;
}
std::cout << ans << std::endl;
return 0;
}
inline int power(int a, int n) {
int ret = 1;
while (n) {
if (n & 1) ret = ret * a % mod;
a = a * a % mod;
n /= 2;
}
return ret;
}
inline int C(int n, int m) {
if (n < m) return 0;
int ret = fac[n];
ret = ret * inv[m] % mod;
ret = ret * inv[n - m] % mod;
return ret;
}
inline void get_root(int now, int father) {
siz[now] = 1; w[now] = 0;
for (int t : dis[now]) {
if (t == father) continue;
get_root(t, now);
siz[now] += siz[t];
w[now] = std::max(w[now], siz[t]);
}
w[now] = std::max(w[now], n - siz[now]);
if (w[now] <= n / 2) root = now;
}
inline void dfs(int now, int father) {
siz[now] = 1;
for (int t : dis[now]) {
if (t == father) continue;
dfs(t, now);
siz[now] += siz[t];
}
}
[ARC087D] Squirrel Migration 补题记录的更多相关文章
- 【补题记录】ZJU-ICPC Summer Training 2020 部分补题记录
补题地址:https://zjusummer.contest.codeforces.com/ Contents ZJU-ICPC Summer 2020 Contest 1 by Group A Pr ...
- 【JOISC 2020 补题记录】
目录 Day 1 Building 4 Hamburg Steak Sweeping Day 2 Chameleon's Love Making Friends on Joitter is Fun R ...
- 【cf补题记录】Codeforces Round #608 (Div. 2)
比赛传送门 再次改下写博客的格式,以锻炼自己码字能力 A. Suits 题意:有四种材料,第一套西装需要 \(a\).\(d\) 各一件,卖 \(e\) 块:第二套西装需要 \(b\).\(c\).\ ...
- 【cf补题记录】Codeforces Round #607 (Div. 2)
比赛传送门 这里推荐一位dalao的博客-- https://www.cnblogs.com/KisekiPurin2019/ A:字符串 B:贪心 A // https://codeforces.c ...
- Codeforces 1214 F G H 补题记录
翻开以前打的 #583,水平不够场上只过了五题.最近来补一下题,来记录我sb的调试过程. 估计我这个水平现场也过不了,因为前面的题已经zz调了好久-- F:就是给你环上一些点,两两配对求距离最小值. ...
- Yahoo Programming Contest 2019 补题记录(DEF)
D - Ears 题目链接:D - Ears 大意:你在一个\(0-L\)的数轴上行走,从整数格出发,在整数格结束,可以在整数格转弯.每当你经过坐标为\(i-0.5\)的位置时(\(i\)是整数),在 ...
- Codeforces 补题记录
首先总结一下前段时间遇到过的一些有意思的题. Round #474 (Div. 1 + Div. 2, combined) Problem G 其实关键就是n这个数在排列中的位置. 这样对于一个排 ...
- 【补题记录】NOIp-提高/CSP-S 刷题记录
Intro 众所周知原题没写过是很吃亏的,突然发现自己许多联赛题未补,故开此坑. 在基本补完前会持续更新,希望在 NOIp2020 前填完. 虽然是"联赛题",但不少题目还是富有思 ...
- ZJUT11 多校赛补题记录
牛客第一场 (通过)Integration (https://ac.nowcoder.com/acm/contest/881/B) (未补)Euclidean Distance (https://ac ...
随机推荐
- window 的简单使用
window 的延迟加载 js代码 window的原始用法 (缺点 : 只能使用一次) window.onload = function() { var btn = document.querySel ...
- 手写一个bind
1 Function.prototype.bind1 = function(){ 2 // 将类数组转化成数组 3 let arr = Array.prototype.slice.call(argum ...
- 【远程文件浏览器】Unity+Lua开发调试利器
Remote File Explorer是一个跨平台的远程文件浏览器,用户通过Unity Editor就能操作运行在手机上的游戏或是应用的的目录文件.比如当项目打包运行到设备上时,可通过Remote ...
- Aop踩坑!记一次模板类调用注入属性为空的问题
问题起因 在做一个需求的时候,发现原来的代码逻辑都是基于模板+泛型的设计模式,模板用于规整逻辑处理流程,泛型用来转换参数和选取实现类.听上去是不是很nice! 类目录结构 AbstractTestAo ...
- 集合篇-ConcurrentHashMap
点赞再看,养成习惯,微信搜索「小大白日志」关注这个搬砖人. 文章不定期同步公众号,还有各种一线大厂面试原题.我的学习系列笔记. jdk1.7和jdk1.8中ConcurrentHashMap的区别? ...
- [AcWing 796] 子矩阵的和
点击查看代码 #include<iostream> using namespace std; const int N = 1e3 + 10; int a[N][N], s[N][N]; i ...
- FreeRTOS --(7)任务管理之入门篇
转载自 https://blog.csdn.net/zhoutaopower/article/details/107019521 任务管理是操作系统中重中之重,不管什么 OS ,任务的调度管理都是核心 ...
- Django学习——Django测试环境搭建、单表查询关键字、神奇的双下划线查询(范围查询)、图书管理系统表设计、外键字段操作、跨表查询理论、基于对象的跨表查询、基于双下划线的跨表查询
Django测试环境搭建 ps: 1.pycharm连接数据库都需要提前下载对应的驱动 2.自带的sqlite3对日期格式数据不敏感 如果后续业务需要使用日期辅助筛选数据那么不推荐使用sqlite3 ...
- 实体linux服务器-由自动ip改为固定ip后,无法上网问题--配置问题解法
新入公司,研发产业为零,开始搞. linux之前是自动获取ip地址的,网上搜索的帖子,耍流氓的居多,不能上网的原因很多,我这个是配置不对,看是否与你的一样. 1.首先看下当前电脑网卡,根据地址可以判断 ...
- 微信小程序云开发如何实现微信支付,业务逻辑又怎样才算可靠
今天打了几把永劫无间后,咱们来聊一聊用云开发来开发微信小程序时,如何实现微信支付,并且保证业务逻辑可靠. @ 目录 注册微信支付商户号 小程序关联商户号 业务逻辑 代码实现 注册微信支付商户号 点击& ...