描述
有一个长度为n的01序列,m次回答,每次会给你 l 与 r,告知 l ~ r 之间有奇数个1还是偶数个1。求一个最小的k满足1~k之间的回答存在一个01序列满足,但是1 ~ k + 1的回答不存在。
分析
用sum[i]表示 1 ~ i 之间1个的个数。
- l ~ r 有偶数个1,等价于 sum[l-1] 与 sum[r] 的奇偶性相同
- l ~ r 有奇数个1,等价于 sum[l-1] 与 sum[r] 的奇偶性不同
因此,这题与“程序自动分析”很相似------给定若干变量和关系,判断这些关系可满足性的问题,但本题的传递关系不止一种。
n是
1
0
9
10^9
109,m是
1
0
4
10^4
104所以还要离散化。
做法1:边带权
记录每个点到根节点距离奇偶性。
先检查 x 和 y 是否在同一集合(奇偶关系是否已知)。get(x)、get(y)执行后,d[x] xor d[y] 就是 x 和 y 的奇偶关系。若 d[x] xor d[y] != z (z是给出的两点奇偶性) 则到该回答就不满足了。
若 x 与 y 不在一个集合,get(x)、get(y)后,由 d[x] ^ ? ^ d[y] = z,解出 ? = d[x] ^ d[y] ^ z,即 x根 接到 y根 后 x 根节点设置的距离。
代码
#include <bits/stdc++.h>
using namespace std;
#define fi first
#define se second
#define pii pair<int,int>
#define pll pair<ll,ll>
#define pli pair<ll,int>
#define Min(a,b,c) min(a,min(b,c))
#define Max(a,b,c) max(a,max(b,c))
typedef long long ll;
typedef unsigned long long ull;
const double pi = 3.141592653589793;
const double eps = 1e-8;
const int INF = 0x3f3f3f3f;
const int M = 10010;
int fa[M << 1], d[M << 1];
unordered_map<int, int> mp;
int get(int x)
{
if (fa[x] == x) return x;
int r = get(fa[x]);
d[x] ^= d[fa[x]];
return fa[x] = r;
}
int main()
{
int n, m;
scanf("%d%d", &n, &m);
for (int i = 1; i < (M << 1); i++) fa[i] = i, d[i] = 0;
n = 0;
int res = m;
for (int i = 1; i <= m; i++)
{
int x, y, z;
char s[6];
scanf("%d%d%s", &x, &y, s);
if (mp.find(x - 1) == mp.end()) mp[x - 1] = ++n; x = mp[x - 1]; // 无序离散化
if (mp.find(y) == mp.end()) mp[y] = ++n; y = mp[y];
z = s[0] == 'e' ? 0 : 1;
int rx = get(x), ry = get(y);
if (rx == ry)
{
if ((d[x] ^ d[y]) != z)
{
res = i - 1;
break;
}
}
else
{
d[rx] = d[x] ^ d[y] ^ z;
fa[rx] = ry;
}
}
printf("%d\n", res);
return 0;
}
做法2:扩展域
每个变量x拆成两个节点 x_odd 与 x_even。
若z=0,则合并x_odd,y_odd 和 x_even,y_even,表示他们可以互相推出,是等价的信息。
若z=1,则合并x_odd,y_even 和 x_even,y_odd,表示他们可以互相推出,是等价的信息。
在处理每个回答之前,还是要先检查矛盾,若x_odd与y_odd在同一集合,则表示x与y奇偶性相同,若x_odd与y_even在同一集合,则表示x与y奇偶性不同。
代码
#include <bits/stdc++.h>
using namespace std;
#define fi first
#define se second
#define pii pair<int,int>
#define pll pair<ll,ll>
#define pli pair<ll,int>
#define Min(a,b,c) min(a,min(b,c))
#define Max(a,b,c) max(a,max(b,c))
typedef long long ll;
typedef unsigned long long ull;
const double pi = 3.141592653589793;
const double eps = 1e-8;
const int INF = 0x3f3f3f3f;
const int M = 20010;
int fa[M << 1];
unordered_map<int, int> mp;
int get(int x)
{
if (fa[x] == x) return x;
return fa[x] = get(fa[x]);
}
int main()
{
int n, m;
scanf("%d%d", &n, &m);
for (int i = 1; i < (M << 1); i++) fa[i] = i;
n = 0;
int res = m;
for (int i = 1; i <= m; i++)
{
int x, y, z;
char s[6];
scanf("%d%d%s", &x, &y, s);
if (mp.find(x - 1) == mp.end()) mp[x - 1] = ++n; x = mp[x - 1]; // 无序离散化
if (mp.find(y) == mp.end()) mp[y] = ++n; y = mp[y];
int x_odd = x, x_even = x + M;
int y_odd = y, y_even = y + M;
z = s[0] == 'e' ? 0 : 1;
if (!z)
{
if (get(x_even) == get(y_odd))
{
res = i - 1;
break;
}
fa[get(x_odd)] = get(y_odd);
fa[get(x_even)] = get(y_even);
}
else
{
if (get(x_odd) == get(y_odd))
{
res = i - 1;
break;
}
fa[get(x_odd)] = get(y_even);
fa[get(x_even)] = get(y_odd);
}
}
printf("%d\n", res);
return 0;
}