多次跑网络流（用于构造类）+霍尔定理证明可行：AGC317G

https://atcoder.jp/contests/abc317/tasks/abc317_g

一个很显然的思路，就是行向颜色连边，但约束条件展现出多个维度，所以可以考虑跑多次网络流。
但跑同样的网络流没有意义，所以每次跑完都要在残余网络上操作一下才可行。此题中，为了方便构造，就是对成功流了的边进行删除。
但多次跑网络流是否正确，这个可以用霍尔定理证明，当做黑箱用。做题时感觉有解且可行就行了。