Luogu4885 灭顶之灾

　　显然1的位置确定了整个矩阵，每一段连续的数即是对该位置的限制。化一下式子可以发现是一段区间或一段区间的补集，最后要求的是他们的交。看起来不太好求，于是转为求补集的并，那么排个序就完了。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;
#define ll long long
ll read()
{
    ll x=,f=;char c=getchar();
    while (c<''||c>'') {if (c=='-') f=-;c=getchar();}
    while (c>=''&&c<='') x=(x<<)+(x<<)+(c^),c=getchar();
    return x*f;
}
ll n,m,ans,mx,mn,pos;
int s,q,cnt=;
struct data
{
    ll x,y;
    bool operator <(const data&a) const
    {
        return x<a.x;
    }
}p[];
int main()
{
#ifndef ONLINE_JUDGE
    freopen("b.in","r",stdin);
    freopen("b.out","w",stdout);
    const char LL[]="%I64d\n";
#else
    const char LL[]="%lld\n";
#endif
    n=read(),m=read(),s=read(),q=read();
    while (s--)
    {
        ll a=(m+read()-)%m,b=(m+read()-)%m;
        if (a<b) cnt++,p[cnt].x=m-b,p[cnt].y=m-a-;
        else if (a>b)
        {
            cnt++,p[cnt].x=,p[cnt].y=m-a-;
            cnt++,p[cnt].x=m-b,p[cnt].y=m-;
        }
    }
    cnt++,p[cnt].x=m,p[cnt].y=m;
    sort(p+,p+cnt+);
    ll x=-;pos=-;
    for (int i=;i<=cnt;i++)
    if (p[i].x<=x+) x=max(x,p[i].y);
    else if (p[i].x-x==&&(pos==-)) pos=x+,x=p[i].y;
    else {cout<<"Uncertain!";return ;}
    if (pos==-) {cout<<"Impossible!";return ;}
    if (pos==) pos=m;
    while (q--)
    {
        ll x=read();
        if ((x+pos-)/m+<=n)
        ans^=(x+pos-)/m+^(x+pos-)%m+;
    }
    cout<<ans;
    return ;
}