Go: package main

import (
	"bufio"
	"container/list"
	"fmt"
	"os"
	"strconv"
)

//util
var sc = bufio.NewScanner(os.Stdin)

func nextStr() string {
	sc.Scan()
	return sc.Text()
}

func nextInt() int {
	sc.Scan()
	i, e := strconv.Atoi(sc.Text())
	if e != nil {
		panic(e)
	}
	return i
}

func printList(list []int) {
	n := len(list)
	buf := bufio.NewWriter(os.Stdout)
	for _, v := range list[0 : n-1] {
		buf.Write([]byte(fmt.Sprintf("%d ", v)))
	}
	buf.Write([]byte(fmt.Sprintf("%d\n", list[n-1])))
	buf.Flush()
}

func max(a, b int) int {
	if a > b {
		return a
	} else {
		return b
	}
}

func min(a, b int) int {
	if a > b {
		return b
	} else {
		return a
	}
}

//solve
const (
	MAX = 100000
	NIL = -1
)

var (
	n, m, q, s, t int
	G             [MAX][]int //連結リスト
	color         [MAX]int
)

func dfs(r int, c int) {
	S := list.New()
	S.PushFront(r)
	color[r] = c
	for S.Len() != 0 {
		u := S.Remove(S.Front()).(int)
		for i := 0; i < len(G[u]); i++ {
			v := G[u][i]
			if color[v] == NIL {
				color[v] = c
				S.PushFront(v)
			}
		}
	}
}

//幅優先探索で、頂点を色付け
func assignColor() {
	id := 1
	for i := 0; i < n; i++ {
		color[i] = NIL
	}
	for i := 0; i < n; i++ {
		if color[i] == NIL {
			id++
			dfs(i, id)
		}
	}
}

func main() {
	sc.Split(bufio.ScanWords)
	n, m = nextInt(), nextInt()
	for i := 0; i < m; i++ {
		s, t = nextInt(), nextInt()
		if i == 0 {
			G[s] = make([]int, 0)
			G[t] = make([]int, 0)
		}
		G[s] = append(G[s], t)
		G[t] = append(G[t], s)

	}
	assignColor()
	q = nextInt()
	for i := 0; i < q; i++ {
		s, t = nextInt(), nextInt()
		if color[s] == color[t] {
			fmt.Println("yes")
		} else {
			fmt.Println("no")
		}
	}

}

C++: #include <iostream>
#include <vector>
#include <numeric>
#include <algorithm>
#include <unordered_set>

using namespace std;

const int N_MAX = 100000;
vector<vector<int32_t>> A(N_MAX);
vector<bool> visited(N_MAX);
vector<int32_t> deadend;

void dfs1(int32_t u) {
    visited[u] = true;

    for (int32_t v : A[u]) {
        if (!visited[v]) {
            dfs1(v);
        }
    }

    deadend.push_back(u);

    return;
}

unordered_set<int32_t> dfs2(int32_t u, unordered_set<int32_t> &scc) {
    visited[u] = true;

    for (int32_t v : A[u]) {
        if (!visited[v]) {
            dfs2(v, scc);
        }
    }

    scc.insert(u);

    return scc;
}

int main() {
    fill(visited.begin(), visited.end(), false);

    int32_t n, m;
    cin >> n >> m;

    for (int32_t i = 0; i < m; i++) {
        int32_t s, t;
        cin >> s >> t;

        A[s].push_back(t);
        A[t].push_back(s);
    }

    for (int32_t i = 0; i < n; i++) {
        if (!visited[i]) {
            dfs1(i);
        }
    }

    reverse(deadend.begin(), deadend.end());
    fill(visited.begin(), visited.end(), false);
    vector<unordered_set<int32_t>> sccs;

    for (int32_t u : deadend) {
        if (!visited[u]) {
            unordered_set<int32_t> scc;
            dfs2(u, scc);
            sccs.push_back(scc);
        }
    }

    int32_t q;
    cin >> q;

    for (int32_t i = 0; i < q; i++) {
        int32_t s, t;
        cin >> s >> t;

        bool flag = false;
        for (auto scc : sccs) {
            if (scc.find(s) != scc.end() && scc.find(t) != scc.end()) {
                flag = true;
                break;
            }
        }

        cout << (flag ? "yes" : "no") << endl;
    }

    return 0;
}