多元非负整数方程解数问题

方程形式 边界形式 等价问题
$\sum x_{i}=k$ $0 \leq x_{i} \leq b_{i}$ $\left{b_{i} \cdot x_{i} \dots\right}$ 的 k-组合 问题
$\sum x_{i}=k$ $a_{i} \leq x_{i} \leq b_{i}$ $\sum x_{i}’=k-\sum a_{i}$
$\sum x_{i} \leq k$ $a_{i} \leq x_{i} \leq b_{i}$ $x_{0}+\sum x_{i}=k$
不等式取等符号

注意不等式取等符号!! e.g.

  1. 【方程取等】$x_{1}+x_{2}+x_{3}<15 \Leftrightarrow x_{1}+x_{2}+x_{3}+x_{4}=14 \nLeftrightarrow x_{1}+x_{2}+x_{3}+x_{4}=15$
  2. 【边界取等】$\neg(0\leq x_{1} \leq 4) \Leftrightarrow x_{1} \geq 5 \nLeftrightarrow x_{1}\ge4$