Language: C++

/**
 * @brief 深さ優先探索のテスト
 * @date  作成日     : 2016/02/15
 * @date  最終更新日 : 2016/02/15
 */


//****************************************
// 必要なヘッダファイルのインクルード
//****************************************

#include <iterator>
#include <functional>
#include <utility>
#include <algorithm>
#include <vector>
#include <stack>
#include <iostream>



/**
 * @brief グラフアルゴリズムに関する物置
 *
 * @note  グラフG = (V, E)には標準的な表現方法が2つある.隣接リストの集合による表現と隣接行列による表現である
 *        どちらを使っても有向グラフと無向グラフの両方を表現できる.グラフが疎(sparse)で|E|が|V|^2よりも
 *        ずっと小さいときには、隣接リストの表現はグラフをコンパクトに表現できる.これが表現を選択する際の基準になる
 *        グラフが密(dense)で|E|が|V|^2にほぼ等しいときや、2つの指定された頂点間に辺があるか否かを
 *        高速に判断する必要があるときには、隣接行列表現が好ましい場合もある
 *
 *        グラフG = (V, E)の隣接リスト表現(adjacency-list representation)は、Vの各頂点に対して1個、
 *        全部で|V|個のリストの配列Adjから構成される.各u ∈ Vに対して、隣接リストAdj[u]は辺(u, v) ∈ Eが存在する
 *        すべての頂点から構成される.(代わりに、隣接リストがこれらの頂点へのポインタを含むこともある.)
 *
 *        Gが有向グラフのとき、有向辺(u, v)はvが隣接リストAdj[u]の要素として現れることで、表現されるので、
 *        隣接リストの長さの合計は|E|である. Gが無向グラフのとき、(u, v)が無向辺ならば、uはvの隣接リストの要素であると
 *        同時にvはuの隣接リストの要素だから、隣接リストの長さの合計は2|E|である.有向グラフと無向グラフのどちらに対しても、
 *        隣接リスト表現はΘ(V + E)の記憶量しか必要としない望ましい性質を持っている
 *
 *        重み付きグラフ(weighted graph)では、重み関数(weight function) w:E->R(Rは実数体)によって、各辺に対して
 *        その重みを定義する. 重み付きグラフを表現できるように隣接リストを変更するのは簡単である
 *        たとえば、G = (V, E)を重み関数wを持つ重み付きグラフとすると、辺(u, v) ∈ Eの重みw(u, v)をuの隣接リストに
 *        頂点vとともに格納するだけでよい. 多くのグラフの変形に提要できるように修正できるという点で、
 *        隣接リスト表現は非常に柔軟性に富んでいる
 *
 *        隣接リストが潜在的に持つ欠点は、与えられた辺(u, v)がグラフに属するか否かを決定するには、隣接リストAdj[i]の中から
 *        vを探索するより速い方法がないことである.この欠点は隣接行列表現を用いると救済できるが、
 *        それには漸近的により多くの記憶量が必要になる
 *
 *        グラフG = (V, E)の隣接行列表現(adjacency-matrix representation)では、ある方法で、番号1, 2,...,|V|(one-based)が
 *        振られていると仮定する. グラフGの隣接行列表現は|V|x|V|型行列A = (aij)であり、
 *        aij = { 1 (i, j) ∈ Eのとき | 0 それ以外のとき }を満たす
 *        グラフの隣接行列はグラフの変数に関係なくΘ(V^2)の記憶量が必要である
 *
 *        隣接行列は主対角線に関して対称である. 無向グラフでは(u, v)と(v, u)は同じ辺を表すから、向こうグラフの隣接行列は
 *        その転置行列と等しい. すなわちA = Atである. いくつかの応用では、隣接行列の主対角線およびそれより上の要素だけを
 *        蓄え、グラフを格納するのに必要な記憶量をほぼ半分に減らすことができる
 *
 *        グラフの隣接リスト表現と同様、隣接行列表現でも重み付きグラフを表現できる. たとえば、 G = (V, E)を辺重み関数wを
 *        持つ重み付きグラフとするとき、辺(u, v) ∈ Eの重みw(u, v)を隣接行列のu行v列要素とすればよい
 *        辺が存在しないときは、NILを対応する行列要素の値としてもよいが、0や∞などの値を使ったほうが便利な場合も多い
 *
 *        隣接リスト表現の記憶効率は漸近的には隣接行列表現より悪くなることはないが、グラフが小さいときには
 *        隣接行列の単純さは捨てがたい. グラフが重み付きではない場合には1行列要素当たり1ビットで表現できるので、
 *        隣接行列表現はさらに有利になる
 *
 * @date  作成日     : 2016/02/08
 * @date  最終更新日 : 2016/02/20
 */



//****************************************
// 必要なヘッダファイルのインクルード
//****************************************

#include <utility>
#include <algorithm>
#include <vector>
#include <cassert>



//****************************************
// オブジェクト形式マクロの定義
//****************************************

#define GRAPH_BEGIN namespace graph {
#define GRAPH_END   }



//****************************************
// 構造体の定義
//****************************************

GRAPH_BEGIN

using weight_t   = std::int32_t;  /**< 辺(u, v)への重みwを表す型 */
using index_t    = std::int32_t;  /**< 頂点vの添字を表す型       */
using capacity_t = weight_t;      /**< 辺(u, v)の容量を表す型    */



namespace limits {
    enum {  // namespace graphによってscopedではあるが強く型付けされたenum(strongly-typed enum)ではない
    inf = std::numeric_limits<weight_t>::max() / 3,  /**< @brief 辺が存在しない場合に使用される値     */
    nil = std::numeric_limits<index_t>::min() / 3,   /**< @brief 先行点が存在しない場合に使用される値 */
};
}



/**
 * @brief  頂点色列挙構造体(scoped enum)
 * @detail (u, v) ∈ Eで頂点uが黒ならば頂点vは灰か黒である
 *         すなわち、黒頂点に隣接する全ての頂点は発見済みである
 *         灰頂点は白頂点に隣接することがあり、これらの頂点が既発見頂点と未発見頂点の境界をなす
 */
enum struct vcolor : std::int32_t {
    white,  /**< 未発見頂点 */
    black,  /**< 既発見頂点 */
    gray,   /**< 既見済頂点 */
};

/**
 * @brief グラフ用ノード(頂点) 
 */
struct vertex {
    union {
        weight_t d;       /**< 始点sからの距離  */
        weight_t key;     /**< Primのアルゴリズムにおいて木に属するある頂点とを結ぶ重み */
    };
    index_t pi;           /**< 先行頂点(の添字) */
    union {
        vcolor color;     /**< 頂点の色        */
        bool  visited;    /**< 発見済みか?     */
    };
    // weight_t f;           /**< 終了時刻印(DFSにおいて、黒色に彩色されたとき、刻まれる)     */
    vertex() : d(0), pi(0), color(vcolor::white)/*, f(0)*/ {}
};

/**
 * @brief グラフ用エッジ(辺)
 * @note  G = (V, E)を重み関数wを持つ重み付きグラフとすると、
 *        辺(u, v) ∈ Eの重みはw(u, v)と表される
 */
struct edge {
    index_t  src;   /**< 辺の始点u */
    index_t  dst;   /**< 辺の終点v */
    union {
        weight_t w;     /**< 辺(u, v)への重み(コスト) */
        capacity_t c;   /**< 辺(u, v)の容量 */
    };
    edge() = default;
    edge(index_t src, index_t dst) : src(src), dst(dst), w(1) {}
    edge(index_t src, index_t dst, weight_t w) : src(src), dst(dst), w(w) {}

    bool operator < (const edge& e) const { return w < e.w; }
    bool operator > (const edge& e) const { return w > e.w; }
};



using edges_t    = std::vector<edge>;      /**< グラフG=(V, E)の辺集合E   */
using vertices_t = std::vector<vertex>;    /**< グラフG=(V, E)の頂点集合V */
using array_t    = std::vector<weight_t>;  /**< 重みwの配列  */
using indices_t  = std::vector<index_t>;   /**< 頂点の添字配列 */
using matrix_t   = std::vector<array_t>;   /**< グラフGの隣接行列表現(および表行列表現) */
using graph_t    = std::vector<edges_t>;   /**< グラフGの隣接リスト表現(こちらを主に使用する) */



//****************************************
// 関数の定義
//****************************************

/**
 * @brief  深さ優先探索を行います
 * 
 * @note   深さ優先探索は、その名が示すように、可能ならば常にそのグラフの"より深い部分を"探索するという戦略に従う
 *         未探索の外向辺が残る頂点の中で、最後に発見した頂点vから出る辺を深さ優先探索は探索する. vの辺をすべて探索し終えると、
 *         vを発見したときに通った辺を「バックトラック(逆戻り)」し、vの直前の頂点を出る(未探索の)辺の探索に戻る
 *         この処理は視点から到達可能なすべての頂点を発見するまで続く. 未発見の頂点が残されていれば、その1つを新たな始点として
 *         探索を繰り返す. アルゴリズムはすべての頂点を発見するまでこのプロセスを繰り返す
 *
 *         幅優先探索と同様、発見済みの頂点uの隣接リストを走査中に頂点vを発見すると、深さ優先探索はvの先行点属性v.πをuに設定し、
 *         この事象を記録する. 先行点部分グラフが木である幅優先探索と違い、深さ優先探索では複数の始点から探索を繰り返すことがあるから、
 *         先行点部分グラフが複数の木から構成されることがある. そこで、深さ優先探索の先行点部分グラフ(predecessor subgraph)を
 *         幅優先探索と少し違って、Gπ = (V, Eπ)と定義する. ここで
 *           Eπ = { (v.π, v) : v ∈ V かつ v.π != NIL }
 *         である. 深さ優先探索の先行点部分グラフは複数の深さ優先木(depth-first tree)から構成される深さ優先森(depth-first forest)
 *         を形成する. Eπに属する辺を木辺(tree edge)と呼ぶ
 *
 *         幅優先探索と同様、深さ優先探索は頂点を探索状態で示す色で彩色する. 初期状態では各頂点は白であり、探索の中で発見されれば(discovered)
 *         灰に変わり、探索が終了すれば(finished)、すなわちこの頂点の隣接リストが完全に黒に変わる. 深さ優先探索では、
 *         各頂点が1つの深さ優先木の中にだけ現れることが保証されるので、これらの木は互いに共通部分を持たない
 *
 *         深さ優先探索は深さ優先森を構成するとともに各頂点に時刻印(timestamp)を押す. 各頂点vは2種類の時刻印を持つ
 *         第1の時刻印v.dはvを最初に発見し、灰に彩色した時刻を記録する. 第2の時刻印v.fはvの隣接リストを調べ終えて黒に彩色した時刻を記録する
 *         これらの時刻印はグラフ構造に関する重要な情報を供給し、深さ優先探索の振る舞いを理解するのに役立つ
 *
 *         以下に示す手続きDFSでは、頂点uを発見した時刻を属性u.dに記録し、uの処理を終了した時刻を属性u.fに記録する
 *         |V|個の各頂点について発見事象と終了事象はそれぞれ1個しか生起しないから、時刻印は1から2|V|の範囲の整数である
 *         任意の頂点uについて
 *           u.d < u.f
 *         が成立する. 頂点uは時刻u.d以前はWHITE, 時刻u.dと時刻u.fの間はGRAY, 時刻u.f以降はBLACKである
 *
 * @note   DFSの実行時間はΘ(V + E)である
 *
 * @note   深さ優先探索の興味深い性質の1つに入力されたグラフG = (V, E)の辺の分類が探索を使ってできることがある
 *         辺の分類からグラフに関する重要な情報が収集できる. たとえば、有向グラフが非巡回であるための必要十分条件が、
 *         深さ優先探索によって「後退」辺が生じないことである
 *
 *         G上の深さ優先探索が生成する深さ優先森Gπを用いて4種類の辺を定義できる
 *
 *         1. 深さ優先森Gπを構成する辺を木辺(tree edge)という. 辺(u, v)を探索することでvを始めて発見したならば、辺(u, v)は木片である
 *
 *         2. ある深さ優先木のある頂点uとその祖先vを結ぶ辺(u, v)を後退辺(back edge)という
 *            有向グラフが自己ループを含むことがあるが、これは後退辺とみなす
 *
 *         3. ある深さ優先木のある頂点uとその子孫vを結ぶ辺(u, v)で木片ではないものを前進辺(forward edge)という
 *
 *         4. 上記以外のすべての辺を横断辺(cross edge)という. 一方の頂点が祖先でない限り、同じ深さ優先木の頂点を結ぶものであってよいし、
 *            また、2つの深さ優先木を結ぶものであっても良い
 *
 *
 * @note   DFSアルゴリズムは辺に出会ったときに、手持ちの情報だけからこの辺を分類できることがある
 *         辺(u, v)を最初に探索した時、頂点vの色がこの辺について何かを教えてくれるというのがキーとなるアイデアである
 *
 *         1. WHITEは木片であることを示す
 *         2. GRAYは後退辺であることを示す
 *         3. BLACKは前進辺あるいは横断辺であることを示す
 *
 *
 * @param  グラフG(無向でも有向でもよい)
 * @return 深さ優先森
 */
std::pair<vertices_t, array_t> dfs(const graph_t& G)
{
    std::int32_t n = G.size();
    vertices_t vs(n);
    array_t f(n);
    weight_t time;

    // 再帰的に白頂点uを訪問する
    std::function <void(index_t)> visit = [&] (index_t u) -> void {  // 白頂点を発見した...
        time = time + 1;             // timeを1進め、
        vs[u].d = time;              // timeの値を発見時刻u.dとして記録し、
        vs[u].color = vcolor::gray;  // uを灰に彩色する
        // 各頂点v ∈ Adj[u]を吟味するので、深さ優先探索は辺(u, v)を探索する(explore)という
        for (auto& e : G[u]) {                   // uと隣接する各頂点vを調べ、
            index_t v = e.dst;
            if (vs[v].color == vcolor::white) {  // vが白なら再帰的にvを訪問する
                vs[v].pi = u;
                visit(v);
            }
        }
        // uから出るすべての辺の探索が終了すると、
        vs[u].color = vcolor::black;  // uを黒に彩色し、
        time = time + 1;              // timeを進め、
        f[u] = time;                  // 終了時刻をu.fに記録する
    };


    // スタックを用いて白頂点uを訪問する
    auto _visit = [&](index_t u) -> void {
        std::stack<index_t> S; S.push(u);
        time = time + 1;             // timeを1進め、
        vs[u].d = time;              // timeの値を発見時刻u.dとして記録し、
        vs[u].color = vcolor::gray;  // uを灰に彩色する
        // 各頂点v ∈ Adj[u]を吟味するので、深さ優先探索は辺(u, v)を探索する(explore)という
        while (!S.empty()) {
            u = S.top();             // スタックの先頭の要素を取得
            std::size_t i = 0, m = G[u].size();  // 隣接リストの走査
            while (i < m && vs[G[u][i].dst].color != vcolor::white) { i++; }
            if (i != m) {  // uの隣接リストの中でまだ調べていない頂点が存在する場合、
                index_t v = G[u][i].dst;
                S.push(v);                    // vをスタックにプッシュし、
                time = time + 1;              // timeを1進め、 
                vs[v].d = time;               // timeの値を発見時刻u.dとして記録し、
                vs[v].color = vcolor::gray ;  // vを灰に彩色する
            }
            else { // uの隣接リストを全て調べている場合、
                S.pop();                      // スタックから先頭の要素をポップし、
                time = time + 1;              // timeを進め、
                f[u] = time;                  // 終了時刻をu.fに記録する
                vs[u].color = vcolor::black;  // uを黒に彩色する
            }
        }
    };
    

    for (auto& u : vs) {
        u.color = vcolor::white;                // 頂点をすべて白に彩色し、
        u.pi    = limits::nil;                  // π属性をNILに初期化する
    }
    time = 0;                                   // 時刻カウンターを初期化
    for (auto u = 0; u < n; u++) {              // Vの各頂点を順番に調べ、
        if (vs[u].color == vcolor::white) {     // 白頂点を発見すると、
            _visit(u);                          // visitを呼び出して訪問する
            // visitを呼び出すたびに、頂点uが深さ優先森の新しい木の根になる
        }
    }
    // DFSが終了した時、各頂点uには発見時刻(discovery time)u.dと終了時刻(finishing time)u.fが割り当てられている

    return std::make_pair(vs, f);
}


GRAPH_END



int main()
{
    graph_t G;
    int u, k, v, n;
    std::cin >> n;
    G.resize(n);
    for (int i = 0; i < n; i++) {
        std::cin >> u >> k;
        u--;
        G[i].resize(k);
        for (int j = 0; j < k; j++) {
            std::cin >> v;
            v--;
            G[i][j].src = i;
            G[i][j].dst = v;
        }
    }

    auto dfsforest = dfs(G);
    for (int i = 0; i < n; i++) {
        std::cout << i + 1 << " "
                  << dfsforest.first[i].d << " " << dfsforest.second[i] << std::endl;
    }

    return 0;
}

Compiler output:
a.cc:99:25: error: 'int32_t' in namespace 'std' does not name a type
   99 | using weight_t   = std::int32_t;  /**< 辺(u, v)への重みwを表す型 */
      |                         ^~~~~~~
a.cc:100:25: error: 'int32_t' in namespace 'std' does not name a type
  100 | using index_t    = std::int32_t;  /**< 頂点vの添字を表す型       */
      |                         ^~~~~~~
a.cc:101:20: error: 'weight_t' does not name a type; did you mean 'wint_t'?
  101 | using capacity_t = weight_t;      /**< 辺(u, v)の容量を表す型    */
      |                    ^~~~~~~~
      |                    wint_t
a.cc:107:16: error: 'numeric_limits' is not a member of 'std'
  107 |     inf = std::numeric_limits<weight_t>::max() / 3,  /**< @brief 辺が存在しない場合に使用される値     */
      |                ^~~~~~~~~~~~~~
a.cc:107:31: error: 'weight_t' was not declared in this scope; did you mean 'wint_t'?
  107 |     inf = std::numeric_limits<weight_t>::max() / 3,  /**< @brief 辺が存在しない場合に使用される値     */
      |                               ^~~~~~~~
      |                               wint_t
a.cc:107:42: error: '::max' has not been declared; did you mean 'std::max'?
  107 |     inf = std::numeric_limits<weight_t>::max() / 3,  /**< @brief 辺が存在しない場合に使用される値     */
      |                                          ^~~
      |                                          std::max
In file included from /usr/include/c++/14/algorithm:61,
                 from a.cc:15:
/usr/include/c++/14/bits/stl_algo.h:5716:5: note: 'std::max' declared here
 5716 |     max(initializer_list<_Tp> __l, _Compare __comp)
      |     ^~~
a.cc:108:16: error: 'numeric_limits' is not a member of 'std'
  108 |     nil = std::numeric_limits<index_t>::min() / 3,   /**< @brief 先行点が存在しない場合に使用される値 */
      |                ^~~~~~~~~~~~~~
a.cc:108:31: error: 'index_t' was not declared in this scope
  108 |     nil = std::numeric_limits<index_t>::min() / 3,   /**< @brief 先行点が存在しない場合に使用される値 */
      |                               ^~~~~~~
a.cc:108:41: error: '::min' has not been declared; did you mean 'std::min'?
  108 |     nil = std::numeric_limits<index_t>::min() / 3,   /**< @brief 先行点が存在しない場合に使用される値 */
      |                                         ^~~
      |                                         std::min
/usr/include/c++/14/bits/stl_algo.h:5696:5: note: 'std::min' declared here
 5696 |     min(initializer_list<_Tp> __l, _Compare __comp)
      |     ^~~
a.cc:120:6: warning: elaborated-type-specifier for a scoped enum must not use the 'struct' keyword
  120 | enum struct vcolor : std::int32_t {
      | ~~~~ ^~~~~~
      |      ------
a.cc:120:13: error: use of enum 'vcolor' without previous declaration
  120 | enum struct vcolor : std::int32_t {
      |             ^~~~~~
a.cc:120:20: error: expected unqualified-id before ':' token
  120 | enum struct vcolor : std::int32_t {
      |                    ^
a.cc:131:9: error: 'weight_t' does not name a type; did you mean 'wint_t'?
  131 |         weight_t d;       /**< 始点sからの距離  */
      |         ^~~~~~~~
      |         wint_t
a.cc:132:9: error: 'weight_t' does not name a type; did you mean 'wint_t'?
  132 |         weight_t key;     /**< Primのアルゴリズムにおいて木に属するある頂点とを結ぶ重み */
      |         ^~~~~~~~
      |         wint_t
a.cc:134:5: error: 'index_t' does not name a type
  134 |     index_t pi;           /**< 先行頂点(の添字) */
      |     ^~~~~~~
a.cc:136:9: error: 'vcolor' does not name a type
  136 |         vcolor color;     /**< 頂点の色        */
      |         ^~~~~~
a.cc: In constructor 'graph::vertex::vertex()':
a.cc:140:16: error: class 'graph::vertex' does not have any field named 'd'
  140 |     vertex() : d(0), pi(0), color(vcolor::white)/*, f(0)*/ {}
      |                ^
a.cc:140:22: error: class 'graph::vertex' does not have any field named 'pi'
  140 |     vertex() : d(0), pi(0), color(vcolor::white)/*, f(0)*/ {}
      |                      ^~
a.cc:140:29: error: class 'graph::vertex' does not have any field named 'color'
  140 |     vertex() : d(0), pi(0), color(vcolor::white)/*, f(0)*/ {}
      |                             ^~~~~
a.cc:140:35: error: 'vcolor' has not been declared
  140 |     vertex() : d(0), pi(0), color(vcolor::white)/*, f(0)*/ {}
      |                                   ^~~~~~
a.cc: At global scope:
a.cc:149:5: error: 'index_t' does not name a type
  149 |     index_t  src;   /**< 辺の始点u */
      |     ^~~~~~~
a.cc:150:5: error: 'index_t' does not name a type
  150 |     index_t  dst;   /**< 辺の終点v */
      |     ^~~~~~~
a.cc:152:9: error: 'weight_t' does not name a type; did you mean 'wint_t'?
  152 |         weight_t w;     /**< 辺(u, v)への重み(コスト) */
      |         ^~~~~~~~
      |         wint_t
a.cc:153:9: error: 'capacity_t' does not name a type
  153 |         capacity_t c;   /**< 辺(u, v)の容量 */
      |         ^~~~~~~~~~
a.cc:156:17: error: expected ')' before 'src'
  156 |     edge(index_t src, index_t dst) : src(src), dst(dst), w(1) {}
      |         ~       ^~~~
      |                 )
a.cc:157:17: error: expected ')' before 'src'
  157 |     edge(index_t src, index_t dst, weight_t w) : src(src), dst(dst), w(w) {}
      |         ~       ^~~~
      |                 )
a.cc: In member function 'bool graph::edge::operator<(const graph::edge&) const':
a.cc:159:52: error: 'w' was not declared in this scope
  159 |     bool operator < (const edge& e) const { return w < e.w; }
      |                                                    ^
a.cc:159:58: error: 'const struct graph::edge' has no member named 'w'
  159 |     bool operator < (const edge& e) const { return w < e.w; }
      |                                                          ^
a.cc: In member function 'bool graph::edge::operator>(const graph::edge&) const':
a.cc:160:52: error: 'w' was not declared in this scope
  160 |     bool operator > (const edge& e) const { return w > e.w; }
      |                                                    ^
a.cc:160:58: error: 'const struct graph::edge' has no member named 'w'
  160 |     bool operator > (const edge& e) const { return w > e.w; }
      |                                                          ^
a.cc: At global scope:
a.cc:167:32: error: 'weight_t' was not declared in this scope; did you mean 'wint_t'?
  167 | using array_t    = std::vector<weight_t>;  /**< 重みwの配列  */
      |                                ^~~~~~~~
      |                                wint_t
a.cc:167:40: error: template argument 1 is invalid
  167 | using array_t    = std::vector<weight_t>;  /**< 重みwの配列  */
      |                                        ^
a.cc:167:40: error: template argument 2 is invalid
a.cc:168:32: error: 'index_t' was not declared in this scope
  168 | using indices_t  = std::vector<index_t>;   /**< 頂点の添字配列 */
      |                                ^~~~~~~
a.cc:168:39: error: template argument 1 is invalid
  168 | using indices_t  = std::vector<index_t>;   /**< 頂点の添字配列 */
      |                                       ^
a.cc:168:39: error: template argument 2 is invalid
a.cc:169:32: error: 'array_t' was not declared in this scope
  169 | using matrix_t   = std::vector<array_t>;   /**< グラフGの隣接行列表現(および表行列表現) */
      |                                ^~~~~~~
a.cc:169:39: error: template argument 1 is invalid
  169 | using matrix_t   = std::vector<array_t>;   /**< グラフGの隣接行列表現(および表行列表現) */
      |                                       ^
a.cc:169:39: error: template argument 2 is invalid
a.cc:239:23: error: 'array_t' was not declared in this scope
  239 | std::pair<vertices_t, array_t> dfs(const graph_t& G)
      |                       ^~~~~~~
a.cc:239:30: error: template argument 2 is invalid
  239 | std::pair<vertices_t, array_t> dfs(const graph_t& G)
      |                              ^
a.cc: In function 'int graph::dfs(const graph_t&)':
a.cc:241:10: error: 'int32_t' is not a member of 'std'; did you mean 'int32_t'?
  241 |     std::int32_t n = G.size();
      |          ^~~~~~~
In file included from /usr/include/x86_64-linux-gnu/sys/types.h:155,
                 from /usr/include/stdlib.h:514,
                 from /usr/include/c++/14/cstdlib:79,
                 from /usr/include/c++/14/ext/string_conversions.h:43,
                 from /usr/include/c++/14/bits/basic_string.h:4154,
                 from /usr/include/c++/14/string:54,
                 from /usr/include/c++/14/bits/locale_classes.h:40,
                 from /usr/include/c++/14/bits/ios_base.h:41,
                 from /usr/include/c++/14/streambuf:43,
                 from /usr/include/c++/14/bits/streambuf_iterator.h:35,
                 from /usr/include/c++/14/iterator:66,
                 from a.cc:12:
/usr/include/x86_64-linux-gnu/bits/stdint-intn.h:26:19: note: 'int32_t' declared here
   26 | typedef __int32_t int32_t;
      |                   ^~~~~~~
a.cc:242:19: error: 'n' was not declared in this scope
  242 |     vertices_t vs(n);
      |                   ^
a.cc:243:5: error: 'array_t' was not declared in this scope
  243 |     array_t f(n);
      |     ^~~~~~~
a.cc:244:5: error: 'weight_t' was not declared in this scope; did you mean 'wint_t'?
  244 |     weight_t time;
      |     ^~~~~~~~
      |     wint_t
a.cc:247:25: error: 'index_t' was not declared in this scope
  247 |     std::function <void(index_t)> visit = [&] (index_t u) -> void {  // 白頂点を発見した...
      |                         ^~~~~~~
a.cc:247:33: error: template argument 1 is invalid
  247 |     std::function <void(index_t)> visit = [&] (index_t u) -> void {  // 白頂点を発見した...
      |                                 ^
a.cc:247:48: error: 'index_t' is not a type
  247 |     std::function <void(index_t)> visit = [&] (index_t u) -> void {  // 白頂点を発見した...
      |