[CERC2014] Parades 题解
1.[JSOI2008]火星人 题解2.[BZOJ3786] 星系探索 题解3.[ZJOI2015]幻想乡战略游戏 题解4.[SDOI2015] 寻宝游戏5.[HNOI2011] 数学作业 题解6.[HDU5396] Expression 题解7.[NOIP2018] 旅行 题解8.[POI2012] Rendezvous 题解9.[BZOJ3037] 创世纪 题解10.[HEOI2014]大工程 题解11.[ZJOI2019] 语言 题解12.[国家集训队] 矩阵乘法 题解13.[THUPC2017] 天天爱射击 题解14.[SCOI2007] 蜥蜴 题解15.[SDOI2015] 星际战争 题解16.[国家集训队] happiness 题解17.[SDOI2016] 数字配对 题解18.[SDOI2009] 晨跑 题解19.[SCOI2007] 修车20.acwing329 围栏障碍训练场 题解21.无限之环 题解22.[BZOJ4350] 括号序列再战猪猪侠 题解23.[TJOI2015] 弦论 题解24.[SDOI2008] Sandy的卡片 题解25.[AHOI2013] 差异 题解26.[Ynoi2016] 镜中的昆虫 题解27.[JOISC 2023 Day3] Tourism 题解28.[PA2021] Od deski do deski 题解29.[TJOI2019] 甲苯先生的字符串 题解30.[POI2014] HOT-Hotels 加强版题解31.[Ynoi2015] 盼君勿忘 题解32.[luogu2123] 皇后游戏33.[JXOI2017] 加法 题解34.[luogu1248] 加工生产调度 题解35.[NOIP2018] 赛道修建36.[Ynoi2015] 我回来了 题解37.[HNOI2009] 图的同构计数38.[BZOJ3811] 玛里苟斯 题解39.[BZOJ3569] DZY Loves Chinese II 题解40.[SCOI2016] 幸运数字 题解41.[HDU5603] the soldier of love 题解42.[QOJ8672][PKUSC2024] 排队43.[BZOJ3489] A simple rmq problem44.[HAOI2010] 软件安装 题解45.[IOI2020] 连接擎天树 题解46.[LOJ6669] Nauuo and Binary Tree 题解47.[JOISC2019] 聚会 题解
48.[CERC2014] Parades 题解
49.[SHOI2017] 摧毁“树状图”50.[NOI2014] 购票 题解51.[WC2018] 通道 题解52.[BZOJ2741][FOTILE模拟赛] L 题解53.[THUSC2015] 异或运算 题解54.[BZOJ4771] 七彩树 题解55.[BZOJ4605] 崂山白花蛇草水 题解56.[BZOJ3600] 没有人的算术 题解57.[WC2014] 紫荆花之恋 题解58.[SDOI2008] 洞穴勘测 题解59.[POJ3237] 树的维护 题解60.[国家集训队] Tree2 题解61.[WC2006] 水管局长 题解62.[BZOJ3514] [Codechef MARCH14] GERALD07加强版 题解63.[luogu4114] Qtree1 题解64.[THUWC2017] 在美妙的数学王国中畅游 题解(内附求导小技巧)65.[BZOJ3159] 决战 题解66.[BZOJ2194] 快速傅立叶之二 题解67.[ZJOI2014] 力 题解68.[BZOJ3451] Normal 题解69.[BZOJ3771] Triple 题解70.[BZOJ3160] 万径人踪灭 题解71.[SDOI2015] 序列统计 题解72.[联合省选 2020A] 组合数问题 题解73.[HDU4625] JZPTREE+[国家集训队] Crash 的文明世界 题解74.[TJOI/HEOI2016] 求和 题解75.[BZOJ5093] 图的价值 题解76.[FJOI2016] 建筑师 题解77.[BZOJ4665] 小w的喜糖 题解78.[BZOJ3622] 已经没有什么好害怕的了 题解79.[BZOJ4671] 异或图 题解80.[BZOJ4833] 最小公倍佩尔数 题解81.[BalticOI 2022] Uplifting Excursion (Day1) 题解82.[JLOI2016] 成绩比较 题解感觉长脑子了。
考虑在路线两端点的 \(lca\) 计算贡献,那么线段可以分两类:
- \(u\) 为 \(v\) 祖先。
- \(u,v\) 互不为祖先。
设 \(dp_i\) 表示只考虑 \(i\) 子树内的路线时的答案。
引理:若插入一条以 \(i\) 为 \(lca\) 的路径会使以 \(i\) 的儿子为 \(lca\) 的路径数量减少,一定不优。
正确性显然。根据这一条性质,我们就可以不用维护儿子中具体的路径了,只需要维护 \(f_{i,j}\) 表示以 \(i\) 为根的子树中,能不能满足 \((i,j)\) 上没有边被使用且不使答案减小。
首先 \(i\) 的所有 \(1\) 类路径,能插就插,一定最优,没他一定不优。
其次剩下部分就是一般图最大匹配,\(dfs\) 即可,时间复杂度 \(O(sn^22^{sn})\)。
考虑维护 \(f_{u,w}\)。假如 \(w\) 在 \(u\) 的儿子 \(v\) 的子树中,那么 \(f_{u,w}=1\) 时,必定满足 \(f_{v,w}=1\)。那么问题转化为 \((u,v)\) 被占用是否是达成最优解的必要条件。这里的判断分两种情况:
- 能插入 \(1\) 类边。这种情况肯定被使用了。
- 能插入 \(2\) 类边。这种情况直接强制他不能插在这里,然后再跑一般图最大匹配,看答案有没有变化即可。
时间复杂度 \(O(tsn^32^{sn}n)\),由于题目保证 \(sn\le 10\),而且一般图最大匹配根本跑不满,因此可以通过。
#include<bits/stdc++.h>
#define pp pair<int,int>
using namespace std;
const int N=1005;
int t,n,m,dp[N],vs[N],f[N][N];
int idx[N][N],ft[N][15],dep[N];
vector<int>g[N],ux[N],uv[N];
vector<pp>xy[N],vw[N];
int maxp(int nm,int k,int nw){
if(nm==g[k].size()) return nw;
int re=maxp(nm+1,k,nw),x=g[k][nm];
if(!vs[x]) for(int i=0;i<xy[k].size();i++){
int v=vw[k][i].first,w=vw[k][i].second;
int l=xy[k][i].first,r=xy[k][i].second;
if(v>w) swap(l,r),swap(v,w);
if(v!=x||vs[w]||!f[v][l]||!f[w][r]) continue;
vs[v]=vs[w]=1,re=max(re,maxp(nm+1,k,nw+1)),vs[v]=vs[w]=0;
}return re;
}void getf(int x,int fa,int u,int v,int id){
f[u][x]=(id&f[v][x]);
for(auto y:g[x])
if(fa!=y) getf(y,x,u,v,id);
}void dfs(int x,int fa){
sort(g[x].begin(),g[x].end());
for(auto y:g[x])
if(fa!=y) dfs(y,x),dp[x]+=dp[y];
for(int i=0;i<ux[x].size();i++){
int y=ux[x][i],v=uv[x][i];
if(f[v][y]&&!vs[v]) vs[v]=1,dp[x]++;
}int ans=maxp(0,x,0);
for(auto y:g[x]){
if(y==fa) continue;
if(vs[y]){getf(y,x,x,y,0);continue;}
vs[y]=1;int re=maxp(0,x,0);vs[y]=0;
getf(y,x,x,y,re==ans);
}dp[x]+=ans,f[x][x]=1;
}void get_fa(int x,int fa){
ft[x][0]=fa,dep[x]=dep[fa]+1;
for(int i=0;i<14;i++)
ft[x][i+1]=ft[ft[x][i]][i];
for(auto y:g[x])
if(y!=fa) get_fa(y,x);
}int lca(int x,int y){
for(int i=14;~i;i--)
if(dep[ft[x][i]]>=dep[y]) x=ft[x][i];
if(x==y) return x;
for(int i=14;~i;i--)
if(ft[x][i]!=ft[y][i]) x=ft[x][i],y=ft[y][i];
return ft[x][0];
}void get_id(int x,int lst){
if(x==1) return;
idx[ft[x][0]][lst]=x;
get_id(ft[x][0],lst);
}void solve(){
for(int i=1;i<=n;i++){
g[i].clear(),ux[i].clear(),uv[i].clear();
xy[i].clear(),vw[i].clear(),dp[i]=vs[i]=dep[i]=0;
for(int j=1;j<=n;j++) f[i][j]=idx[i][j]=0;
for(int j=0;j<15;j++) ft[i][j]=0;
}cin>>n;
for(int i=1,x,y;i<n;i++)
cin>>x>>y,g[x].push_back(y),g[y].push_back(x);
cin>>m,get_fa(1,0);
for(int i=1;i<=n;i++) get_id(i,i);
for(int i=1;i<=m;i++){
int x,y;cin>>x>>y;
if(dep[x]<dep[y]) swap(x,y);
int lc=lca(x,y);
if(lc==y){
uv[y].push_back(idx[y][x]);
ux[y].push_back(x);continue;
}vw[lc].push_back({idx[lc][x],idx[lc][y]});
xy[lc].push_back({x,y});
}dfs(1,0),cout<<dp[1]<<"\n";
}int main(){
ios::sync_with_stdio(0);
cin.tie(0),cout.tie(0);
cin>>t;
while(t--) solve();
return 0;
}
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
· 开发者必知的日志记录最佳实践
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· Manus的开源复刻OpenManus初探
· 写一个简单的SQL生成工具
· AI 智能体引爆开源社区「GitHub 热点速览」
· C#/.NET/.NET Core技术前沿周刊 | 第 29 期(2025年3.1-3.9)