题目大意:
在一张有向图中,我们把有这样性质的点的集合S称之为Clique(派系?)
对于任意在S中的两个点x,y 存在x->y的路径或(包含)存在y->x的路径
思路:首先要明白,如果存在强连通分量,那么在这个强连通分量里的所有点他们都是一样的,有你的肉就少不了我一杯羹。因此我们事实上可以把一个强连通分量缩成一个点,点权为scc的大小。
然后我们又重新的到了一张无环的,有点权的有向图。
然后我们所做的是找到一条【路径】,上面包含的点权之和最大。
为什么是路径不是子树呢?因为如果某点有两个子节点,如果这两个子节点毫无关系,则不满组题目要求,如果有关系,那么一定是在这条路径上的。
#include <bits/stdc++.h>
#define CLR(arr) memset(arr,0,sizeof(arr))
using namespace std;
typedef long long ll;
const int maxn = 1e5+100;
vector<int> G[maxn];
int pre[maxn];
int low[maxn];
int sccno[maxn];
int sccs[maxn];
int dfn;
int scc_cnt;
stack<int> S;
void dfs(int u)
{
low[u] = pre[u] = ++dfn;
S.push(u);
for (int i = 0 ; i < G[u].size() ; ++i)
{
int v = G[u][i];
if(!pre[v])
{
dfs(v);
low[u] = min(low[u],low[v]);
}
else if (!sccno[v])
{ low[u] = min(low[u],pre[v]); }
}
if(low[u] == pre[u])
{
scc_cnt++;
while(1)
{
int x = S.top(); S.pop();
sccno[x] = scc_cnt;
sccs[scc_cnt]++;
if(x == u) break;
}
}
}
void find_scc(int n)
{
CLR(pre);CLR(low);CLR(sccno);CLR(sccs);
dfn = scc_cnt = 0;
for (int i = 1 ; i <= n ; ++i)
if(!pre[i])
dfs(i);
}
vector<int> tree[maxn];
int dp[maxn];
void AddEdge(int u,int v)
{ G[u].push_back(v); }
void AddDAG(int u,int v)
{ tree[u].push_back(v); }
int dps(int x)
{
if(dp[x] != -1) return dp[x];
dp[x] = sccs[x];
for (int i = 0 ; i < tree[x].size() ; ++i)
{
int v = tree[x][i];
dp[x] = max(dp[x],dps(v) + sccs[x]) ;
}
return dp[x];
}
int main()
{
int T;
cin >> T;
int n,m;
while(T--)
{
int x = 0 , y = 0;
cin >> n >> m;
while(m--)
{
cin >> x >> y;
AddEdge(x,y);
}
find_scc(n);
for (int u = 1 ; u <= n ; ++u)
for (int i = 0 ; i < G[u].size() ; ++i)
{
int v = G[u][i];
if(sccno[v] != sccno[u])
AddDAG(sccno[u],sccno[v]);
}
memset(dp,-1,sizeof(dp));
int ans = 0;
for (int i = 1 ; i <= scc_cnt ; ++i)
ans = max(ans,dps(i));
cout << ans << endl;
for (int i = 0 ; i <= n ; ++i)
{
G[i].clear();
tree[i].clear();
}
}
return 0;
}