Tarjan系列例題

tarjan演算法——有向圖環問題的killer

洛谷模板題 題目

問節點大於1的強聯通分量個數

題解染色的**稍微修改即可

#include

#define maxl 400010
using
namespace std;
int n,k,ff,top,cnt,cnt2,id,num,m,m1,m2;
int a[maxl]
,b[maxl]
,s[maxl]
;int ehead[maxl]
,ehead2[maxl]
;struct ed
e[maxl]
,e2[maxl]
;int f[maxl]
,dfn[maxl]
,low[maxl]
;bool in[maxl]
;bool ansflag;
//鏈式前向星
inline
void
add(
int u,
int v)
inline
void
tarjan
(int u)
else
if(in[v]
&& dfn[v]
) low[u]
=dfn[v];}
if(dfn[u]
==low[u]
)while
(v!=u);}
}int
main()
for(
int i=
1;i<=n;i++
)int ans=0;
for(
int i=
1;i<=ff;i++
) cout<}

求有向圖中所有點都能到達的點

題解我們考慮加入圖中沒有環的情況，那麼出度為0的點就一定就是這個點，加入有兩個及以上出度為0的點，則這樣的點不存在，因為這幾個出度為0的點必不能互相到達

然後再考慮有環的情況，有環的情況比較複雜，但考慮到環內所有點的地位相同，作用相同，所以我們將每乙個環都縮成乙個點，這樣就能按照上述情況討論了（雖說是模板題，其實還是挺有難度的）

所謂的縮點實質在我看來就是先把乙個強聯通分量中的所有點染上同樣的顏色，然後遍歷每一條邊的時候只要邊的起點與終點點的顏色相同，就跳過這條邊，如果不同，就對兩個點的聯通分量的編號進行操作（而不是直接對兩個點進行操作），這樣就達成了縮點的目的

#include

#define maxl 400010
using
namespace std;
int n,k,ff,top,cnt,cnt2,id,num,m,m1,m2;
int a[maxl]
,b[maxl]
,s[maxl]
,du[maxl]
;int head[maxl]
,head2[maxl]
;struct ed
e[maxl]
,e2[maxl]
;int f[maxl]
,dfn[maxl]
,low[maxl]
;bool in[maxl]
;bool ansflag;
//鏈式前向星
inline
void
add(
int u,
int v)
inline
void
tarjan
(int u)
else
if(in[v]
&& dfn[v]
) low[u]
=dfn[v];}
if(dfn[u]
==low[u]
)while
(v!=u);}
}int
main()
for(
int i=
1;i<=n;i++
)for
(int i=
1;i<=n;i++)}
}int ans=
0,t=0;
for(
int i=
1;i<=ff;i++)}
}if(ans!=
1) cout<<
'0'

#include

#define maxl 400010
using
namespace std;
const
int m=
40000
;int n,k,ff,top,cnt,cnt2,id,num,m,m1,m2;
int a[maxl]
,b[maxl]
,s[maxl]
,v1[maxl]
,f1[maxl]
,du[maxl]
;int head[maxl]
,head2[maxl]
;struct ed
e[maxl]
,e2[maxl]
;int f[maxl]
,dfn[maxl]
,low[maxl]
;bool in[maxl]
;bool ansflag;
//鏈式前向星
inline
void
add(
int u,
int v)
inline
void
tarjan
(int u)
else
if(in[v]
&& dfn[v]
) low[u]
=dfn[v];}
if(dfn[u]
==low[u]
)while
(v!=u);}
}int
main()
cin>>m;
for(
int i=
1;i<=m;i++
)for
(int i=
1;i<=n;i++
)for
(int i=
1;i<=n;i++)}
int ans=0;
for(
int i=
1;i<=n;i++)}
}for
(int i=
1;i<=ff;i++
) cout<<
"yes\n"

}