$P=2$ $(X, Z, Y)$ 的时候，先考虑只钦定 x, y.

那么赋值之后 A(剩余max) + 1 是最大的，然后考虑若满足条件 Az 配的只能变大使得 $A_z + p_z >= A(剩余max) + 1$，那么其余的会相应变小，也不会超过原来的 $A(剩余max) + 1$