[NOIP2018 提高组] 保卫王国
题解
两只 \(\log\) 的动态 \(dp\) !
相比标算倍增
动态 \(dp\) 既实用又好理解
\(Code\)
#include<cstdio>
#include<iostream>
#define ls (p << 1)
#define rs (ls | 1)
using namespace std;
typedef long long LL;
const int N = 1e5 + 5;
const LL INF = 0x3f3f3f3f3f3f3f3f;
int n, m, p[N];
char type[10];
LL f[N][2], g[N][2];
int h[N];
struct edge{int to, nxt;}e[N << 1];
inline void add(int x, int y)
{
static int tot = 0;
e[++tot] = edge{y, h[x]}, h[x] = tot;
}
struct Matrix{
LL a[2][2];
inline Matrix(){a[0][0] = a[0][1] = a[1][0] = a[1][1] = INF;}
inline Matrix operator*(const Matrix &b)
{
Matrix c;
for(register int i = 0; i < 2; i++)
for(register int j = 0; j < 2; j++)
for(register int k = 0; k < 2; k++)
c.a[i][j] = min(c.a[i][j], a[i][k] + b.a[k][j]);
return c;
}
}seg[N << 2];
inline Matrix I()
{
Matrix c;
c.a[0][0] = c.a[1][1] = 0, c.a[0][1] = c.a[1][0] = INF;
return c;
}
inline Matrix Node(LL g0, LL g1)
{
Matrix c;
c.a[0][0] = INF, c.a[0][1] = g0, c.a[1][0] = c.a[1][1] = g1;
return c;
}
int fa[N], son[N], siz[N], top[N], bot[N], dfn[N];
void dfs1(int x)
{
siz[x] = 1, f[x][1] = p[x];
for(register int i = h[x]; i; i = e[i].nxt)
{
int v = e[i].to;
if (v == fa[x]) continue;
fa[v] = x, dfs1(v), siz[x] += siz[v];
if (siz[v] > siz[son[x]]) son[x] = v;
f[x][0] += f[v][1], f[x][1] += min(f[v][0], f[v][1]);
}
}
void dfs2(int x)
{
static int dfc = 0;
dfn[x] = ++dfc, g[x][1] = p[x];
if (son[x]) top[son[x]] = top[x], dfs2(son[x]);
else bot[top[x]] = dfn[x];
for(register int i = h[x]; i; i = e[i].nxt)
{
int v = e[i].to;
if (v == fa[x] || v == son[x]) continue;
top[v] = v, g[x][0] += f[v][1], g[x][1] += min(f[v][0], f[v][1]);
dfs2(v);
}
}
void update(int p, int l, int r, int x, Matrix v)
{
if (l == r) return void(seg[p] = v);
int mid = (l + r) >> 1;
if (x <= mid) update(ls, l, mid, x, v);
else update(rs, mid + 1, r, x, v);
seg[p] = seg[ls] * seg[rs];
}
Matrix query(int p, int l, int r, int tl, int tr)
{
if (tl <= l && r <= tr) return seg[p];
int mid = (l + r) >> 1;
Matrix ret = I();
if (tl <= mid) ret = query(ls, l, mid, tl, tr);
if (tr > mid) ret = ret * query(rs, mid + 1, r, tl, tr);
return ret;
}
inline void change(int x)
{
while (x)
{
update(1, 1, n, dfn[x], Node(g[x][0], g[x][1])), x = top[x];
Matrix ret = query(1, 1, n, dfn[x], bot[x]);
g[fa[x]][0] -= f[x][1], g[fa[x]][1] -= min(f[x][0], f[x][1]);
f[x][0] = ret.a[0][1], f[x][1] = ret.a[1][1];
g[fa[x]][0] += f[x][1], g[fa[x]][1] += min(f[x][0], f[x][1]);
x = fa[x];
}
}
int main()
{
freopen("defense.in", "r", stdin);
freopen("defense.out", "w", stdout);
scanf("%d%d%s", &n, &m, type);
for(register int i = 1; i <= n; i++) scanf("%d", p + i);
for(register int i = 1, u, v; i < n; i++) scanf("%d%d", &u, &v), add(u, v), add(v, u);
dfs1(1), top[1] = 1, dfs2(1);
for(register int i = 1; i <= n; i++) update(1, 1, n, dfn[i], Node(g[i][0], g[i][1]));
for(register int i = 1; i <= m; i++)
{
int a, b, x, y;
scanf("%d%d%d%d", &a, &x, &b, &y), x ^= 1, y ^= 1;
LL u = g[a][x], v = g[b][y];
g[a][x] = INF, change(a), g[b][y] = INF, change(b);
printf("%lld\n", min(f[1][0], f[1][1]) < INF ? min(f[1][0], f[1][1]) : -1LL);
g[a][x] = u, change(a), g[b][y] = v, change(b);
}
}
但如果两只 \(\log\) 被卡了呢?
一种比较优秀的卡常方法是对于每条重链开一颗线段树维护
然后跳的时候询问可直接获取
\(Code\)
#include<cstdio>
#include<iostream>
using namespace std;
typedef long long LL;
const int N = 1e5 + 5;
const LL INF = 0x3f3f3f3f3f3f3f3f;
int n, m, p[N];
char type[10];
LL f[N][2], g[N][2];
int h[N];
struct edge{int to, nxt;}e[N << 1];
inline void add(int x, int y)
{
static int tot = 0;
e[++tot] = edge{y, h[x]}, h[x] = tot;
}
int fa[N], son[N], siz[N], top[N], bot[N], dfn[N];
void dfs1(int x)
{
siz[x] = 1, f[x][1] = p[x];
for(register int i = h[x]; i; i = e[i].nxt)
{
int v = e[i].to;
if (v == fa[x]) continue;
fa[v] = x, dfs1(v), siz[x] += siz[v];
if (siz[v] > siz[son[x]]) son[x] = v;
f[x][0] += f[v][1], f[x][1] += min(f[v][0], f[v][1]);
}
}
void dfs2(int x)
{
static int dfc = 0;
dfn[x] = ++dfc, g[x][1] = p[x];
if (son[x]) top[son[x]] = top[x], dfs2(son[x]);
else bot[top[x]] = dfn[x];
for(register int i = h[x]; i; i = e[i].nxt)
{
int v = e[i].to;
if (v == fa[x] || v == son[x]) continue;
top[v] = v, g[x][0] += f[v][1], g[x][1] += min(f[v][0], f[v][1]);
dfs2(v);
}
}
struct Matrix{
LL a[2][2];
inline Matrix(){a[0][0] = a[0][1] = a[1][0] = a[1][1] = INF;}
inline Matrix operator*(const Matrix &b)
{
Matrix c;
for(register int i = 0; i < 2; i++)
for(register int j = 0; j < 2; j++)
for(register int k = 0; k < 2; k++)
c.a[i][j] = min(c.a[i][j], a[i][k] + b.a[k][j]);
return c;
}
};
inline Matrix I()
{
Matrix c;
c.a[0][0] = c.a[1][1] = 0, c.a[0][1] = c.a[1][0] = INF;
return c;
}
inline Matrix Node(LL g0, LL g1)
{
Matrix c;
c.a[0][0] = INF, c.a[0][1] = g0, c.a[1][0] = c.a[1][1] = g1;
return c;
}
struct node{Matrix val; int ls, rs;}seg[N << 2];
int rt[N];
void build(int &p, int l, int r)
{
static int size = 0;
if (!p) p = ++size;
if(l == r) return;
int mid = (l + r) >> 1;
build(seg[p].ls, l, mid), build(seg[p].rs, mid + 1, r);
}
void update(int p, int l, int r, int x, Matrix v)
{
if (l == r) return void(seg[p].val = v);
int mid = (l + r) >> 1;
if (x <= mid) update(seg[p].ls, l, mid, x, v);
else update(seg[p].rs, mid + 1, r, x, v);
seg[p].val = seg[seg[p].ls].val * seg[seg[p].rs].val;
}
inline void change(int x)
{
while (x)
{
update(rt[top[x]], dfn[top[x]], bot[top[x]], dfn[x], Node(g[x][0], g[x][1])), x = top[x];
Matrix ret = seg[rt[x]].val;
g[fa[x]][0] -= f[x][1], g[fa[x]][1] -= min(f[x][0], f[x][1]);
f[x][0] = ret.a[0][1], f[x][1] = ret.a[1][1];
g[fa[x]][0] += f[x][1], g[fa[x]][1] += min(f[x][0], f[x][1]);
x = fa[x];
}
}
int main()
{
freopen("defense.in", "r", stdin);
freopen("defense.out", "w", stdout);
scanf("%d%d%s", &n, &m, type);
for(register int i = 1; i <= n; i++) scanf("%d", p + i);
for(register int i = 1, u, v; i < n; i++) scanf("%d%d", &u, &v), add(u, v), add(v, u);
dfs1(1), top[1] = 1, dfs2(1);
for(register int i = 1; i <= n; i++) if (top[i] == i) build(rt[i], dfn[i], bot[i]);
for(register int i = 1; i <= n; i++) update(rt[top[i]], dfn[top[i]], bot[top[i]], dfn[i], Node(g[i][0], g[i][1]));
for(register int i = 1; i <= m; i++)
{
int a, b, x, y;
scanf("%d%d%d%d", &a, &x, &b, &y), x ^= 1, y ^= 1;
LL u = g[a][x], v = g[b][y];
g[a][x] = INF, change(a), g[b][y] = INF, change(b);
printf("%lld\n", min(f[1][0], f[1][1]) < INF ? min(f[1][0], f[1][1]) : -1LL);
g[a][x] = u, change(a), g[b][y] = v, change(b);
}
}
[NOIP2018 提高组] 保卫王国的更多相关文章
- P5024 [NOIP2018 提高组] 保卫王国
思路: 首先想到每次询问两个点后就从这两个点开始往上爬,沿路更新 dp 值即可. #include <bits/stdc++.h> #define For(i,a,b) for(int i ...
- [NOIP2018提高组] 保卫王国 (树链剖分+动态DP)
题面 题目链接-Luogu 题目链接-Loj(要加Freopen) 题解 什么是动态DP? OneInDark:你不需要知道这么多,你只需要知道是利用了广义矩阵乘法就够了! 广义矩乘 广义矩阵乘法,简 ...
- [NOIp2018提高组]旅行
[NOIp2018提高组]旅行: 题目大意: 一个\(n(n\le5000)\)个点,\(m(m\le n)\)条边的连通图.可以从任意一个点出发,前往任意一个相邻的未访问的结点,或沿着第一次来这个点 ...
- [NOIp2018提高组]赛道修建
[NOIp2018提高组]赛道修建 题目大意: 给你一棵\(n(n\le5\times10^4)\)个结点的树,从中找出\(m\)个没有公共边的路径,使得第\(m\)长的路径最长.问第\(m\)长的路 ...
- [NOIp2018提高组]货币系统
[NOIp2018提高组]货币系统 题目大意: 有\(n(n\le100)\)种不同的货币,每种货币的面额为\([1,25000]\)之间的一个整数.若两种货币系统能够组合出来的数是相同的的,那我们就 ...
- [NOIp2013提高组]积木大赛/[NOIp2018提高组]铺设道路
[NOIp2013提高组]积木大赛/[NOIp2018提高组]铺设道路 题目大意: 对于长度为\(n(n\le10^5)\)的非负数列\(A\),每次可以选取一个区间\(-1\).问将数列清零至少需要 ...
- NOIP2018提高组省一冲奖班模测训练(六)
NOIP2018提高组省一冲奖班模测训练(六) https://www.51nod.com/Contest/ContestDescription.html#!#contestId=80 20分钟AC掉 ...
- NOIP2018提高组省一冲奖班模测训练(五)
NOIP2018提高组省一冲奖班模测训练(五) http://www.51nod.com/Contest/ContestDescription.html#!#contestId=79 今天有点浪…… ...
- NOIP2018提高组金牌训练营——动态规划专题
NOIP2018提高组金牌训练营——动态规划专题 https://www.51nod.com/Live/LiveDescription.html#!#liveId=19 多重背包 二进制优化转化成01 ...
- NOIP2018提高组省一冲奖班模测训练(四)
NOIP2018提高组省一冲奖班模测训练(四) 这次比赛只AC了第一题,而且花了40多分钟,貌似是A掉第一题里面最晚的 而且还有一个半小时我就放弃了…… 下次即使想不出也要坚持到最后 第二题没思路 第 ...
随机推荐
- 【SQL】窗口函数:求数据组内累计值和累计百分比
〇.概述 1.所需资料 窗口函数实现组内百分比.累计值.累计百分比:https://blog.csdn.net/weixin_39751959/article/details/88828922 2.背 ...
- 【每日一题】2022年2月10日-NC160 二分查找-I
描述请实现无重复数字的升序数组的二分查找 给定一个 元素升序的.无重复数字的整型数组 nums 和一个目标值 target ,写一个函数搜索 nums 中的 target,如果目标值存在返回下标(下标 ...
- 浏览器DevTools使用技巧
我们是袋鼠云数栈 UED 团队,致力于打造优秀的一站式数据中台产品.我们始终保持工匠精神,探索前端道路,为社区积累并传播经验价值. 本文作者:正则 作为一名前端开发人员,平时开发中使用最多的就是 Ch ...
- 为什么推荐Kestrel作为网络开发框架
为什么推荐Kestrel 网络框架千千万万,在dotnet平台,我们可以直接手撸Socket,也可以基于dotnetty来开发,或者选择某些第三方类似于dotnetty的网络库,为何我要推荐Kestr ...
- windowserver中PowerShell禁止脚本执行的解决方法
最近工作中在上线项目的时候安装Exceptionless时,运行powershell脚本,发现报错: 报错提示:You cannot run this script on the current sy ...
- 【机器学习】李宏毅——Recurrent Neural Network(循环神经网络)
假设我们当前要做一个人工智能客服系统,那该系统就需要对用户输入的话语进行辨认,例如用户输入: I want to arrive Taipei on November 2nd 那么该系统就能够辨认出来T ...
- [OpenCV实战]14 使用OpenCV实现单目标跟踪
目录 1 背景 1.1 什么是目标跟踪 1.2 跟踪与检测 2 OpenCV的目标跟踪函数 2.1 函数调用 2.2 函数详解 2.3 综合评价 3 参考 在本教程中,我们将了解OpenCV 3中引入 ...
- emqtt-bench
安装 安装环境:Centos7 安装包:emqtt-bench-0.4.6-alpha.2-centos7-amd64.tar.gz 建议使用已编译好的发行包进行安装,源码编译已踩坑. # 创建存放目 ...
- 【大型软件开发】浅谈大型Qt软件开发(一)开发前的准备——在着手开发之前,我们要做些什么?
前言 最近我们项目部的核心产品正在进行重构,然后又是年底了,除了开发工作之外项目并不紧急,加上加班时间混不够了....所以就忙里偷闲把整个项目的开发思路聊一下,以供参考. 鉴于接下来的一年我要操刀这个 ...
- P8701 [蓝桥杯 2019 国 B] 第八大奇迹
简要题意 你需要维护一个长度为 \(L\) 的序列 \(a\),初始时全部都是 \(0\),有 \(N\) 个操作,支持: C p x,将 \(a_p\) 修改为 \(x\). Q a b,输出 \( ...