UVALive 7427 Elementary Math

題目大意：給定一些數對，用+-*三個運算符號去操作數對，使得每個數對操作之後的結果都不相同。如果存在滿足情況的解，則按照原順序輸出，否則輸出impossible

一個設計的非常巧妙地二分圖！！

數對是一邊，匹配的是所有的運算結果，如果存在這樣的結果，就把點對和結果連邊，得出最大匹配。

特別需要注意的是，結果存儲的時候需要三倍空間。

小錯誤真的可以讓人WA到懷疑人生

#include<bits/stdc++.h>
using namespace std;
#define N 2502
struct xx
{
    long long a,b;
    long long c;
} T[N];
long long  useif[3*N];   //記錄y中節點是否使用 0表示沒有訪問過，1爲訪問過
long long  link[N*3];   //記錄當前與y節點相連的x的節點
long long  mat[N][N*3]; //記錄連接x和y的邊，如果i和j之間有邊則爲1，否則爲0
long long  gn,gm;    //二分圖中x和y中點的數目
long long  j[N*3];
long long  can(long long t )
{
    long long  i;
    for(i=1; i<=gm; i++)
    {
        if(useif[i]==0 && mat[t][i])
        {
            useif[i]=1;
            if(link[i]==-1 || can(link[i]))
            {
                link[i]=t;
                return 1;
            }
        }
    }
    return 0;
}
long long  MaxMatch()
{
    int i,num;
    num=0;
    memset(link,0xff,sizeof(link));
    for(i=1; i<=gn; i++)
    {
        memset(useif,0,sizeof(useif));
        if(can(i)) num++;
    }
    return num;
}

int main()
{
    int n;
    while(cin>>n)
    {
        gn=n;
        long long top=1;
        map<long long,long long >tmp;
        memset(mat,0,sizeof mat);
        memset(link,0,sizeof link);
        memset(useif,0,sizeof useif);
        for(int i=1; i<=n; i++)
        {
            cin>>T[i].a>>T[i].b;
            long long ad,su,mu;
            ad=T[i].a+T[i].b;
            su=T[i].a-T[i].b;
            mu=T[i].a*T[i].b;
            if(tmp[ad]==0)
            {
                tmp[ad]=top;
                mat[i][top]=1;
                j[top]=ad;
                top++;
            }
            else
            {
                mat[i][ tmp[ad] ]=1;
            }
            if(tmp[su]==0)
            {
                tmp[su]=top;
                mat[i][top]=1;
                j[top]=su;
                top++;
            }
            else
            {
                mat[i][ tmp[su] ]=1;
            }
            if(tmp[mu]==0)
            {
                tmp[mu]=top;
                mat[i][top]=1;
                j[top]=mu;
                top++;
            }
            else
            {
                mat[i][ tmp[mu] ]=1;
            }
        }
        gm=top-1;
        long long  num=MaxMatch();
        if(num!=n)
        {
            cout<<"impossible"<<endl;
            continue;
        }

        for(int i=1; i<=gm; i++)
        {
            if(link[i]>0)
            {
                T[link[i]].c=j[i];
            }
        }
        for(int i=1; i<=n; i++)
        {
            long long xxx=T[i].a;
            long long yyy=T[i].b;
            cout<<xxx;
            if(xxx+yyy==T[i].c)cout<<" + ";
            else if(xxx-yyy==T[i].c)cout<<" - ";
            else if(xxx*yyy==T[i].c)cout<<" * ";
            cout<<yyy<<" = ";
            cout<<T[i].c<<endl;
        }

    }
}