Tarjanアルゴリズムの擬似コード

擬似コード：

スタック：パス上の現在のポイントDFS 
最小DFNので到達することができる点x：低[x]は


DFS（X、T）は、
    xはスタック
    DFN [X] = T 
    ロー[X] = T 
    （X、Y）のために
        IF（VIS [Y]！）
            DFS（Y、T + 1）、低[X] =分（低[X]、低[Y]）; 
        他
            IF（経路上のスタックにおけるY（））
                低[ X] =分（低[x]は、低[Y]）
    IF（低[X] = DFN [X]）
        をスタックにX