これは驚くほど微妙な問題です。 EswaranとTarjan(以下を参照)は、最初に線形時間アルゴリズムを要求していましたが、Raghavan(A note on Eswaran And Tarjan's algorithm for the strong connectivity augmentation problem)によって発見され修正されたバグがありました。リンクされたPDF記事には、修正されたアルゴリズムの完全な扱いが含まれています。
@article{doi:10.1137/0205044,
author = {Kapali P. Eswaran and R. Endre Tarjan},
title = {Augmentation Problems},
journal = {SIAM Journal on Computing},
volume = {5},
number = {4},
pages = {653-665},
year = {1976},
doi = {10.1137/0205044},
URL = {
http://dx.doi.org/10.1137/0205044
},
eprint = {
http://dx.doi.org/10.1137/0205044
}
}
「接続されたコンポーネント」で検索したいことがあります。 – erip