STAGE IC 4.1 · 8 PRACTICE PROBLEMS · 2 NEW-CONTEXT APPLICATIONS
Generating Functions
Useful preparation: Reversing Conditional Probability
Goal: Understand and apply generating functions.
Before you begin: Reversing Conditional Probability
Understand the idea
A formal power series can record one choice per exponent. Multiplying series adds exponents, so a coefficient counts combinations of choices with the requested total.
Choose and carry out a method
Translate each factor into allowed contributions. For 1/(1−x) and 1/(1−x²), count nonnegative solutions to a+2b=N.
Check the reasoning
This is formal coefficient counting; no numerical convergence assumption is needed. Different powers can represent different token values.
Find the coefficient of x^5 in (1+x+x²+…)(1+x²+x⁴+…). Treat this as a formal power series.
- A coefficient counts pairs of selected exponents with the required sum.
- Solve a+2b=5, with a,b≥0. The value b may be 0 through 2.
- There are 3 choices; each b determines one a.
3
Find the coefficient of x^6 in (1+x+x²+…)(1+x²+x⁴+…). Treat this as a formal power series.
- A coefficient counts pairs of selected exponents with the required sum.
- Solve a+2b=6, with a,b≥0. The value b may be 0 through 3.
- There are 4 choices; each b determines one a.
4
Common pitfalls
Possible mix-up: Coefficients count ordered token sequences.
These factors record the counts of each token type, so order is ignored.
Possible mix-up: A correct numerical answer alone explains the method.
State the governing relationship and check the conditions described above.
Explain it to yourself
How would a factor 1+x³ change the choices available for a third token type?
Preview the eight practice prompts
- Find the coefficient of x^8 in (1+x+x²+…)(1+x²+x⁴+…). Treat this as a formal power series.
- Find the coefficient of x^9 in (1+x+x²+…)(1+x²+x⁴+…). Treat this as a formal power series.
- Find the coefficient of x^10 in (1+x+x²+…)(1+x²+x⁴+…). Treat this as a formal power series.
- Find the coefficient of x^11 in (1+x+x²+…)(1+x²+x⁴+…). Treat this as a formal power series.
- Find the coefficient of x^12 in (1+x+x²+…)(1+x²+x⁴+…). Treat this as a formal power series.
- Find the coefficient of x^13 in (1+x+x²+…)(1+x²+x⁴+…). Treat this as a formal power series.
- Using unlimited tokens of values 1 and 2, how many multisets have total value 14? Order is ignored. New context
- Using unlimited tokens of values 1 and 2, how many multisets have total value 15? Order is ignored. New context

