#define rep(i,n) for(int i=0;i<(int)(n);i++) #define ALL(v) v.begin(),v.end() typedef long long ll; #include #include using namespace std; using namespace atcoder; vector G[1010]; int used[1010]; void dfs(int v){ used[v]=1; for(auto nv:G[v]){ if(used[nv]) continue; dfs(nv); } } int main(){ ios::sync_with_stdio(false); std::cin.tie(nullptr); int n,m,l; cin>>n>>m>>l; vector S(l),T(l); rep(i,l) cin>>S[i]>>T[i]; mf_graph g(n+m+2); rep(i,l) g.add_edge(S[i],n+T[i],1); for(int i=1;i<=n;i++) g.add_edge(0,i,1); for(int i=n+1;i<=n+m;i++) g.add_edge(i,n+m+1,1); g.flow(0,n+m+1); auto A=g.edges(); vector C(n+1),D(m+1); dsu d(n+m+1); rep(i,l){ G[S[i]].push_back(T[i]+n); if(A[i].flow>0){ C[S[i]]=-1,D[T[i]]=-1; G[T[i]+n].push_back(S[i]); } } for(int i=1;i<=n;i++){ if(C[i]!=-1) dfs(i); } rep(i,l){ if(D[T[i]]!=-1) used[S[i]]=1; } scc_graph g1(n+m+1); rep(i,l){ if(used[S[i]]==1 || used[T[i]+n]==1) continue; g1.add_edge(S[i],T[i]+n); if(A[i].flow>0) g1.add_edge(T[i]+n,S[i]); } auto B=g1.scc(); map,int> M; for(int i=0;ib) swap(a,b); M[{a,b-n}]=1; } } rep(i,l){ if(M[{S[i],T[i]}]) cout<<"No"<