[SCOI2008]天平【差分约束+Floyd】

洛谷P2474

---

SOL

发现一道不板子的差分约束

看到这个数据范围，我们可以想到一个暴力：枚举另外两个（记为$C,D$），判断是否满足$A+B<C+D$,$A+B>C+D$,$A+B=C+D$.

转换一下，$A-C>D-C||A-D>C-B$,

由于只有三种数值，那么对于$i>j$,可以转化为$i-j\ge 1andi-j\le 2$,
(注意$?$的情况上界为2，下界为-1)

所以我们求出任意两个数的差的上下界，原来的条件转化为：$min(A-C)\ge max(D-B)||min(A-D)\ge max(C-B)$。

用floyd处理多点的关系，上界跑最短路，下界跑最长路即可。

---

CODE

#include<bits/stdc++.h>
using namespace std;
#define sf scanf
#define ri register int
#define in red()
#define gc getchar()
#define cs const
#define ll long long
inline int red(){
	int num=0,f=1;char c=gc;
	for(;!isdigit(c);c=gc)if(c=='-')f=-1;
	for(;isdigit(c);c=gc)num=(num<<1)+(num<<3)+(c^48);
	return num*f;
}
cs int N=110;
inline void ckmin(int &a,int b){if(a>b)a=b;}
inline void ckmax(int &a,int b){if(a<b)a=b;}
int n,A,B,c1,c2,c3;
struct graph{
	int f[N][N];
	inline void adde(int x,int y,int z){f[x][y]=z;}
	inline void Short(){for(ri k=1;k<=n;++k)for(ri i=1;i<=n;++i)for(ri j=1;j<=n;++j)ckmin(f[i][j],f[i][k]+f[k][j]);}
	inline void Long(){for(ri k=1;k<=n;++k)for(ri i=1;i<=n;++i)for(ri j=1;j<=n;++j)ckmax(f[i][j],f[i][k]+f[k][j]);}
}Mn,Mx;
char s[N];
signed main(){
	freopen("data.in","r",stdin);
	memset(Mn.f,0,sizeof(Mn.f));memset(Mx.f,0,sizeof(Mx.f));
	n=in;A=in;B=in;
	for(ri i=1;i<=n;++i){
		sf("%s",s+1);
		for(ri j=1;j<=n;++j){
			if(s[j]=='+')Mn.adde(i,j,1),Mx.adde(i,j,2);
			if(s[j]=='-')Mn.adde(i,j,-2),Mx.adde(i,j,-1);
			if(s[j]=='?')Mn.adde(i,j,-2),Mx.adde(i,j,2);
		}
	}
	Mn.Long();Mx.Short();
	for(ri i=1;i<=n;++i){if(i==A||i==B)continue;
		for(ri j=1;j<i;++j){if(j==A||j==B)continue;
			if(Mn.f[A][i]>Mx.f[j][B]||Mn.f[A][j]>Mx.f[i][B])++c1;
			if(Mx.f[A][i]<Mn.f[j][B]||Mx.f[A][j]<Mn.f[i][B])++c3;
			if((Mn.f[A][i]==Mx.f[A][i]&&Mn.f[j][B]==Mx.f[j][B]&&Mn.f[A][i]==Mx.f[j][B])||(Mn.f[A][j]==Mx.f[A][j]&&Mn.f[i][B]==Mx.f[i][B]&&Mx.f[A][j]==Mx.f[i][B]))++c2;
		}
	}
	cout<<c1<<' '<<c2<<' '<<c3<<'\n';
	return 0;
}