https://www.lydsy.com/JudgeOnline/problem.php?id=5333

https://www.luogu.org/problemnew/show/P4620

题意见上。

如果想看官方题解的话,移步:http://www.cnblogs.com/clrs97/p/9064630.html

如果你第一眼没看懂的话,没关系,往下看吧。

应该不难发现a数组构成了一棵有向完全二叉树的形态,于是题意转化成树上点数为k+1的路径点和%m=0。

并且会发现路径会重叠,且当一条路径的1~k个点和另一条路径的2~k+1个点重合时,第一条路径的k+1的点的权值a和第二条路径的1的点的权值b显然要满足限制:

a%m=b%m

并且发现这个限制只对到根路径长为k的点(起个名字叫关键点)不适用换句话讲除了这些点以外的点我们都可以扔掉了,因为除此之外的点的答案都可以通过关键点推算出来。

于是我们只需要对关键点进行dfs就行啦!并且因为到根路径长为k,所以我们只需要统计根到所有合法叶子的路径就行了

设f[i][j]表示i子树中i到叶子的路径答案%m为j时,在原树上的最小代价。(换句话讲,我们要求的就是f[1][0])

再设w[i][j]表示与i点满足限制的点的点权为j的最小代价。

则对于合法的点,f[x][(i+j)%m]=w[x][i]+f[x*2][j]+f[x*2+1][j],不合法的点比如非关键点,或是该点最深叶子到根距离小于k的,需要另行特判。

那么关键就是求w数组了,暴力显然是O(nm)的,于是我们有一种差分的思想去求这个w数组。

首先求出所有与x点满足性质点i的价值和sum[x]+=b[i]。

然后O(n)求出w[x][0]+=(m-a[i])*b[i]。再之后O(2^k*m)求出w[i][j]+=w[i][j-1]+sum[i]就行了。

但是你会发现求w[x][j]的方法对某些值已经等于j的点不公平,他们多加了一遍m*b[i],于是对于每个点,w[x][a[i]]-=m*b[i]。

于是我们有了优秀的求w数组的方法了,可以通过本题。

#include<cmath>
#include<queue>
#include<cstdio>
#include<cctype>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
typedef long long ll;
const int N=1e7+;
const int RN=;
const int M=;
const ll INF=1e18;
inline int read(){
int X=,w=;char ch=;
while(!isdigit(ch)){w|=ch=='-';ch=getchar();}
while(isdigit(ch))X=(X<<)+(X<<)+(ch^),ch=getchar();
return w?-X:X;
}
unsigned int SA,SB,SC;
int n,m,k,p,A,B,a[N],b[N],lim,d[RN];
ll w[RN][M],sum[RN],f[RN][M];
unsigned int rng61(){
SA^=SA<<;
SA^=SA>>;
SA^=SA<<;
unsigned int t=SA;
SA=SB;
SB=SC;
SC^=t^SA;
return SC;
}
void gen(){
n=read(),k=read(),m=read(),p=read();
SA=read(),SB=read(),SC=read(),A=read(),B=read();
for(int i=;i<=p;i++)a[i]=read(),b[i]=read();
for(int i=p+;i<=n;i++){
a[i]=rng61()%A+;
b[i]=rng61()%B+;
}
}
void dfs(int x){
int l=x<<,r=x<<|;
if(l>lim){
for(int i=;i<m;i++)f[x][i]=w[x][i];
return;
}
for(int i=;i<m;i++)f[x][i]=INF;
dfs(l);
if(r>lim||d[l]!=d[r]){
for(int i=;i<m;i++)
for(int j=;j<m;j++)
f[x][(i+j)%m]=min(f[x][(i+j)%m],w[x][i]+f[l][j]);
return;
}
dfs(r);
for(int i=;i<m;i++)
for(int j=;j<m;j++)
f[x][(i+j)%m]=min(f[x][(i+j)%m],w[x][i]+f[l][j]+f[r][j]);
}
inline void init(){
memset(sum,,sizeof(sum));
memset(w,,sizeof(w));
}
int main(){
int T=read();
while(T--){
init();gen();k++;
lim=min((<<k)-,n);
for(int i=,l=;i<=n;i++){
int j=i;
while((j>>l)>lim)l+=k;
j>>=l;
a[i]%=m;
sum[j]+=b[i];
w[j][]+=(m-a[i])*b[i];
w[j][a[i]]-=m*b[i];
}
for(int i=lim;i;i--){
d[i]=;
if((i<<)<=lim)d[i]=d[i<<];
d[i]++;
}
for(int i=;i<=lim;i++){
for(int j=;j<m;j++)w[i][j]+=w[i][j-]+sum[i];
}
dfs();
printf("%lld\n",f[][]);
}
return ;
}

+++++++++++++++++++++++++++++++++++++++++++

+本文作者:luyouqi233。               +

+欢迎访问我的博客:http://www.cnblogs.com/luyouqi233/+

+++++++++++++++++++++++++++++++++++++++++++

BZOJ5333:[SDOI2018]荣誉称号——题解的更多相关文章

  1. BZOJ5333 [Sdoi2018]荣誉称号 【差分 + 树形dp】

    题目链接 BZOJ5333 题解 看到式子,立即想到二叉树上一个点及其\(k\)个父亲权值和[如果有的话]模\(m\)意义下为\(0\) 考虑如何满足条件 我们假设\(1\)号为第\(0\)层 那么我 ...

  2. [loj#2566][BZOJ5333] [Sdoi2018]荣誉称号 树形dp

    #2566. 「SDOI2018」荣誉称号   休闲游戏玩家小 Q 不仅在算法竞赛方面取得了优异的成绩,还在一款收集钻石的游戏中排名很高. 这款游戏一共有 n 种不同类别的钻石,编号依次为 1 到 n ...

  3. bzoj5333: [Sdoi2018]荣誉称号

    请不要去改题目给的输入,不然你会wa穿... 这么故弄玄虚的题目,肯定要先转换问题 看到这个不断的除2想起别人家的线段树的写法...x的两个孩子是x<<1和x<<1|1 然后问 ...

  4. 【BZOJ5333】荣誉称号(动态规划)

    [BZOJ5333]荣誉称号(动态规划) 题面 BZOJ 洛谷 题解 今天早上贱狗老师讲的.然而我还是不会. 只好照着\(zsy\)代码大力理解一波. 首先观察等式,如果比较熟悉线段树,会发现就是线段 ...

  5. [SDOI2018]荣誉称号

    题解: 并不需要什么算法 首先我们随便画一画就会发现 能画出一颗满二叉树 然后要满足每个点从上往下的路径和都相同(%m意义下) 一个点上可能对应了多个点 然后这样我们可以暴力dp $2^k*m^2+n ...

  6. SDOI2018

    SD的题有点反人类啊... d1t1[SDOI2018]物理实验 感觉比较好想但不太好写,写了一半弃了 d1t2[SDOI2018]战略游戏 建出圆方树,每次建虚树,答案就是虚树上的原点个数减去询问的 ...

  7. SDOI2018:荣誉称号

    题解: https://files.cnblogs.com/files/clrs97/title-solution.pdf Code: #include<cstdio> #include& ...

  8. BZOJ5329: [SDOI2018]战略游戏——题解

    https://www.lydsy.com/JudgeOnline/problem.php?id=5329 https://www.luogu.org/problemnew/show/P4606 省选 ...

  9. 【题解】SDOI2018战略游戏

    被CNST的大小卡了好久.一定要开到18呀…… 首先,遇到这种带各种各样环的图先考虑是不是可以建立圆方树,在圆方树上求出答案.然后转化为圆方树之后,我们就将图转化到了树上.答案非常的明显:只要一个圆点 ...

随机推荐

  1. HBase 数据的多版本特性潜在的意外

    HBase做为KeyValue结构存储,在存储上是依照RowKey的字典序进行排序,对于很多应用而言这可能远远不够,好在HBase的数据可以存储多个版本,并且版本可以排序,其理论上最大的版本数目Int ...

  2. 180606-Linux下jdk中文乱码问题解决

    文章链接:https://liuyueyi.github.io/hexblog/2018/06/06/180606-Linux下jdk中文乱码问题解决/ linux下jdk中文乱码问题解决 之前遇到过 ...

  3. Siki_Unity_2-10_数据结构与算法

    Unity 2-10 数据结构与算法 任务1-1:数据结构简介 数据结构:数据存储的结构,数据之间的关系 数据结构分类: 集合:同属于一个集合 线性结构:数据元素存在一对一的关系 树形结构:数据元素存 ...

  4. Java 输出对象为字符串 工具类

    public static String reflectionToString(Object o){ if(o == null) return StringUtils.EMPTY; StringBui ...

  5. Django常用命令总结

    安装Django: pip install django 指定版本  pip3 install django==2.0 新建项目: django-admin.py startprject mysite ...

  6. JAVA基础学习之路(七)对象数组的定义及使用

    两种定义方式: 1.动态初始化: 定义并开辟数组:类名称 对象数组名[] = new 类名称[长度] 分布按成:类名称 对象数组名[] = null: 对象数组名 = new 类名称[长度]:   2 ...

  7. [Clr via C#读书笔记]Cp12泛型

    Cp12泛型 Generic: 特点 源代码保护 类型安全 清晰代码 更佳性能 Framework中的泛型 System.Collections.Generic; 开放类型,封闭类型:每个封闭类型都有 ...

  8. poj 3468 (区间修改 区间查询)

    A Simple Problem with Integers Time Limit: 5000MS   Memory Limit: 131072K Total Submissions:147133   ...

  9. Linux内核设计笔记7——中断

    中断与中断处理 何为中断? 一种由设备发向处理器的电信号 中断不与处理器时钟同步,随时可以发生,内核随时可能因为中断到来而被打断. 每一个中断都有唯一一个数字标志,称之为中断线(IRQ) 异常是由软件 ...

  10. Python3 集合

    1.集合的表示 集合是一个无序不重复的元素序列 创建空集合 set() 2.集合的运算 a={1,2,3} b={2,3,4} print(a-b) #a中包含b中不包含 print(a|b) #a中 ...