题解 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,并不是数值的位置连续 问题: 给出一个未排序的整数数组,找出最长的连续元素序列的长度 ...
随机推荐
- 【源码篇】Flutter GetX深度剖析 | 我们终将走出自己的路(万字图文)
前言 人心中的成见是一座大山,任你怎么努力都休想搬动. 这是电影<哪吒>里申公豹说的一句话,也是贯彻整部电影的一个主题:或许这句话引起了太多人的共鸣:35岁职场危机,大厂卡本科学历,无房无 ...
- ARTS第十一周
受辞职考研和新冠肺炎疫情影响,一直没更.遗憾,数学和专业课再高点就有戏了.继续. 1.Algorithm:每周至少做一个 leetcode 的算法题2.Review:阅读并点评至少一篇英文技术文章3. ...
- C语言:打印所有char字符
#include <stdio.h> int main() { int aa; char bla; for(aa=0;aa<=255;aa++) { if(aa%10==0 and ...
- ADB命令 连接WIFI检测序列号
利用ADB 电脑与手机相连 查看序列号: adb shell getprop ro.serialno 查看机器的SN号 adb shell getprop 查看机器的全部信息参数 查看IP地址: a ...
- C语言变量类型
#include <stdio.h> // C 语言中,任何数据类型都不可以直接存储一个字符串.那么字符串如何存储? //在 C 语言中,字符串有两种存储方式,一种是通过字符数组存储,另一 ...
- POJ 树的直径和重心
树的直径:(无根)树上最长两点间的最长路径,两次dfs即可,第一次dfs任选一点u,找到距离它最远的点s,再从点s进行一次dfs,找到距离s最远的点t,则s-t之间的路径就是树的直径.证明: < ...
- 【重构】Bilibili UWP 客户端下载视频文件重命名 2.0
代码已上传Github:https://github.com/zsy0216/BatchModifyBilibiliName 较 master 分支的改变: - 优化了重命名的代码,覆盖更全面,更准确 ...
- 转载:使用jquery刷新当前页面以及其他js知识积累
转载:https://www.cnblogs.com/heguihui/p/10505949.html 如何使用jquery刷新当前页面 下面介绍全页面刷新方法:有时候可能会用到 window.loc ...
- JDK的环境变量配置(详细步骤)
JDK环境变量配置的步骤(Windows10) 一.下载并安装JDK 选择一个JDK版本下载并安装到电脑上. 二.环境变量的配置 1.安装完成JDK后的配置环境变量: 首先鼠标右击"计算机& ...
- 微信小程序云开发-云函数-创建云函数
一.检查云函数环境 检查云函数环境时候,鼠标右键点击查看当前环境.如果存在多个云开发环境,要确保云函数的当前环境要与app.js中evn的环境值一致. 如果不一致,则鼠标右键切换当前云开发环境.(如果 ...