#include "bits/stdc++.h" using namespace std; typedef string::const_iterator State; #define eps 1e-8L #define MAX_MOD 1000000007LL #define GYAKU 500000004LL #define MOD 998244353LL #define pb push_back #define mp make_pair typedef long long ll; typedef long double ld; #define REP(a, b) for (long long(a) = 0; (a) < (b); ++(a)) #define ALL(x) (x).begin(), (x).end() #include "atcoder/maxflow.hpp" using namespace atcoder; #define int long long void solve() { int n, m, l; cin >> n >> m >> l; vector> edges; REP(i, l) { int a, b; cin >> a >> b; a--; b--; edges.push_back({a, b}); } mf_graph main_graph(n + m + 2); REP(i, l) { main_graph.add_edge(edges[i].first, n + edges[i].second, 1); } REP(i, n) { main_graph.add_edge(n + m, i, 1); } REP(i, m) { main_graph.add_edge(n + i, n + m + 1, 1); } int expected_value = main_graph.flow(n + m, n + m + 1); cout << expected_value << endl; vector ans(l, true); REP(i, l) { if (main_graph.get_edge(i).flow == 0) { continue; } mf_graph sub_graph(n + m + 2); REP(q, l) { if (i == q) continue; sub_graph.add_edge(edges[q].first, n + edges[q].second, 1); } REP(i, n) { sub_graph.add_edge(n + m, i, 1); } REP(i, m) { sub_graph.add_edge(n + i, n + m + 1, 1); } if (sub_graph.flow(n + m, n + m + 1) != expected_value) { ans[i] = false; } } REP(i, l) { if (ans[i] == true) { cout << "Yes" << endl; } else { cout << "No" << endl; } } } #undef int // generated by oj-template v4.7.2 // (https://github.com/online-judge-tools/template-generator) int main() { // Fasterize input/output script ios::sync_with_stdio(false); cin.tie(nullptr); cout << fixed << setprecision(100); // scanf/printf user should delete this fasterize input/output script int t = 1; // cin >> t; // comment out if solving multi testcase for (int testCase = 1; testCase <= t; ++testCase) { solve(); } return 0; }