Skip to main content
Mathematics LibreTexts

2.E: Inclusion-Exclusion (Exercises)

  • Page ID
  • \( \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}}\)

    2.1: The Inclusion-Exclusion Formula

    Exercise \(\PageIndex{1.1}\)

    List all 6 solutions to the restricted equation in Example 2.1.1, and list the corresponding 6 submultisets.

    Exercise \(\PageIndex{1.2}\)

    Find the number of integer solutions to \(x_1+x_2+x_3+x_4=25\), \(1\le x_1\le6\), \(2\le x_2\le 8\), \(0\le x_3\le8\), \(5\le x_4\le9\).

    Exercise \(\PageIndex{1.3}\)

    Find the number of submultisets of \(\{25\cdot a,25\cdot b,25\cdot c,25\cdot d\}\) of size 80.

    Exercise \(\PageIndex{1.4}\)

    Recall that \(\left\{\begin{array}{c}n\\k\end{array}\right\}\) is a Stirling number of the second kind (Definition 1.9.1). Prove that for \(n\ge k\ge 0\), \[ \left\{\begin{array}{c}n\\k\end{array}\right\}={1\over k!}\sum_{i=0}^k (-1)^{k-i}i^n{k\choose i}. \nonumber\] Do \(n=0\) as a special case, then use inclusion-exclusion for the rest. You may assume, by convention, that \(0^0=1\).

    2.2: Forbidden Position Permutations

    Exercise \(\PageIndex{2.1}\)

    Prove that \( D_n=nD_{n-1}+(-1)^n\) when \(n\ge2\).

    Exercise \(\PageIndex{2.2}\)

    Prove that \(D_n\) is even if and only if \(n\) is odd.

    Exercise \(\PageIndex{2.3}\)

    Provide the missing details for Example 2.2.1. What is \(\lim_{n\to\infty} {Q_n\over n!}\)?

    Exercise \(\PageIndex{2.4}\)

    Find the number of permutations of \(1,2,\ldots,8\) that have no odd number in the correct position.

    Exercise \(\PageIndex{2.5}\)

    Find the number of permutations of \(1,2,\ldots,8\) that have at least one odd number in the correct position.

    Exercise \(\PageIndex{2.6}\)

    How many permutations of \([n]\) have exactly \(k\) numbers in their correct positions?

    Exercise \(\PageIndex{2.7}\)

    Give a combinatorial proof that \[n!=\sum_{k=0}^n {n\choose k}D_{n-k}.\nonumber\]

    Exercise \(\PageIndex{2.8}\)

    A small merry-go-round has 8 seats occupied by 8 children. In how many ways can the children change places so that no child sits behind the same child as on the first ride? The seats do not matter, only the relative positions of the children.

    Exercise \(\PageIndex{2.9}\)

    On the way into a party everyone checks a coat and a bag at the door. On the way out, the attendant hands out coats and bags randomly. In how many ways can this be done if

    1. No one gets either their own coat or their own bag?
    2. One may get one's own coat, or bag, but not both.
    Exercise \(\PageIndex{2.10}\)

    Suppose \(n\) people are seated in \(m\ge n\) chairs in a room. At some point there is a break, and everyone leaves the room. When they return, in how many ways can they be seated so that no person occupies the same chair as before the break?

    This page titled 2.E: Inclusion-Exclusion (Exercises) is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by David Guichard via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.