Skip to main content
Mathematics LibreTexts

4.4: Generating Functions (Exercises)

  • Page ID
    6113
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( → \; ∗\) 1. What is the generating function for the number of ways to pass out \(k\) pieces of candy from an unlimited supply of identical candy to \(n\) children (where \(n\) is fixed) so that each child gets between three and six pieces of candy (inclusive)? Use the fact that \[\dfrac{(1 + x + x^2 + x^3)}{(1 − x)} = 1 − x^4\] to find a formula for the number of ways to pass out the candy.

    \(◦\) 2.

    a. In paying off a mortgage loan with initial amount \(A\), annual interest rate \(p\%\) on a monthly basis with a monthly payment of \(m\), what recurrence describes the amount owed after n months of payments in terms of the amount owed after \(n − 1\) months? Some technical details: You make the first payment after one month. The amount of interest included in your monthly payment is \(\dfrac{.01p}{12}\). This interest rate is applied to the amount you owed immediately after making your last monthly payment.

    b. Find a formula for the amount owed after \(n\) months.

    c. Find a formula for the number of months needed to bring the amount owed to zero. Another technical point: If you were to make the standard monthly payment \(m\) in the last month, you might actually end up owing a negative amount of money. Therefore it is ok if the result of your formula for the number of months needed gives a non-integer number of months. The bank would just round up to the next integer and adjust your payment so your balance comes out to zero.

    d. What should the monthly payment be to pay off the loan over a period of \(30\) years?

    \( → \) 3. We have said that for nonnegative \(i\) and positive \(n\) we want to define \( \binom{−n}{i} \) to be \( \binom{n+i−1}{i} \). If we want the Pascal recurrence to be valid, how should we define \( \binom{−n}{−i} \) when \(n\) and \(i\) are both positive?

    \( → \) 4. Find a recurrence relation for the number of ways to divide a convex \(n\)-gon into triangles by means of non-intersecting diagonals. How do these numbers relate to the Catalan numbers?

    \( → \) 5. How does \(\sum_{k=0}^{n} \binom{n−k}{k}\) relate to the Fibonacci Numbers?

    6. Let \(m\) and \(n\) be fixed. Express the generating function for the number of \(k\)-element multisets of an \(n\)-element set such that no element appears more than \(m\) times as a quotient of two polynomials. Use this expression to get a formula for the number of \(k\)-element multisets of an \(n\)-element set such that no element appears more than \(m\) times.

    7. One natural but oversimplified model for the growth of a tree is that all new wood grows from the previous year’s growth and is proportional to it in amount. To be more precise, assume that the (total) length of the new growth in a given year is the constant \(c\) times the (total) length of new growth in the previous year. Write down a recurrence for the total length \(a_n\) of all the branches of the tree at the end of growing season \(n\). Find the general solution to your recurrence relation. Assume that we begin with a one-meter cutting of new wood (from the previous year) which branches out and grows a total of two meters of new wood in the first year. What will the total length of all the branches of the tree be at the end of \(n\) years?

    \( → \) 8. (Relevant to Appendix C) We have some chairs which we are going to paint with red, white, blue, green, yellow, and purple paint. Suppose that we may paint any number of chairs red or white, that we may paint at most one chair blue, at most three chairs green, only an even number of chairs yellow, and only a multiple of four chairs purple. In how many ways may we paint \(n\) chairs?

    9. What is the generating function for the number of partitions of an integer in which each part is used at most \(m\) times? Why is this also the generating function for partitions in which consecutive parts (in a decreasing list representation) differ by at most \(m\) and the smallest part is also at most \(m\)?


    This page titled 4.4: Generating Functions (Exercises) is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Kenneth P. Bogart.

    • Was this article helpful?