HDU 4975

关键词: 最大流，多解性转化为判环。

题意:

给一个$N*M$的矩阵，矩阵内每个数为$0-9$，已知矩阵每一行和每一列的值，判断是否有解？若有是否有多解？

思路:

对于这一类矩阵的题，第一反应就是分别以行和列为点去建边，比较为难是想到用网络流来解决这个问题，一旦知道了是网络流的模型，对于这题来说建边什么的就很简单了！
跑一个最大流，注意$N*M\leq1000$，所以点的数目是比较大的，dinic和SAP都是比较高效的！
然后就是如何去判断多解性了，我们可以发现，在残余网络中，如果存在环的话，那么满足最大流的情况下，是可以调整边的权值的，也就是存在多解！接下来就是判断无向图是否存在环，Tarjan是可以做的，下面贴一下dfs判断无向图是否存在环的代码！

int col[N];
bool find(int u,int fa)
{
    col[u]=1;
    for(int i=head[u];i!=-1;i=edge[i].next){
        int v=edge[i].to;
        if(edge[i].cap==0 || v==fa) continue;
        if(col[v]==1) return 1;
        else if(col[v]==2) ;//表示已经不再当前的dfs路中了
        else if(find(v,u)) return 1;

    }
    col[u]=2;
    return 0;
}