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. android分析windowManager、window、viewGroup之间关系(一)

    本文将主要介绍addview方法,在windowManager.window.viewGroup中的实现原理.首先将介绍这些类结构关系,然后分析其内在联系,介绍实现原理,最后介绍重要的一个参数wind ...

  2. uvaoj 10474 - Where is the Marble?(sort+lower_bound)

    https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem& ...

  3. Siki_Unity_0_Unity A计划直播视频

    Unity A计划直播视频 2017-07-04直播 任务1:如何识别以招聘来招培训生的公司: 打着招聘的旗号帮培训机构找培训生 关键词:实训生 任务2:如何识别一个公司的好坏和规模大小: 猎聘(中高 ...

  4. lintcode433 岛屿的个数

    岛屿的个数 给一个01矩阵,求不同的岛屿的个数. 0代表海,1代表岛,如果两个1相邻,那么这两个1属于同一个岛.我们只考虑上下左右为相邻. 您在真实的面试中是否遇到过这个题? Yes 样例 在矩阵: ...

  5. 正则表达式 和 re 模块

    正则表达式究竟是什么? 在一些网站注册的时候需要输入手机号码,当你输入一个错误的手机号码的时候,会提示你输入的手机号码格式错误 那么他究竟是如何判断的呢? 我们用Python代码进行表示: phone ...

  6. Intro to Probabilistic Model

    概率论复习 概率(Probability) 频率学派(Frequentist):由大量试验得到的期望频率(致命缺陷:有些事情无法大量试验,例如一封邮件是垃圾邮件的概率,雷达探测的物体是一枚导弹的概率) ...

  7. python中spilt()函数和os.path.spilt()函数区别

    Python中有split()和os.path.split()两个函数: split():拆分字符串.通过指定分隔符对字符串进行切片,并返回分割后的字符串列表. os.path.split():将文件 ...

  8. BZOJ 3166 HEOI2013 ALO 可持久化trie+st表

    题目链接:https://www.lydsy.com/JudgeOnline/problem.php?id=3166(洛谷上也有) 题意概述: 给出一个序列,对于一个区间,其权值为区间中的次大值亦或区 ...

  9. JS原型与面向对象总结

    ECMAScript有两种开发模式:1.函数式(过程化),2.面向对象(OOP).面向对象的语言有一个标志,那就是类的概念,而通过类可以创建任意多个具有相同属性和方法的对象.但 是,ECMAScrip ...

  10. maven把项目打包成jar包后找不到velocity模板的bug

    使用springmvc 开发时候要实现发送velcotiy模板邮件,在配置正常后,在本地测试正常后,使用maven打包成jar包后,报以下错误, Caused by: org.apache.veloc ...