Skip to content
← All questions

How do you account for a variable's lower bound when finding nonnegative integer solutions?

To account for a variable's lower bound, you substitute a new variable to shift the bound to zero. For example, if x3≥2x_3 \ge 2, you define x3′=x3−2x_3' = x_3 - 2. You then subtract the lower bound from the total sum rr and solve for the new nonnegative variables.

Conditions

  • One or more variables have a lower bound greater than zero.
  • The other variables are nonnegative.
  • The equation is of the form x1+⋯+xn=rx_1+\cdots+x_n=r.

Reasoning, step by step

  1. Identify the variable with a lower bound (e.g., x3≥2x_3 \ge 2).
  2. Substitute a new variable to shift the lower bound to zero (e.g., x3′=x3−2x_3' = x_3 - 2).
  3. Adjust the total sum rr by subtracting the lower bounds.
  4. Solve the new equation for nonnegative integer solutions using stars and bars.

Example

For x1+x2+x3=9x_1+x_2+x_3=9 with x3≥2x_3\ge2 and the others nonnegative, substitute x3′=x3−2x_3'=x_3-2. The remaining total is 7, giving (92)=36\binom{9}{2}=36 solutions.

Common misconceptions

  • Forgetting to adjust the total sum rr after shifting the variable.
  • Applying the standard stars and bars formula without accounting for the lower bound.

Watch the explanation

Explore next

Answers are generated from source material and independently checked. Consult the original video or creator if something is unclear.