bzoj1077

题解

这道题n的范围很小，所以我们可以考虑枚举+判定 
设放在天平右边的是C,D. 
以A+B<C+D为例，因为差分约束必须是差的形式，所以我们将式子变形 
B−C<D−A然后枚举D,A的取值，就得到了一个关于两个数差的不等式。设枚举的A的值为x，那么x<=A<=x 这个式子要想转换成差分的形式，需要引入一个新变量0，设dis[0]=0，那么式子可以变成x<=A−0<=x 
注意每个点都只能从[1,3]中取值，所以隐含的限制就是1<=dis[i]−dis[0]<=3。 
题目中说只有结果保证惟一的选法才统计在内，意思是对于同一对C,D只能计算一次，且如果枚举的C,D的值不同，得到的与A+B的关系不同的话，那么方案不合法。

代码：

#include<bits/stdc++.h>
const int N=;
using namespace std;
int tot,ne[N],fi[N],zz[N],c[N],mp[][],ans[];
int can[N],dis[N],n,B,A,rec[],pd;
void add(int x,int y,int z)
{
    tot++;
    ne[tot]=fi[x];
    fi[x]=tot;
    zz[tot]=y;
    c[tot]=z;
}
void spfa(int x)
{
    can[x]=;
    for (int i=fi[x];i;i=ne[i])
     if (dis[zz[i]]>dis[x]+c[i])
      {
        dis[zz[i]]=dis[x]+c[i];
        if (can[zz[i]])
         {
            pd=;
            return;
         }
        spfa(zz[i]);
        if (pd) return;
      }
    can[x]=;
}
void build()
{
    pd=;
    for (int i=;i<=n;i++) dis[i]=1e9,can[i]=;
    dis[]=;
}
int check1(int c,int d,int vd,int va)
{
    build();
    rec[]=tot; rec[]=fi[A]; rec[]=fi[B];
    rec[]=fi[c]; rec[]=fi[d]; rec[]=fi[];
    int t=vd-va-;
    add(c,B,t);
    add(,d,vd); add(d,,-vd);
    add(,A,va); add(A,,-va);
    spfa();
    tot=rec[]; fi[A]=rec[]; fi[B]=rec[];
    fi[c]=rec[]; fi[d]=rec[]; fi[]=rec[];
    return pd;
}
int check2(int c,int d,int vd,int va)
{
    build();
    rec[]=tot; rec[]=fi[A]; rec[]=fi[B];
    rec[]=fi[c]; rec[]=fi[d]; rec[]=fi[];
    int t=va-vd-;
    add(B,c,t);
    add(,d,vd); add(d,,-vd);
    add(,A,va); add(A,,-va);
    spfa();
    tot=rec[]; fi[A]=rec[]; fi[B]=rec[];
    fi[c]=rec[]; fi[d]=rec[]; fi[]=rec[];
    return pd;
}
int check3(int c,int d,int vd,int va)
{
    build();
    rec[]=tot; rec[]=fi[A]; rec[]=fi[B];
    rec[]=fi[c]; rec[]=fi[d]; rec[]=fi[];
    int t=vd-va;
    add(c,B,t); add(B,c,-t);
    add(,d,vd); add(d,,-vd);
    add(,A,va); add(A,,-va);
    spfa();
    tot=rec[]; fi[A]=rec[]; fi[B]=rec[];
    fi[c]=rec[]; fi[d]=rec[]; fi[]=rec[];
    return pd;
}
int main()
{
    scanf("%d%d%d",&n,&A,&B);
    for (int i=;i<=n;i++)
     {
        char s[];
        scanf("%s",s+);
        for (int j=;j<=n;j++)
         {
            if (s[j]=='+') add(i,j,-);
            if (s[j]=='-') add(j,i,-);
            if (s[j]=='=') add(j,i,),add(i,j,);
         }
     }
    for (int i=;i<=n;i++) add(,i,),add(i,,-);
    for (int i=;i<n;i++)
     for (int j=i+;j<=n;j++)
      {
        if (i==A||j==B||i==B||j==A) continue;
        int v1=,v2=,v3=;
        for (int d=;d<=;d++)
         for (int a=;a<=;a++)
          {
            int t1=check1(i,j,d,a);
            int t2=check2(i,j,d,a);
            int t3=check3(i,j,d,a);
            if (!t1) v1++;
            if (!t2) v2++;
            if (!t3) v3++;
          }
        if (v1&&!v2&&!v3) ans[]++;
        if (!v1&&v2&&!v3) ans[]++;
        if (!v1&&!v2&&v3) ans[]++;
      }
    printf("%d %d %d\n",ans[],ans[],ans[]);
}