分治

首先,我们考虑分治处理此问题。

每次处理区间\([l,r]\)时,我们先处理完\([l,mid]\)和\([mid+1,r]\)两个区间的答案,然后我们再考虑计算左区间与右区间之间的答案。

处理的时候就需要分类讨论。

分类讨论

设\(Mn_x\)在\(l\le x\le mid\)时表示左区间的后缀最小值,\(mid+1\le x\le r\)时表示右区间的前缀最小值;\(Mx_x\)同理根据\(x\)的取值范围分别表示左区间的后缀最大值和右区间的前缀最大值。

考虑在左区间枚举左端点\(i\),用双指针在右区间移动,把右区间划分成三部分。

第一部分,这段区间内的\(x\)满足\(Mn_x\ge Mn_i,Mx_x\le Mx_i\)。

那么当右端点取在这段区间内时,答案都取\(Mn_i\&Mx_i\)。

第二部分,这段区间内的\(x\)满足\(Mn_x\ge Mn_i,Mx_x>Mx_i\)或者\(Mn_x<Mn_i,Mx_x\le Mx_i\)。

此时最小值或最大值中的其中一个会取这段区间中的值,另一个会取\(i\)位置的值。

这里以这段区间中取最小值,\(i\)位置上取最大值为例。

那么就是将这段区间内的\(Mn_x\)全都\(\&\)上\(Mx_i\)之后再求和。

只要将每个\(Mn_x\)二进制分解一下,然后每一位求前缀和。

询问时枚举二进制下每一位,若\(Mx_i\)这一位上有值,就计入答案,否则忽略不计。

第三部分,这段区间内的\(x\)满足\(Mn_x<Mn_i,Mx_x>Mx_i\)。

这时候答案取\(Mn_x\&Mx_x\),只要预处理一下就可以了。

代码

#include<bits/stdc++.h>
#define Tp template<typename Ty>
#define Ts template<typename Ty,typename... Ar>
#define Reg register
#define RI Reg int
#define Con const
#define CI Con int&
#define I inline
#define W while
#define N 100000
#define LV 20
#define LL long long
#define min(x,y) ((x)<(y)?(x):(y))
#define max(x,y) ((x)>(y)?(x):(y))
#define Gmin(x,y) (x>(y)&&(x=(y)))
#define Gmax(x,y) (x<(y)&&(x=(y)))
using namespace std;
int n,a[N+5];
class FastIO
{
private:
#define FS 100000
#define tc() (A==B&&(B=(A=FI)+fread(FI,1,FS,stdin),A==B)?EOF:*A++)
#define tn (x<<3)+(x<<1)
#define D isdigit(c=tc())
char c,*A,*B,FI[FS];
public:
I FastIO() {A=B=FI;}
Tp I void read(Ty& x) {x=0;W(!D);W(x=tn+(c&15),D);}
#undef D
}F;
class DivideSolver//分治
{
private:
int Mn[N+5],Mx[N+5],Mn_[N+5][LV+5],Mx_[N+5][LV+5];LL ans,S[N+5];
I void Work(int *sl,int *sr,CI v)
{
for(RI i=0;i<=LV;++i) v>>i&1&&(ans+=(1LL<<i)*(sr[i]-sl[i]));//枚举二进制下每一位计算答案
}
I void Divide(CI l,CI r)
{
if(l>=r) return;RI i,j,mid=l+r>>1;Divide(l,mid),Divide(mid+1,r);//递归处理子区间
for(Mn[mid]=Mx[mid]=a[mid],i=mid-1;i>=l;--i)//预处理左区间后缀最小值/最大值
Mn[i]=min(a[i],Mn[i+1]),Mx[i]=max(a[i],Mx[i+1]);
for(Mn[mid+1]=Mx[mid+1]=a[mid+1],i=mid+2;i<=r;++i)//预处理右区间前缀最小值/最大值
Mn[i]=min(a[i],Mn[i-1]),Mx[i]=max(a[i],Mx[i-1]);
memset(Mn_[mid],0,sizeof(Mn_[mid])),memset(Mx_[mid],0,sizeof(Mx_[mid]));//清空
for(i=mid+1;i<=r;++i) for(j=0;j<=LV;++j)//二进制分解右区间的Mn,Mx,并求前缀和
Mn_[i][j]=Mn_[i-1][j],Mx_[i][j]=Mx_[i-1][j],
Mn[i]>>j&1&&++Mn_[i][j],Mx[i]>>j&1&&++Mx_[i][j];
for(S[mid]=0,i=mid+1;i<=r;++i) S[i]=S[i-1]+(Mx[i]&Mn[i]);//统计右区间Mn[x]&Mx[x]的和
RI pl=mid,pr=mid+1;for(i=mid;i>=l;--i)//在左区间枚举
{
W(pl<r&&Mn[pl+1]>=Mn[i]&&Mx[pl+1]<=Mx[i]) ++pl;//指针在右区间移动
W(pr<=r&&(Mn[pr]>=Mn[i]||Mx[pr]<=Mx[i])) ++pr;//指针在右区间移动
ans+=1LL*(pl-mid)*(Mn[i]&Mx[i])+S[r]-S[pr-1];if(pl+1>pr-1) continue;//计算一、三两部分答案
Mx[pl+1]>Mx[i]?Work(Mx_[pl],Mx_[pr-1],Mn[i]):Work(Mn_[pl],Mn_[pr-1],Mx[i]);//计算第二部分答案
}
}
public:
I void Solve()
{
for(RI i=1;i<=n;++i) ans+=a[i];//考虑单点答案
Divide(1,n),printf("%lld",ans);//输出答案
}
}D;
int main()
{
freopen("query.in","r",stdin),freopen("query.out","w",stdout);
RI i;for(F.read(n),i=1;i<=n;++i) F.read(a[i]);return D.Solve(),0;
}

【2019.8.8 慈溪模拟赛 T2】query(query)(分治+分类讨论)的更多相关文章

  1. 【2019.8.15 慈溪模拟赛 T2】组合数(binom)(卢卡斯定理+高维前缀和)

    卢卡斯定理 题目中说到\(p\)是质数. 而此时要求组合数向质数取模的结果,就可以用卢卡斯定理: \[C_x^y=C_{x\ div\ p}^{y\ div\ p}\cdot C_{x\ mod\ p ...

  2. 【2019.8.6 慈溪模拟赛 T2】树上路径(tree)(Trie)

    从暴力考虑转化题意 考虑最暴力的做法,我们枚举路径的两端,然后采用类似求树上路径长度的做法,计算两点到根的贡献,然后除去\(LCA\)到根的贡献两次. 即,设\(v_i\)为\(i\)到根路径上的边权 ...

  3. 【2019.8.7 慈溪模拟赛 T2】环上随机点(ran)(自然算法)

    简单声明 我是蒟蒻不会推式子... 所以我用的是乱搞做法... 大自然的选择 这里我用的乱搞做法被闪指导赐名为"自然算法",对于这种输入信息很少的概率题一般都很适用. 比如此题,对 ...

  4. 【2019.8.9 慈溪模拟赛 T2】摘Galo(b)(树上背包)

    树上背包 这应该是一道树上背包裸题吧. 众所周知,树上背包的朴素\(DP\)是\(O(nm^2)\)的. 但对于这种体积全为\(1\)的树上背包,我们可以通过记\(Size\)优化转移时的循环上界,做 ...

  5. 【2019.8.12 慈溪模拟赛 T2】汪哥图(wang)(前缀和)

    森林 考虑到题目中给出条件两点间至多只有一条路径. 就可以发现,这是一个森林. 而森林有一个很有用的性质. 考虑对于一棵树,点数-边数=\(1\). 因此对于一个森林,点数-边数=连通块个数. 所以, ...

  6. 【2019.8.14 慈溪模拟赛 T2】黑心老板(gamble)(2-SAT)

    \(2-SAT\) 考虑每个点只能选择\(R\)或\(B\),可以看作选\(0\)或\(1\). 然后对于给出的关系式,若其中一个位置满足关系式,另两个位置就必须不满足关系式,这样就可以对于每个关系式 ...

  7. 【2019.8.11下午 慈溪模拟赛 T2】数数(gcd)(分块+枚举因数)

    莫比乌斯反演 考虑先推式子: \[\sum_{i=l}^r[gcd(a_i,G)=1]\] \[\sum_{i=l}^r\sum_{p|a_i,p|G}\mu(p)\] \[\sum_{p|G}\mu ...

  8. 【2019.8.11上午 慈溪模拟赛 T2】十七公斤重的文明(seventeen)(奇偶性讨论+动态规划)

    题意转化 考虑我们对于集合中每一个\(i\),若\(i-2,i+k\)存在,就向其连边. 那么,一个合法的集合就需要满足,不会存在环. 这样问题转化到了图上,就变得具体了许多,也就更容易考虑.求解了. ...

  9. 【2019.8.15 慈溪模拟赛 T1】插头(plugin)(二分+贪心)

    二分 首先,可以发现,最后的答案显然满足可二分性,因此我们可以二分答案. 然后,我们只要贪心,就可以验证了. 贪心 不难发现,肯定会优先选择能提供更多插座的排插,且在确定充电器个数的情况下,肯定选择能 ...

随机推荐

  1. 第05组 Beta冲刺(3/4)

    第05组 Beta冲刺(3/4) 队名:天码行空 组长博客连接 作业博客连接 团队燃尽图(共享): GitHub当日代码/文档签入记录展示(共享): 组员情况: 组员1:卢欢(组长) 过去两天完成了哪 ...

  2. Codeforces Round #594 (Div. 2) B. Grow The Tree 水题

    B. Grow The Tree Gardener Alexey teaches competitive programming to high school students. To congrat ...

  3. css的伪元素 ::after ::before 和 图标字体的使用

    浅谈css的伪元素::after和::before   css中的::after和::before已经被大量地使用在我们日常开发中了,使用他们可以使我们的文档结构更加简洁.但是很多人对::after和 ...

  4. LeetCode 387: 字符串中的第一个唯一字符 First Unique Character in a String

    题目: 给定一个字符串,找到它的第一个不重复的字符,并返回它的索引.如果不存在,则返回 -1. Given a string, find the first non-repeating charact ...

  5. C# windows服务,解决应用程序开机自启问题

    最近在东营做一个超市购物的项目,业务体量很小,是仅供内部员工使用的内网应用程序,其中涉及一个商品数据同步的winform应用程序,有一个问题就是服务器重启后,必须登录服务器操作系统,手动启动才行,于是 ...

  6. mysql中的ifnull()函数判断空值

    我们知道,在不同的数据库引擎中,内置函数的实现.命名都是存在差异的,如果经常切换使用这几个数据库引擎的话,很容易会将这些函数弄混淆. 比如说判断空值的函数,在Oracle中是NVL()函数.NVL2( ...

  7. 数据库——SQL-SERVER练习(6) 数据库安全性

    一.实验准备 (1)运行SQL-SERVER服务管理器, 启动服务(2)运行查询分析器,  以DBA身份登录数据库服务器:      用户名sa,  密码123456(3)打开CREATE-TABLE ...

  8. nodejs通过钉钉群机器人推送消息

    nodejs 通过钉钉群机器人推送消息 Intro 最近在用 nodejs 写爬虫,之前的 nodejs 爬虫代码用 js 写的,感觉可维护性太差,也没有智能提示,于是把js改用ts(typescri ...

  9. wpf button style IsMouseOver

    <Style x:Key="workButtonStyle" TargetType="{x:Type Button}"> <Style.Tri ...

  10. python基础(27):类成员的修饰符、类的特殊成员

    1. 类成员的修饰符 类的所有成员在上一步骤中已经做了详细的介绍,对于每一个类的成员而言都有两种形式: 公有成员,在任何地方都能访问 私有成员,只有在类的内部才能方法 私有成员和公有成员的定义不同:私 ...