题解 Cover
考场上坚持认为树上背包可以有70pts,于是爆零了
首先我以为是树上背包的部分分其实是树形DP
然后极其魔鬼的正解:
首先我们令 \(dp[i][j]\) 为以i为根的子树覆盖次数至多为j时的方案数(我考场上那个没搞出来的dp定义是恰好
然后45pts的 \(n^2\) 就可以做了,考虑如何优化
- 有些树形DP(只包含子树合并和形似 \(dp[i][j] = max(dp[i][j], dp[i][j-1]+a[i]\) 的转移),会有个性质:其差分值单调不增,然后这个差分表可以直接用个堆或者multiset一个log维护
接下来考虑如何维护每个点的贡献,也即 \(dp[i][j-1]+val[i]\)
举个来自战神的例子
3 5 6 插入2 变为 3 5 7 8 对应差分表由2 1变为2 2 1
所以这里第二个式子的贡献就等价于把这个 \(val[i]\) 直接扔堆里,然后就极好维护了
启发式合并即可
#include <bits/stdc++.h>
using namespace std;
#define INF 0x3f3f3f3f
#define N 300010
#define ll long long
#define pb push_back
#define reg register int
//#define int long long
char buf[1<<21], *p1=buf, *p2=buf;
#define getchar() (p1==p2&&(p2=(p1=buf)+fread(buf, 1, 1<<21, stdin)), p1==p2?EOF:*p1++)
inline int read() {
int ans=0, f=1; char c=getchar();
while (!isdigit(c)) {if (c=='-') f=-f; c=getchar();}
while (isdigit(c)) {ans=(ans<<3)+(ans<<1)+(c^48); c=getchar();}
return ans*f;
}
int n, m;
int l[N], r[N], uni[N<<1], usize;
ll a[N];
namespace force{
int cnt[N]; ll ans;
void solve() {
int lim=1<<m;
for (reg k=1; k<=m; ++k) {
ans=0;
for (reg s=1; s<lim; ++s) {
ll sum=0;
memset(cnt+1, 0, sizeof(int)*usize);
//memset(cnt, 0, sizeof(cnt));
for (reg i=0; i<m; ++i) if (s&(1<<i)) {
sum+=a[i+1];
for (reg j=l[i+1]; j<max(l[i+1]+1, r[i+1]); ++j)
if (++cnt[j]>k) goto jump;
}
ans=max(ans, sum);
jump: ;
}
printf("%lld ", ans);
}
printf("\n");
exit(0);
}
}
namespace task1{
int head[N], size, top, dp[5010][5010];
struct edge{int to, next;}e[N<<1];
inline void add(int s, int t) {edge* k=&e[++size]; k->to=t; k->next=head[s]; head[s]=size;}
struct seg{int l, r, a; inline void build(int l_, int r_, int a_){l=l_; r=r_; a=a_;}}s[N], sta[N];
inline bool operator < (seg a, seg b) {return a.l==b.l?a.r>b.r:a.l<b.l;};
vector<int> e2[N], val[N];
int dfs(int u) {
int p=1;
for (int i=0; i<(int)(val[u].size()); ++i)
for (int j=m; j; --j)
dp[u][j] = max(dp[u][j], dp[u][j-1]+val[u][i]);
for (int i=head[u],v,siz; i; i=e[i].next) {
v = e[i].to;
siz=dfs(v);
for (int j=m; ~j; --j) {
for (int h=1; j+h<=m; ++h) {
dp[u][j+h] = max(dp[u][j+h], dp[u][j]+dp[v][h]);
}
}
p+=siz;
}
return p;
}
void solve() {
for (int i=1; i<=m; ++i) s[i].build(l[i], r[i], a[i]);
sort(s+1, s+m+1);
for (int i=1; i<=m; ++i) {
while (top && sta[top].r<=s[i].l) --top;
if (top) e2[sta[top].l].pb(s[i].l);
else e2[0].pb(s[i].l);
sta[++top]=s[i];
val[max(s[i].l, s[i].r-1)].pb(s[i].a);
}
for (int i=0,newsize; i<=usize; ++i) {
newsize=unique(e2[i].begin(), e2[i].end())-e2[i].begin();
e2[i].resize(newsize);
for (int j=0; j<(int)(e2[i].size()); ++j) if (i!=e2[i][j]) add(i, e2[i][j]), cout<<"add "<<i<<' '<<e2[i][j]<<endl;
}
dfs(0);
for (int i=1; i<=m; ++i) cout<<dp[3][i]<<' '; cout<<endl;
for (int i=1,sum; i<=m; ++i) {
sum=0;
for (int j=head[0]; j; j=e[j].next)
sum+=dp[e[j].to][i];
printf("%d ", sum);
}
printf("\n");
exit(0);
}
}
namespace task2{
int head[N], size, top, tot; ll dp[5010][5010];
struct edge{int to, next;}e[N<<1];
inline void add(int s, int t) {edge* k=&e[++size]; k->to=t; k->next=head[s]; head[s]=size;}
struct seg{int l, r, rk; ll a; inline void build(int l_, int r_, ll a_){l=l_; r=r_; a=a_;}}s[N], sta[N];
inline bool operator < (seg a, seg b) {return a.l==b.l?a.r>b.r:a.l<b.l;};
inline bool cmp(int a, int b) {return a>b;}
vector<ll> val[N];
int dfs(int u) {
int p=1;
for (int i=head[u],v,siz; i; i=e[i].next) {
v = e[i].to;
siz=dfs(v);
for (int j=1; j<=m; ++j) dp[u][j]+=dp[v][j];
p+=siz;
}
//if (u==3) {cout<<"dp[3]: "; for (int i=1; i<=m; ++i) cout<<dp[u][i]<<' '; cout<<endl;}
for (int i=0; i<(int)(val[u].size()); ++i)
for (int j=m; j>i; --j)
dp[u][j] = max(dp[u][j], dp[u][j-1]+val[u][i]);
//if (u==3) {cout<<"dp[3]: "; for (int i=1; i<=m; ++i) cout<<dp[u][i]<<' '; cout<<endl;}
return p;
}
void solve() {
for (int i=1; i<=m; ++i) s[i].build(l[i], r[i], a[i]); //, cout<<r[i]<<' '; cout<<endl;
s[m+1].build(1, usize+1, 0);
sort(s+1, s+m+2);
for (int i=1; i<=m+1; ++i) {
while (top && sta[top].r<=s[i].l && sta[top].l!=s[i].l) --top;
if (top && sta[top].l==s[i].l && sta[top].r==s[i].r) {
val[sta[top].rk].pb(s[i].a);
continue;
}
if (top) add(sta[top].rk, s[i].rk=++tot);
else s[i].rk=++tot;
sta[++top]=s[i];
val[tot].pb(s[i].a);
}
//cout<<"tot: "<<tot<<endl;
//cout<<"size: "<<size<<endl;
for (int i=1; i<=tot; ++i) sort(val[i].begin(), val[i].end(), cmp);
dfs(1);
//cout<<"dp: "; for (int i=1; i<=m; ++i) cout<<dp[2][i]<<' '; cout<<endl;
ll sum;
for (int i=1; i<=m; ++i) {
sum=0;
for (int j=head[1]; j; j=e[j].next)
sum+=dp[e[j].to][i];
printf("%lld ", sum);
}
printf("\n");
exit(0);
}
}
namespace task{
int head[N], size, top, tot, siz[N], msiz[N], mson[N], stop; ll st[N];
priority_queue<ll> dp[N];
struct edge{int to, next;}e[N<<1];
inline void add(int s, int t) {edge* k=&e[++size]; k->to=t; k->next=head[s]; head[s]=size;}
struct seg{int l, r, rk; ll a; inline void build(int l_, int r_, ll a_){l=l_; r=r_; a=a_;}}s[N], sta[N];
inline bool operator < (seg a, seg b) {return a.l==b.l?a.r>b.r:a.l<b.l;};
inline bool cmp(int a, int b) {return a>b;}
vector<ll> val[N];
void dfs1(int u) {
siz[u]=1;
for (int i=head[u],v; i; i=e[i].next) {
v = e[i].to;
dfs1(v);
siz[u]+=siz[v];
if (siz[v]>msiz[u]) msiz[u]=siz[v], mson[u]=v;
}
}
void dfs2(int u) {
if (!mson[u]) {for (auto it:val[u]) dp[u].push(it); return;}
bool empty=0; stop=0;
for (int i=head[u]; i; i=e[i].next) dfs2(e[i].to);
swap(dp[u], dp[mson[u]]);
while (!empty) {
empty=1; ++stop;
for (int i=head[u],v; i; i=e[i].next) {
v = e[i].to;
if (v==mson[u]) continue;
if (!dp[v].empty()) {
empty=0;
st[stop]+=dp[v].top(); dp[v].pop();
}
}
if (!empty) {if (!dp[u].empty()) st[stop]+=dp[u].top(), dp[u].pop();}
else --stop;
}
for (int i=1; i<=stop; ++i) dp[u].push(st[i]), st[i]=0;
for (auto it:val[u]) dp[u].push(it); //, cout<<1<<endl;
}
void solve() {
for (int i=1; i<=m; ++i) s[i].build(l[i], r[i], a[i]); //, cout<<r[i]<<' '; cout<<endl;
s[m+1].build(1, usize+1, 0);
sort(s+1, s+m+2);
for (int i=1; i<=m+1; ++i) {
while (top && sta[top].r<=s[i].l && sta[top].l!=s[i].l) --top;
if (top && sta[top].l==s[i].l && sta[top].r==s[i].r) {
val[sta[top].rk].pb(s[i].a);
continue;
}
if (top) add(sta[top].rk, s[i].rk=++tot);
else s[i].rk=++tot;
sta[++top]=s[i];
val[tot].pb(s[i].a);
}
//cout<<"tot: "<<tot<<endl;
//cout<<"size: "<<size<<endl;
dfs1(1); dfs2(1);
//cout<<"dp: "; for (int i=1; i<=m; ++i) cout<<dp[2][i]<<' '; cout<<endl;
ll sum=0;
for (int i=1; i<=m; ++i) {
if (!dp[1].empty()) sum+=dp[1].top(), dp[1].pop();
printf("%lld ", sum);
}
printf("\n");
exit(0);
}
}
signed main()
{
n=read(); m=read();
for (int i=1; i<=m; ++i) {
l[i]=read(); r[i]=read(); a[i]=read();
uni[++usize]=l[i]; uni[++usize]=r[i];
}
sort(uni+1, uni+usize+1);
usize=unique(uni+1, uni+usize+1)-uni-1;
//cout<<"usize: "<<usize<<endl;
for (int i=1; i<=m; ++i) {
//cout<<"old: "<<l[i]<<' '<<r[i]<<endl;
l[i]=lower_bound(uni+1, uni+usize+1, l[i])-uni;
r[i]=lower_bound(uni+1, uni+usize+1, r[i])-uni;
//cout<<"new: "<<l[i]<<' '<<r[i]<<endl;
}
//force::solve();
//task1::solve();
task::solve();
return 0;
}
题解 Cover的更多相关文章
- 题解 P3717 【[AHOI2017初中组]cover】
题目链接 本题的大致思路就是搜索. 将矩阵初始化成false.先把灯塔标记.在搜一遍灯塔能照到的点并标记.最后搜一遍找被灯塔标记的个数. 详细解释见题解. 题解走起. #include<bits ...
- Gym 100431E Word Cover 题解:KMP上跑dp
题意: 给你一个串,问你他的每个前缀的最小重复单元,其中单元是可以重叠的,最后按顺序输出即可.比如样例中abaabaa的最小重复单元为abaa,所以相应输出为4. 样例: input : abaaba ...
- 【题解】Luogu SP1435 PT07X - Vertex Cover
原题传送门 求树的最小点覆盖,就是一个树形dp 类似于没有上司的舞会 dp的状态为\(f[i][0/1]\),表示i节点是否选择 边界是\(f[x][0]=0\),\(f[x][1]=1\) 转移方程 ...
- SCU 4439 Vertex Cover(二分图最小覆盖点)题解
题意:每一条边至少有一个端点要涂颜色,问最少涂几个点 思路:最小顶点覆盖:用最少的点,让每条边都至少和其中一个点关联,显然是道裸最小顶点覆盖题: 参考:二分图 代码: #include<iost ...
- CF1175E Minimal Segment Cover 题解
题意:给出\(n\)个形如\([l,r]\)的线段.\(m\)次询问,每次询问区间\([x,y]\),问至少选出几条线段,使得区间\([x,y]\)的任何一个部位都被至少一条线段覆盖. 首先有一个显然 ...
- URAL 2038 Minimum Vertex Cover
2038. Minimum Vertex Cover Time limit: 1.0 secondMemory limit: 64 MB A vertex cover of a graph is a ...
- 题解-AtCoder Code-Festival2017 Final-J Tree MST
Problem \(\mathrm{Code~Festival~2017~Final~J}\) 题意概要:一棵 \(n\) 个节点有点权边权的树.构建一张完全图,对于任意一对点 \((x,y)\),连 ...
- 【Codeforces Round】 #431 (Div. 2) 题解
Codeforces Round #431 (Div. 2) A. Odds and Ends time limit per test 1 second memory limit per test ...
- leetcode & lintcode 题解
刷题备忘录,for bug-free 招行面试题--求无序数组最长连续序列的长度,这里连续指的是值连续--间隔为1,并不是数值的位置连续 问题: 给出一个未排序的整数数组,找出最长的连续元素序列的长度 ...
随机推荐
- Python - 字符串常用函数详解
str.index(sub, start=None, end=None) 作用:查看sub是否在字符串中,在的话返回索引,且只返回第一次匹配到的索引:若找不到则报错:可以指定统计的范围,[start, ...
- 「CF576D」 Flights for Regular Customers
「CF576D」 Flights for Regular Customers 对不起我又想网络流去了 你看这长得多像啊,走过至少多少条边就是流量下界,然后没上界 但是这个题求的最少走多少条边啊...完 ...
- 【动画消消乐】HTML+CSS 自定义加载动画 061
前言 Hello!小伙伴! 非常感谢您阅读海轰的文章,倘若文中有错误的地方,欢迎您指出- 自我介绍ଘ(੭ˊᵕˋ)੭ 昵称:海轰 标签:程序猿|C++选手|学生 简介:因C语言结识编程,随后转入计算机专 ...
- svo论文随手记
论文链接:http://rpg.ifi.uzh.ch/docs/ICRA14_Forster.pdf 论文提出了一种半直接单目视觉里程计,在精确性.鲁棒性和速度方面都有较大的优势.将基于特征的方法(包 ...
- jquery性能优化建议-上篇
一.注意定义jQuery变量的时候添加var关键字这个不仅仅是jQuery,所有javascript开发过程中,都需要注意,请一定不要定义成如下:$loading = $('#loading'); / ...
- 第1天 Mark Down 学习及DOS命令
Markdown学习 标题 "#加空格"几个#就表示几级标题 字体 helloworld!一两个两个*号 helloworld!一边一个*号 helloworld! 一边三个号 h ...
- [考试总结]noip模拟13
因为最近考试频繁,所以咕掉了好长时间... 淦,刚说完又来一场... 先咕了,等以后有时间再写.... 回来了... 首先看到这个题目们,感觉就不存好意... 然后开始开 \(T1\). 只能蒻蒻地按 ...
- Tom_No_01 IDEA tomcat 源码环境搭建
1.下载源码 apache-tomcat-8.5.50-src 2.下载源码 放D盘,解压后根目录新建pom.xml和catalina-home pom.xml文件中内容为 <?xml vers ...
- glassfish Client not authorized for this invocation.解决办法
javax.ejb.EJBAccessException at com.sun.ejb.containers.BaseContainer.mapLocal3xException(BaseContain ...
- 阿里云IoT初试
本文从概念到实战,以一个假想产品--"电子货架标签"(Electronic Shelf Label,以下简称ESL)为例,介绍基于阿里云IoT的物联网应用开发. 数据交互流程 以云 ...