bzoj 1077: [SCOI2008]天平

范围的差分约束

/**************************************************************
    Problem: 1077
    User: lxy8584099
    Language: C++
    Result: Accepted
    Time:44 ms
    Memory:1368 kb
****************************************************************/
 
/*
    差分约束
    不是固定的约束 看了看题解
    约束最大值和最小值
    mx i,j 表示i-j的最大值 mn i,j 表示 
    用 floyd 对砝码间的质量差进行上下界的确定
    有 i,j > k,l 即有 i-j > k-l 即 i+l > j+k  i+l就是A,B   j,k就是枚举出来的 
*/
#include<bits/stdc++.h>
using namespace std;
const int N=100;
char s[N];
int mx[N][N],mn[N][N],n,A,B;
int c1,c2,c3;
int main()
{
    scanf("%d%d%d",&n,&A,&B);
     
    for(int i=1;i<=n;i++)
    {
        scanf("%s",s+1);
        for(int j=1;j<=n;j++)
        {
            if(s[j]=='='||i==j) mn[i][j]=mx[i][j]=0;
            else if(s[j]=='+') mx[i][j]=2,mn[i][j]=1;
            else if(s[j]=='-') mx[i][j]=-1,mn[i][j]=-2;
            else mx[i][j]=2,mn[i][j]=-2;
        }
    }
    for(int k=1;k<=n;k++)
    for(int i=1;i<=n;i++)
    for(int j=1;j<=n;j++) if(i^j&&i^k)
        mx[i][j]=min(mx[i][j],mx[i][k]+mx[k][j]),
        mn[i][j]=max(mn[i][j],mn[i][k]+mn[k][j]);
    // floyd 锁紧范围  
    for(int i=1;i<=n;i++) if(i^A&&i^B)
    for(int j=1;j<i;j++) if(j^A&&j^B)
    {
        c1+=mn[A][i]>mx[j][B] || mn[B][i]>mx[j][A];
        //A-i的最小值大于j-B的最大值==> s1+s2 > i+j
        // 最小值大于最大值 那么就一定成立  
        c3+=mn[i][A]>mx[B][j] || mn[i][B]>mx[A][j];
        c2+=(mn[A][i]==mx[A][i]&&mn[j][B]==mx[j][B]&&mn[A][i]==mn[j][B])||
            (mn[A][j]==mx[A][j]&&mn[i][B]==mx[i][B]&&mn[A][j]==mn[i][B]);
        // 同时满足各种 能够想到的 相等 
    }
    printf("%d %d %d\n",c1,c2,c3);
    return 0;
}

 

转载于:https://www.cnblogs.com/lxy8584099/p/10317069.html