uva1572——自组（World Final 2013，图论模型）

///////////////////////////////////////////////////////////////////////////////////////////////////////
作者：tt2767
声明：本文遵循以下协议自由转载-非商用-非衍生-保持署名|Creative Commons BY-NC-ND 3.0
查看本文更新与讨论请点击：http://blog.csdn.net/tt2767
链接被删请百度： CSDN tt2767
///////////////////////////////////////////////////////////////////////////////////////////////////////

这题值得学习的几点：
1.输入匹配的代码十分优美！
2.把A+,A-映射成2n,2n+1做，然后通过（2n）^1 = 2n+1 , （2n+1）^1 = 2n 来反转，不得不说十分精妙！

题解：由于正方形是无限的，把要去连接编号与被链接的正方形上的其他可扩展编号看成节点，被链接的正方形看成边，寻找次有向图的环。
题目中的例子：
A- |->->->->->->->->->->A+|->->->->->->->->(A+,A+,00)
要连接的节点————两正方形连接点————被链接的正方形的其他节点

#include<cstdio>
#include<cstring>

int G[60][60];
int vis[60];

//把A+-变成2n和2n+1
int ID(char x, char y);
//这函数表示一个接口接到u上后成转换成的其他接口
//利用（2n）^1 = 2n+1 , （2n+1）^1 = 2n 来反转
void cont(char x1,char x2,char y1,char y2);

bool dfs(int u);
bool cyc();

int main()
{
    int n;
    while(scanf("%d",&n) == 1 && n)
    {
        memset(G,‘\0‘,sizeof(G));
        memset(vis,0,sizeof(vis));
        for(int i = 0 ; i < n ; i++)
        {
            char s[9];
            scanf("%s",s);
            for(int j = 0 ; j < 4 ; j++)
                for(int  k = 0 ; k < 4 ; k++)
                    if(j != k)          //对每个边都与其他非自身的边连接
                        cont(s[j*2],s[j*2+1],s[k*2],s[k*2+1]);
        }

        if(cyc())
            puts("unbounded");//这个才是无限的。。。
        else
            puts("bounded");
    }
    return 0;
}

int ID(char x, char y)
{
    return (x-‘A‘)*2 + (y == ‘+‘ ? 0 : 1);
}

void cont(char x1,char x2,char y1,char y2)
{
    if(x1 == ‘0‘ || y1 == ‘0‘)      return ;
    int u = ID(x1,x2)^1 ;
    int v = ID(y1,y2);
    G[u][v]++;
}

bool dfs(int u)
{
    vis[u] = -1;
    for(int i = 0 ; i < 52 ; i++)
    {
        if(G[u][i])
        {
            if(vis[i] < 0)  return true;
            else if(!vis[i]  && dfs(i))     return true;
        }
    }
    vis[u] = 1;
    return false;
}

bool cyc()
{
    for(int i = 0 ; i < 52 ; i++)
        if(!vis[i]   &&  dfs(i))
            return true;
    return false;
}