#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; 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); rep(i,l){ if(A[i].flow>0){ C[A[i].from]=1; D[A[i].to-n]=1; } } vector E(n+1),F(m+1); rep(i,l){ if(C[S[i]]==0){ E[S[i]]=1; F[T[i]]=1; } if(D[T[i]]==0){ E[S[i]]=1; F[T[i]]=1; } } scc_graph g1(n+m+1); rep(i,l){ if(E[S[i]]==1 || F[T[i]]==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"<