[CSP-S模拟测试]:真相（模拟）

题目传送门（内部题106）

---

输入格式

　　第一行为一个正整数$T$，表示数据组数。
　　接下来$T$组数据，每组数据第一行一个正整数$n$表示$OIer$，接下来$n$行，第$i$行表示编号为$i$的人所说的话，格式可以参考题面描述。

---

输出格式

　　对每组数据，如果这组数据里的$OIer$们说的话无论如何都会产生矛盾，那么就输出一行一个字符串$inconsistent$，否则输出一行一个字符串$consistent$。

---

样例

样例输入：

3
3
+
+
$ 3
3
+
-
$ 3
1
-

样例输出：

consistent
consistent
inconsistent

---

数据范围与提示

样例解释：

　　第一组数据中，三个人全部说真话可以满足条件。
　　第二组数据中，前两个人说真话，第三个人说假话可以满足条件（这时候一共有$2$个人说了真话，第三个人的描述自然不正确）
　　第三组数据中，一名无聊的$OIer$一个人产生了一个“这句话是假话”的悖论，因此无论如何他所说的话都自相矛盾。

数据范围：

　　对于$30\%$的数据，$n,T\leqslant 10$。
　　对于$65\%$的数据，$n\leqslant 1,000$。
　　对于$100\%$的数据，$1\leqslant n,T\leqslant 100,000$，每个测试点内$n$的和不超过$1,000,000$。

---

题解

如果没有第一种情况，那么可以假设第一个人说的是实话，然后暴力判断就好了。

现在考虑如何处理有第一种情况的情况。

如果一个人出现了第一种情况，那么直到上一个出现第一种情况的人之间这一段就已经被确认了，而这个人说话的真实性只有两种情况，如果他说的是正确的，那么与他同种（都是第一种情况，且$k$一样）的人也说的是对的，其余都是错的，所以可以预处理出来这个人说真话和说假话时该段说真话和说假话的人数。

注意细节即可。

时间复杂度：$\Theta(\sum n)$。

期望得分：$100$分。

实际得分：$100$分。

---

代码时刻

#include<bits/stdc++.h>
using namespace std;
struct rec{int opt,k;}e[100001];
int n;
vector<int> vec;
int num[2][100001],fail,f[2][100001],con[100001];
void pre_work(){fail=0;vec.clear();}
int main()
{
	int T;scanf("%d",&T);
	while(T--)
	{
		pre_work();
		scanf("%d",&n);
		for(int i=1;i<=n;i++)
		{
			char ch[3];
			scanf("%s",ch+1);
			switch(ch[1])
			{
				case '$':e[i].opt=1;scanf("%d",&e[i].k);vec.push_back(i);break;
				case '+':e[i].opt=2;break;
				case '-':e[i].opt=3;break;
			}
		}
		if(!vec.size())
		{
			bool now=1;
			for(int i=1;i<=n;i++)if(e[i].opt==3)now^=1;
			if(now)puts("consistent");
			else puts("inconsistent");
			continue;
		}
		int sum=0;
		for(int i=0;i<vec.size();i++)
		{
			int pos=vec[i]+1,nxt,now=1,cnt=0,tot=1;
			if(pos>n)pos-=n;
			if(i==vec.size()-1)nxt=vec[0];
			else nxt=vec[i+1];
			for(int j=pos;j!=nxt;)
			{
				if(now)cnt++;
				if(e[j].opt==3)now^=1;
				tot++;j++;if(j>n)j-=n;
			}
			con[++fail]=e[nxt].k;
			if(now)
			{
				cnt++;
				num[0][fail]=cnt;
				num[1][fail]=tot-cnt;
			}
			else
			{
				num[0][fail]=tot-cnt;
				num[1][fail]=cnt;
			}
			f[0][con[fail]]+=num[0][fail];
			f[1][con[fail]]+=num[1][fail];
			sum+=num[1][fail];
		}
		bool ans=0;
		for(int i=0;i<=n;i++)
		{
			int cnt=f[0][i]-f[1][i]+sum;
			if(cnt==i){ans=1;break;}
		}
		if(ans)puts("consistent");
		else puts("inconsistent");
		for(int i=1;i<=fail;i++)f[0][con[i]]=f[1][con[i]]=0;
	}
	return 0;
}

---

rp++