[Contest20180122]超级绵羊异或
题意:求$a\ xor\left(a+b\right)xor\cdots xor\left(a+b\left(n-1\right)\right)$
对每一位求答案,第$k$的答案是$\sum\limits_{i=0}^{n-1}\left\lfloor\dfrac{a+bi}{2^k}\right\rfloor$,这是类欧几里得算法中的一个
类欧几里得算法:求$f\left(a,b,c,n\right)=\sum\limits_{i=0}^n\left\lfloor\dfrac{ai+b}{c}\right\rfloor$
①若$a\geq c$或$b\geq c$,我们可以把它除出来,原式$=\dfrac{n\left(n+1\right)}{2}\left\lfloor\dfrac{a}{c}\right\rfloor+\left(n+1\right)\left\lfloor\dfrac{b}{c}\right\rfloor+f(a\%c,b\%c,c,n)$
②若$a\lt c$且$b\lt c$,令$m=\left\lfloor\dfrac{an+b}{c}\right\rfloor$
原式
$\begin{align*}&=\sum\limits_{i=0}^n\sum\limits_{j=1}^m\left[\left\lfloor\dfrac{ai+b}{c}\right\rfloor\geq j\right]\\&=\sum\limits_{i=0}^n\sum\limits_{j=0}^{m-1}\left[\left\lfloor\dfrac{ai+b}{c}\right\rfloor\geq j+1\right]\\&=\sum\limits_{i=0}^n\sum\limits_{j=0}^{m-1}\left[ai+b\geq cj+c\right]\\&=\sum\limits_{i=0}^n\sum\limits_{j=0}^{m-1}\left[ai\gt cj+c-b-1\right]\\&=\sum\limits_{i=0}^n\sum\limits_{j=0}^{m-1}\left[i\gt\left\lfloor\dfrac{cj+c-b-1}{a}\right\rfloor\right]\end{align*}$
因为$i,j$独立,所以两个求和符号可以换过来
$\begin{align*}&=\sum\limits_{j=0}^{m-1}\sum\limits_{i=0}^n\left[i\gt\left\lfloor\dfrac{cj+c-b-1}{a}\right\rfloor\right]\\&=\sum\limits_{j=0}^{m-1}\left(n-\left\lfloor\dfrac{cj+c-b-1}{a}\right\rfloor\right)\\&=mn-f\left(c,c-b-1,a,m-1\right)\end{align*}$
$a,c$每次递归要么被①削成余数,要么被②交换位置,类似欧几里得算法,复杂度也是一样的
边界是$a=0$
那么我们现在可以快速求原来的式子了
本题其实就是在模$2$的意义下求答案
#include<stdio.h>
#define ll long long
ll f(ll a,ll b,ll c,ll n){
if(a==0)return(b/c*(n+1))&1;
if(a>=c||b>=c)return((a/c*n*(n+1)/2)&1)^((b/c*(n+1))&1)^f(a%c,b%c,c,n);
ll m=(a*n+b)/c;
return((n*m)&1)^f(c,c-b-1,a,m-1);
}
int main(){
int t,i,n,a,b;
ll ans;
scanf("%d",&t);
while(t--){
scanf("%d%d%d",&n,&a,&b);
ans=0;
for(i=0;i<60;i++)ans|=(f(b,a,1ll<<i,n-1)<<i);
printf("%lld\n",ans);
}
}
[Contest20180122]超级绵羊异或的更多相关文章
- JZOJ3492数数&&GDOI2018超级异或绵羊——位&&类欧几里得
JZOJ3492 数数(count) 我们知道,一个等差数列可以用三个数A,B,N表示成如下形式: B+A,B+2A,B+3A⋯B+NA ztxz16想知道对于一个给定的等差数列,把其中每一项用二进 ...
- 【Hnoi2010】Bzoj2002 Bounce & Codevs2333 弹飞绵羊
Position: http://www.lydsy.com/JudgeOnline/problem.php?id=3143 http://codevs.cn/problem/2333/ Descri ...
- BZOJ 2002: [Hnoi2010]Bounce 弹飞绵羊
2002: [Hnoi2010]Bounce 弹飞绵羊 Time Limit: 10 Sec Memory Limit: 259 MBSubmit: 9071 Solved: 4652[Submi ...
- 【BZOJ2002】 [Hnoi2010]Bounce 弹飞绵羊 分块/LCT
Description 某天,Lostmonkey发明了一种超级弹力装置,为了在 他的绵羊朋友面前显摆,他邀请小绵羊一起玩个游戏.游戏一开始,Lostmonkey在地上沿着一条直线摆上n个装置,每个装 ...
- 【bzoj2002】[Hnoi2010]Bounce 弹飞绵羊 link-cut-tree
2016-05-30 11:51:59 用一个next数组,记录点x的下一个点是哪个 查询时,moveroot(n+1),access(x),splay(x) ,输出size[ch[x][0]]即为答 ...
- BZOJ-2002 弹飞绵羊 Link-Cut-Tree (分块)
2002: [Hnoi2010]Bounce 弹飞绵羊 Time Limit: 10 Sec Memory Limit: 259 MB Submit: 6801 Solved: 3573 [Submi ...
- [HNOI2010]BOUNCE 弹飞绵羊
题目描述 某天,Lostmonkey发明了一种超级弹力装置,为了在他的绵羊朋友面前显摆,他邀请小绵羊一起玩个游戏.游戏一开始,Lostmonkey在地上沿着一条直线摆上n个装置,每个装置设定初始弹力系 ...
- 【bzoj2002】[Hnoi2010]Bounce 弹飞绵羊 分块
[bzoj2002][Hnoi2010]Bounce 弹飞绵羊 2014年7月30日8101 Description 某天,Lostmonkey发明了一种超级弹力装置,为了在他的绵羊朋友面前显摆,他邀 ...
- 【BZOJ】2002: [Hnoi2010]Bounce 弹飞绵羊(lct)
http://www.lydsy.com/JudgeOnline/problem.php?id=2002 (BZOJ挂了,还没在BZOJ测,先是在wikioi测过了,,) 囧.在军训时立志要学lct! ...
随机推荐
- CentOS系统缺少库文件解决办法
By francis_hao May 31,2017 程序在编译时出现缺少库文件的提示,如下: as: error while loading shared libraries: libz. ...
- idea中如何配置git以及在idea中初始化git
idea中如何配置git以及在idea中初始化git呢: 参考此博文: http://blog.csdn.net/qq_28867949/article/details/73012300 *为了这个问 ...
- JAVA中List<Long> 转long[]的方法
之前每次都是通过循环去写,感觉代码不够优雅,百度了一下,查到如下的写法,先记下来: List<Long> list = new ArrayList<Long>(); list. ...
- 【Foreign】数数 [打表][DP]
数数 Time Limit: 10 Sec Memory Limit: 128 MB Description Input 仅一行两个整数L,R Output 仅一行一个整数表示答案. Sample ...
- Ubuntu 15.10 安装比特币客户端
下载 git clone https://github.com/bitcoin/bitcoin.git cd bitcoin ./autogen.sh 安装依赖包: ++-dev sudo apt-g ...
- 【Mysql优化】索引优化策略
1:索引类型 1.1 B-tree索引 注: 名叫btree索引,大的方面看,都用的平衡树,但具体的实现上, 各引擎稍有不同, 比如,严格的说,NDB引擎,使用的是T-tree Myisam,in ...
- 转:Android 的一些比较好的开源代码项目
转自:http://blog.csdn.net/zengyangtech/article/details/7019439 Android PDF 阅读器 http://sourceforge.net/ ...
- vue + webpack + gulp 简单环境 搭建
一.物料准备 废话不多说,直接上 package.json { "name": "vwp", "version": "1.0.0& ...
- 【bzoj3744】GTY的妹子序列
大力分块+树状数组+主席树…… #include<bits/stdc++.h> #define N 50005 #define pa pair<int,int> #define ...
- 数据类型转换,JS操作HTML
数据类型转换 1.自动转换(在某种运算环境下) Number环境 String环境 Boolean环境 2.强制类型转换 Number() 字符串:纯数字和空字符转为正常数字,其他NaN 布尔值:tu ...