题面
https://www.luogu.org/problem/P2272
题解
一个子图被称为半联通的,当且仅当他的每一对顶点单向可达,可知强连通分量是一定满足的,强连通分量形成的拓扑图中,不同的支线之间互相不可达,所以只能保留一条链。
$tarjan$缩点+$DAG$上最长链
没有代码。