SHCPC M.My University Is Better Than Yours题解

SHCPC M.My University Is Better Than Yours

原题链接

所有学校的排名关系构成一个图，会存在很多的环，考虑使用Tarjan缩点。将原图缩成若干个强连通分量构成的有向无环图。考虑其中一个强连通分量，若其中有$n$个点，则根据强连通分量的定义，其中的任意一点，都与其他$n-1$个点相互可达。

则根据题目：咖波定义学校 x 直接好于学校 y，当且仅当存在一份大学排名中学校 x 排在学校 y 前面。可知，在一个$n$所学校构成的强连通分量内，每个学校好于其他$n-1$所学校。

接下来扩展到整个图，我们只需要按照拓扑序遍历每个强连通分量，因为是有向无环图，所以先遍历到的强连通分量中的的学校好于后遍历到的强连通分量中的的学校。

具体思路

使用Tarjan缩点的同时，维护每个强连通分量内的学校编号以及数量。根据Tarjan算法的性质，根据强连通分量编号的逆序顺序来遍历强连通分量，则一定是拓扑序，再求一下每个强连通分量数量的前缀和，sz[i] - 1就是编号为i的强连通分量里的所有学校好于其他学校的数量（-1去掉自己）。

#include <bits/stdc++.h>

#define endl "\n"
#define ll long long
#define ull unsigned long long
#define INF 0x3f3f3f3f

using namespace std;
const int N = 5e5 + 5, M = 1e6 + 5;
int h[N], e[M], ne[M], idx;
int dfn[N], low[N], sz[N], timestamp, cnt;
vector<int> group[N];
stack<int> stk;
bool st[N];
int n, m;
int ans[N];

void add(int a, int b)
{
    e[idx] = b;
    ne[idx] = h[a];
    h[a] = idx++;
}

void tarjan(int u)
{
    dfn[u] = low[u] = ++timestamp;
    stk.push(u);
    st[u] = true;
    for(int i = h[u]; ~i; i = ne[i])
    {
        int j = e[i];
        if(!dfn[j])
        {
            tarjan(j);
            low[u] = min(low[u], low[j]);
        }
        else if(st[j]) low[u] = min(low[u], dfn[j]);
    }
    if(low[u] == dfn[u])
    {
        ++cnt;
        int y;
        do
        {
            y = stk.top();
            stk.pop();
            st[y] = false;
            sz[cnt]++;
            group[cnt].push_back(y);
        }while(y != u);
    }
}

int main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    cin >> n >> m;
    memset(h, -1, sizeof h);
    for(int i = 0; i < m; i++)
    {
        int a;
        cin >> a;
        for(int j = 1; j < n; j++)
        {
            int b;
            cin >> b;
            add(a, b);
            a = b;
        }
    }
    for(int i = 1; i <= n; i++) if(!dfn[i]) tarjan(i);
    for(int i = 1; i <= cnt; i++) sz[i] += sz[i - 1];

    for(int i = cnt; i >= 1; i--)
    {
        int k = sz[i];
        for(auto x:group[i]) ans[x] = k - 1;
    }
    for(int i = 1; i <= n; i++) cout << ans[i] << " ";


    return 0;
}