Gale-Ryser

给定两个非负整数数列 $p_1 \ge p_2 \ge \dots \ge p_n$ 以及 $q_1 \ge q_2 \ge \dots \ge q_m$ 满足 $\sum_{i = 1}^n p_i = \sum_{i = 1}^m q_i$，存在一个简单二分图使得左部点的度数分别为 $p_1, ......