图论-通用汇点

图论-通用汇点

问题

给定一个有向无环图$G=(V,E)$的邻接矩阵表示，给出一个时间复杂度为$O(V)$的算法，判断图是否存在一个通用汇点。

通用汇点指的是入度为$|V|-1$但出度为0的点。

分析

在有向无环图G中，通用汇点如果存在，且只能存在一个。如果存在两个，那么任意一个的入度都不满足$|V|-1$。

假设通用汇点为节点i，那么邻接矩阵的第i行全是0，满足出度为0。同理，第i列除矩阵主对角线以外的位置全为1，满足入度为$|V|-1$。因此我们就是要找这样一个点。

代码

// 判断点u是否为通用汇点
bool isUniSink(int **mat, int n, int u)
{
    // 第i行全是0
    for (int i = 0; i < n; i++)
        if (mat[u][i] == 1)
            return false;

    // 第i列除矩阵主对角线以外的位置全为1
    for (int i = 0; i < n; i++)
        if (mat[i][u] == 0 && u != i)
            return false;

    return true;
}

// 判断是否存在通用汇点
bool existUniSink(int **mat, int n)
{
    // i表示第i个点可能是通用汇点，j表示第j个点可能是通用汇点
    int i = 0, j = 0;
    while (i < n && j < n)
    {
        if (mat[i][j] == 1)
        {
            // 此时i绝对不可能是通用汇点，i++
            i++;
        }
        else
        {
            // 此时如果i不等于j，那么j也不是通用汇点，j++
            j++;
        }
    }
    // 到这里，如果i>=n那么说明绝对没有通用汇点。
    // 如果i < n，但j>=n，那么前j个节点都也就是所有节点都不能是通用汇点，除了节点i
    return i < n && isUniSink(mat, n, i);
}