传送门

考场上坚持认为树上背包可以有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的更多相关文章

  1. 题解 P3717 【[AHOI2017初中组]cover】

    题目链接 本题的大致思路就是搜索. 将矩阵初始化成false.先把灯塔标记.在搜一遍灯塔能照到的点并标记.最后搜一遍找被灯塔标记的个数. 详细解释见题解. 题解走起. #include<bits ...

  2. Gym 100431E Word Cover 题解:KMP上跑dp

    题意: 给你一个串,问你他的每个前缀的最小重复单元,其中单元是可以重叠的,最后按顺序输出即可.比如样例中abaabaa的最小重复单元为abaa,所以相应输出为4. 样例: input : abaaba ...

  3. 【题解】Luogu SP1435 PT07X - Vertex Cover

    原题传送门 求树的最小点覆盖,就是一个树形dp 类似于没有上司的舞会 dp的状态为\(f[i][0/1]\),表示i节点是否选择 边界是\(f[x][0]=0\),\(f[x][1]=1\) 转移方程 ...

  4. SCU 4439 Vertex Cover(二分图最小覆盖点)题解

    题意:每一条边至少有一个端点要涂颜色,问最少涂几个点 思路:最小顶点覆盖:用最少的点,让每条边都至少和其中一个点关联,显然是道裸最小顶点覆盖题: 参考:二分图 代码: #include<iost ...

  5. CF1175E Minimal Segment Cover 题解

    题意:给出\(n\)个形如\([l,r]\)的线段.\(m\)次询问,每次询问区间\([x,y]\),问至少选出几条线段,使得区间\([x,y]\)的任何一个部位都被至少一条线段覆盖. 首先有一个显然 ...

  6. 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 ...

  7. 题解-AtCoder Code-Festival2017 Final-J Tree MST

    Problem \(\mathrm{Code~Festival~2017~Final~J}\) 题意概要:一棵 \(n\) 个节点有点权边权的树.构建一张完全图,对于任意一对点 \((x,y)\),连 ...

  8. 【Codeforces Round】 #431 (Div. 2) 题解

    Codeforces Round #431 (Div. 2)  A. Odds and Ends time limit per test 1 second memory limit per test ...

  9. leetcode & lintcode 题解

    刷题备忘录,for bug-free 招行面试题--求无序数组最长连续序列的长度,这里连续指的是值连续--间隔为1,并不是数值的位置连续 问题: 给出一个未排序的整数数组,找出最长的连续元素序列的长度 ...

随机推荐

  1. 【源码篇】Flutter GetX深度剖析 | 我们终将走出自己的路(万字图文)

    前言 人心中的成见是一座大山,任你怎么努力都休想搬动. 这是电影<哪吒>里申公豹说的一句话,也是贯彻整部电影的一个主题:或许这句话引起了太多人的共鸣:35岁职场危机,大厂卡本科学历,无房无 ...

  2. yum的卸载和安装

    安装精髓:报错就查,少包就按. 一.如果yum没有注册则需要卸载再安装第三方yum 1.卸载redhat的默认安装yum包 [root@dsl ~]#rpm –qa | grep yum [root@ ...

  3. CURL 实战下载

    #include <string> #include <stdio.h> #include <iostream> #include<fstream> # ...

  4. 「CF521E」 Cycling City

    「CF521E」 Cycling City 传送门 首先你能发现这个东西一定是两个环的公共边. 最开始想的是什么如果一个点被访问过三次那它一定是公共边的某一端之类的东西,然后发现被仙人掌叉掉. 然后就 ...

  5. Pytest单元测试框架之FixTure基本使用

    前言: 在单元测试框架中,主要分为:测试固件,测试用例,测试套件,测试执行及测试报告: 测试固件不难理解,也就是我们在执行测试用例前需要做的动作和测试执行后的需要做的事情: 比如在UI自动化测试中,我 ...

  6. CSAPP:datalab实验记录

    CSAPP:datalab实验记录 bitXor /* * bitXor - x^y using only ~ and & * Example: bitXor(4, 5) = 1 * Lega ...

  7. 【C#】C#中使用GDAL3(一):Windows下超详细编译C#版GDAL3.3.0(VS2015+.NET 4+32位/64位)

    转载请注明原文地址:https://www.cnblogs.com/litou/p/15004877.html 目录 一.介绍 二.编译准备 三.编译SQLite 四.编译LibTiff 五.编译PR ...

  8. java String转List<Device>集合

    // 从Redis中获得正常设备的数量 String success = redisService.get(RedisKey.CULTIVATION_RECORD_SUCCESS); //建立一个li ...

  9. 流暢的python學習-3

    一.文件操作 #!/usr/bin/env python3 # -*- coding: utf-8 -*- """ Created on Thu Apr 23 20:59 ...

  10. Super-Mario-Host(超级玛丽)靶机

    仅供个人娱乐 靶机百度云下载  链接:https://pan.baidu.com/s/13l1FUgJjXArfoTOfcmPsbA 提取码:a8ox 一.主机发现 arp-scan -l 二.漏洞扫 ...