1835f

good problem，bad round。 判断 YES 还是 NO 很trivial，就直接跑最大匹配看看是不是 $n$ 即可。 如果是 NO，那么考虑 Hall 定理的证明过程构造即可。具体方法就是找到左部任意一非匹配点，在残量网络上 BFS 可以到达的点，那所有可以到达的左部点形成的集合就 ......