深度优先搜索算法是一种遍历图的算法，它采用深度优先的策略，即尽可能深地搜索每个分支，直到找到目标节点或无法继续为止。其中，Tarjan算法就是基于对图深度优先搜索的算法，它可以通过搜索树中节点的回溯来寻找强连通分量。利用这一算法可以解决许多计算机科学问题，如缩点、拓扑排序等。