【神仙题】【P4885】 灭顶之灾
Description
请将题目名称的首字母连起来读
Scarlet有一张$n*m$的神秘表格。现在Scarlet向表格中填数字,她会从第一行中的某个格子起,按照从左往右,从上往下的顺序依次填写从$1$开始的正整数,直至填满最后一行。
为了让你确定这个表格,Scarlet会告诉你表格中的$s$组同行连续数字。之后,Scarlet会对你发起$q$次询问,你需要依次回答每个数字被填在第几行第几列中。
Input
第一行$4$个正整数分别代表$n,m,s,q$
接下来$s$行,每行两个正整数$a_i,b_i$,代表整数$a_i$到$b_i$在表格中处于同一行且连续
接下来$q$行,每行一个正整数$A_i$,表示每个询问的数字
Output
如果符合数据的表格不存在,输出一行“Impossible!”(不含引号)
再如果符合数据的表格不唯一,输出一行"Uncertain!"(不含引号)
否则输出$q$行,每行两个正整数,代表每个被询问的数字被填在第几行第几列,如果该数字不在表格内,输出"0 0"
Scarlet为了减小输出文件,以轻易地上传测试数据至服务器,她现在只需要你输出所有行列数据的异或和(包括前文的“0 0”)。
Sample Input
3 4 2 2
8 9
2 4
9
3
Sample Output
7
Hint
对于100%的数据,$1\leq n,m,A_i,a_i,b_i\leq 10^{18}$,$1\leq s,q\leq 5*10^5$,$0\leq b_i-a_i\leq m-1$
Solution
推式子……瞎搞……想明白细节还是很恶心……
考虑对于每一个形如\(a,b\)在同一行的信息,都提供了一个\(a\)所能出现的区间。具体的,考虑在一列中,\(a\)最靠左能出现在第\(1\)行,最靠右能出现在第\(m-(b-a)\)行(此时\(b\)在第\(m\)行)。如果从左向右,从上向下数,设\(1\)前面有\(x\)个\(0\),那么\(a\)是矩阵中第\(a+x\)个数。这就给出了我们一个方程:
\]
将\(a\)移项,化简可得:
\]
由此可以解出x的值。
显然分别对于所有的信息解方程,最后留下的\(x\)就是\(x\)能取到的值。当这个值的个数为\(0\)时无解,大于\(1\)时有多组解(矩阵不唯一)
考虑对于每个解集如何求交。
由于是一个模意义下的解,\(x\)的解集共有两种情况,第一种情况形如\(x~\in~[l,r]\),第二种情况形如\(x~\in~[0,l]~\bigcup~[r,m-1]\)。对于第一种情况显然可以直接对每个解集求交。考虑第二种情况,能否通过单独维护左右两个区间的交集,最后与第一种情况分别相交再取并集得到答案呢?事实上是不能的。考虑如图的解集:
其中解1、2、3分别是解不等式得到的解集区间。显然他们的交集是被红色区域框柱的一部分。如果对左右部分分别求交,得到的区间会是绿色线段。再与解3求交后求并的结果是空集。答案错误。
正确的姿势应该是对每个解维护补集的并集。最后对并集求补集,所有解的交集。如果您不能理解上面的话,请多读几遍画个图。维护答案的方法使用数组存储并集即可,然后按照左端点排序,扫描一遍数组,对于覆盖线段树数为\(0\)的区间累加ans即可得到答案。
对于目前的数据这样的代码交上去即可AC。但是需要注意的是这样的算法存在瑕疵。考虑下面的数据:
2 2 2 1
4 4
2 3
1
正确答案显然应该输出\("Impossible!"\)
但事实上对于一部分代码这样的数据会输出一个答案3。输出x的解集你会发现计算机算出来的矩阵长这样:
0 1
2 3
4 5
这显然是不合法的,因为他的行数不合要求。但是我们在计算矩阵的时候并没有考虑行数的限制。解决方法很简单,对于所有一定出现在最后一行的数字(即\(b~\geq (n-1)~\times~m\)),对\(x\)的范围再做一个限制。具体的,设\(t=n~\times~m~-b\),则一定不会有大于\(t\)个\(0\)出现,添加限制\(x~\leq~t\)即可。在代码中,因为我脑子有毛病,所以用了另一个计算这个限制的方法,十分脑残但是懒得改了= =。
由此计算出的\(x\),便可作为正确的答案。
Code
在实现中,因为两个1e18相乘会爆long long,\((n-1)~\times~m\)使用int128存储。
#include<cstdio>
#include<cstdlib>
#include<algorithm>
#define rg register
#define ci const int
#define cl const long long int
typedef long long int ll;
namespace IO {
char buf[90];
}
template<typename T>
inline void qr(T &x) {
char ch=getchar(),lst=' ';
while(ch>'9'||ch<'0') lst=ch,ch=getchar();
while(ch>='0'&&ch<='9') x=(x<<1)+(x<<3)+(ch^48),ch=getchar();
if(lst=='-') x=-x;
}
template<typename T>
inline void write(T x,const char aft,const bool pt) {
if(x<0) x=-x,putchar('-');
int top=0;
do {
IO::buf[++top]=x%10+'0';
x/=10;
} while(x);
while(top) putchar(IO::buf[top--]);
if(pt) putchar(aft);
}
template<typename T>
inline T mmax(const T a,const T b) {if(a>b) return a;return b;}
template<typename T>
inline T mmin(const T a,const T b) {if(a<b) return a;return b;}
template<typename T>
inline T mabs(const T a) {if(a<0) return -a;return a;}
template<typename T>
inline void mswap(T &a,T &b) {
T temp=a;a=b;b=temp;
}
const int maxn = 1000010;
struct Zay {
ll x;int y;
inline bool operator<(const Zay &_others) const {
return this->x < _others.x;
}
};
Zay MU[maxn];
ll n,m,ans,cnt;
int s,q;
__int128 uc,tp;
ll check();
int main() {
qr(n);qr(m);qr(s);qr(q);
rg ll a,b,l1=0,r1=m-1;
uc=n-1;uc*=m;
while(s--) {
a=b=0;qr(a);qr(b);
if((1.0*b)/n > (1.0*m)) {puts("Impossible!");return 0;}
a%=m;
ll tl=((1ll-a)%m+m)%m,tr=((m-b)%m+m)%m;
if(tl <= tr) l1=mmax(l1,tl),r1=mmin(r1,tr);
else {
MU[++cnt]=(Zay) {tr+1,1};
MU[++cnt]=(Zay) {tl-1,-1};
}
tp=b;
if(tp > uc) {MU[++cnt]=(Zay) {m-(int)(tp-uc)+1,1};MU[++cnt]=(Zay) {m+1,-1};}
}
MU[++cnt]=(Zay) {-1,1};MU[++cnt]=(Zay) {l1-1,-1};MU[++cnt]=(Zay) {r1+1,1};MU[++cnt]=(Zay) {m+1,-1};
rg ll k;
std::sort(MU+1,MU+1+cnt);
k=check();
while(q--) {
a=0;qr(a);
a+=k;
if((1.0*a/n) > 1.0*m) continue;
ll _temp=(a-1)/m+1;ans^=_temp;
_temp=(a-1)%m+1;
ans^=_temp;
}
write(ans,'\n',true);
return 0;
}
ll check() {
rg ll k,sum=0,tg=0,i=1,tl=-2;
while(i <= cnt) {
if(tg <= 0) sum+=MU[i].x-1-tl,k=tl;
tl=MU[i].x;
while((i <= cnt) && (MU[i].x == tl)) tg+=MU[i].y,++i;
}
if(!sum) {puts("Impossible!");exit(0);}
else if(sum > 1) {puts("Uncertain!");exit(0);}
else return k+1;
}
Summary
多个区间的交难以维护,可以考虑维护区间补集的并集,最后求补集即为交集。
【神仙题】【P4885】 灭顶之灾的更多相关文章
- 【BZOJ5285】[HNOI2018]寻宝游戏(神仙题)
[BZOJ5285][HNOI2018]寻宝游戏(神仙题) 题面 BZOJ 洛谷 题解 既然是二进制按位的运算,显然按位考虑. 发现这样一个关系,如果是\(or\)的话,只要\(or\ 1\),那么无 ...
- 【BZOJ5213】[ZJOI2018]迷宫(神仙题)
[BZOJ5213][ZJOI2018]迷宫(神仙题) 题面 BZOJ 洛谷 题解 首先可以很容易的得到一个\(K\)个点的答案. 构建\(K\)个点分别表示\(mod\ K\)的余数.那么点\(i\ ...
- 【BZOJ1071】[SCOI2007]组队(神仙题)
[BZOJ1071][SCOI2007]组队(神仙题) 题面 BZOJ 洛谷 题解 首先把式子整理一下,也就是\(A*h+B*v\le C+A*minH+B*minV\) 我们正常能够想到的做法是钦定 ...
- 【agc006f】Blackout(神仙题)
[agc006f]Blackout(神仙题) 翻译 给定一个\(n*n\)的网格图,有些格子是黑色的.如果\((x,y),(y,z)\)都是黑色的,那么\((y,x)\)也会被染黑,求最终黑格子数量. ...
- 【BZOJ3244】【NOI2013】树的计数(神仙题)
[BZOJ3244][NOI2013]树的计数(神仙题) 题面 BZOJ 这题有点假,\(bzoj\)上如果要交的话请输出\(ans-0.001,ans,ans+0.001\) 题解 数的形态和编号没 ...
- 【bzoj2118&洛谷P2371】墨墨的等式(最短路神仙题)
题目传送门:bzoj2118 洛谷P2371 这道题看了题解后才会的..果然是国家集训队的神仙题,思维独特. 首先若方程$ \sum_{i=1}^{n}a_ix_i=k $有非负整数解,那么显然对于每 ...
- P3202 [HNOI2009]通往城堡之路 神仙题
这个题不是坑人吗...写个tarjan标签,然后拿这么个神仙题来搞...代码有点看不懂,有兴趣的可以去洛谷题解区看看,懒得想了. 题干: 题目描述 听说公主被关押在城堡里,彭大侠下定决心:不管一路上有 ...
- Codeforces & Atcoder神仙题做题记录
鉴于Codeforces和atcoder上有很多神题,即使发呆了一整节数学课也是肝不出来,所以就记录一下. AGC033B LRUD Game 只要横坐标或者纵坐标超出范围就可以,所以我们只用看其中一 ...
- UOJ #460. 新年的拯救计划 神仙题+构造
对于这个神仙题,我还能说什么~ 第一个答案=$n/2$ 还是比较好猜的. 对于构造这个树,大概就是先从 $1$ 号节点向 $n/2$ 距离以内都连一条边,再在第 $n/2$ 个节点进行这个操作,然后从 ...
- Codeforces 464E The Classic Problem(主席树+最短路+哈希,神仙题)
题目链接 题意:给出一张 \(n\) 个点 \(m\) 条边的无向图,第 \(i\) 条边连接 \(u_i,v_i\),边权为 \(2^{w_i}\),求 \(s\) 到 \(t\) 的最短路. \( ...
随机推荐
- python3 爬虫爬取深圳公租房轮候库(深圳房网)
深圳公租房轮候库已经朝着几十万人的规模前进了,这是截至16年10月之前的数据了,贴上来大家体会下 所以17年已更新妥妥的10W+ 今天就拿这个作为爬虫的练手项目 1.环境准备: 操作系统:win10 ...
- Git 新建文件并提交
1.创建一个readme.txt. cd /home/cyp/learngit touch readme.txt vim readme.txt 编写内容, wq 保存推出 2.提交步骤 2.1 gi ...
- word record 3
word record 3 tabloid : a half size page of a newspaper, or a newspaper or magazine with short, exci ...
- python 终级篇 django ---ORM操作
一般操作 必会的 ...
- 科普:PCI-E插槽都有哪些样子?
主板上的扩展插槽曾经是多种多样的,例如曾经非常流行的组合就是PCI插槽搭配AGP插槽,其中AGP插槽主要用在显卡上,而PCI插槽的用途则更广一些,不仅有用在显卡上,还能用于扩展其它设备,如网卡.声卡. ...
- Memory及其controller芯片整体测试方案(上篇)
如果你最近想买手机,没准儿你一看价格会被吓到手机什么时候偷偷涨价啦! 其实对于手机涨价,手机制造商也是有苦难言,其中一个显著的原因是存储器芯片价格的上涨↗↗↗ >>> 存储器memo ...
- 总结get和post区别
参考博文: 浅谈HTTP中Get与Post的区别 1. 数据传递方向: Get是向服务器发索取数据的一种请求,Post是向服务器提交数据的一种请求 (都是请求,并不是一个取一个发) Get:①用于获取 ...
- Java之I/O流(第1部分)
Java 中的I/O流: 1. 输入/输出流原理: 如下图所示:在 java 程序中,对于数据的输入/输出操作以“流”(Stream)的方式进行:J2SDK 提供了各种各样的“流”类,用来获取不同种类 ...
- mysql入门 — (2)
创建表 CREATE TABLE 表名称 [IF NOT EXISTS]( 字段名1 列类型[属性] [索引] 字段名2 列类型[属性] [索引] ... 字段名n 列类型[属性] [索引] )[表类 ...
- LintCode-372.在O(1)时间复杂度删除链表节点
在O(1)时间复杂度删除链表节点 给定一个单链表中的一个等待被删除的节点(非表头或表尾).请在在O(1)时间复杂度删除该链表节点. 样例 给定 1->2->3->4,和节点 3,删除 ...