#include namespace { #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wunused-function" #include #pragma GCC diagnostic pop using namespace std; using namespace atcoder; #define rep(i,n)for (int i = 0; i < int(n); ++i) #define rrep(i,n)for (int i = int(n)-1; i >= 0; --i) #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() template void chmax(T& a, const T& b) { a = max(a, b); } template void chmin(T& a, const T& b) { a = min(a, b); } using ll = long long; using P = pair; using VI = vector; using VVI = vector; using VL = vector; using VVL = vector; } int main() { ios::sync_with_stdio(false); cin.tie(0); int n, m, l; cin >> n >> m >> l; int s = n + m, t = s + 1; mf_graph g(t + 1); rep(i, l) { int s, t; cin >> s >> t; s--, t--; g.add_edge(s, n + t, 1); } rep(i, n) g.add_edge(s, i, 1); rep(i, m) g.add_edge(n + i, t, 1); g.flow(s, t); scc_graph scc(n + m); // VVI to(n + m); VI ans(l); rep(i, l) { auto e = g.get_edge(i); if (e.flow) { scc.add_edge(e.to, e.from); } else { ans[i] = true; scc.add_edge(e.from, e.to); } } auto cs = scc.scc(); dsu uf(n + m); for(auto c: cs) { int l = c[0]; for(int x: c) uf.merge(x, l); } rep(i, l) { auto e = g.get_edge(i); if (uf.same(e.from, e.to)) ans[i] = true; } VVI to(n + m); map mp; rep(i, l) { auto e = g.get_edge(i); mp[{e.from, e.to}] = mp[{e.to, e.from}] = i; if (e.flow) { to[e.to].push_back(e.from); } else { to[e.from].push_back(e.to); } } VI indeg(n + m); rep(i, n + m) for(int j: to[i]) indeg[j]++; VI st; VI visited(n + m); rep(i, n) if (indeg[i] == 0) { st.push_back(i); visited[i] = true; } while(st.size()) { int u = st.back(); st.pop_back(); for(int v: to[u]) { ans[mp[{u, v}]] = true; if (!visited[v]) { visited[v] = true; st.push_back(v); } } } rep(i, l) cout << (ans[i] ? "Yes\n" : "No\n"); }