Skip to main content
Mathematics LibreTexts

2.4: Applications of Induction and Recursion in Combinatorics and Graph Theory (Exercises)

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

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    1. Use the inductive definition of an to prove that \((ab)^{n} = a^{n}b^{n}\) for all nonnegative integers \(n\).

    2. Give an inductive definition of \(\bigcup\limits_{i=1}^{n}S_{i}\) and use it and the two set distributive law to prove the distributive law \(A \cap \bigcup\limits_{i=1}^{n}S_{i} = \bigcup\limits_{i=1}^{n} A \cap S_{i}\).

    \(\rightarrow\) 3. A hydrocarbon molecule is a molecule whose only atoms are either
    carbon atoms or hydrogen atoms. In a simple molecular model of a hydrocarbon, a carbon atom will bond to exactly four other atoms and hydrogen atom will bond to exactly one other atom. Such a model is shown in Figure 2.4.1. We represent a hydrocarbon compound with a graph whose vertices are labelled with \(C\)’s and \(H\)’s so that each \(C\) vertex has degree four and each \(H\) vertex has degree one. A hydrocarbon is called an “alkane” if the graph is a tree. Common examples are methane (natural gas), butane (one version of which is shown in Figure 2.4.1), propane, hexane (ordinary gasoline), octane (to make gasoline burn more slowly), etc.

    1. How many vertices are labelled \(H\) in the graph of an alkane with exactly \(n\) vertices labelled \(C\)?
    2. An alkane is called butane if it has four carbon atoms. Why do we say one version of butane is shown in Figure 2.4.1?
    clipboard_e82bafb1c49c00399bb3ee03d183446aa.png
    Figure \(\PageIndex{1}\): A model of a butane molecule. (Copyright; author via source)

    4.

    1. Give a recurrence for the number of ways to divide \(2n\) people into sets of two for tennis games. (Don’t worry about who serves first.)
    2. Give a recurrence for the number of ways to divide \(2n\) people into sets of two for tennis games and to determine who serves first.)

    \(\rightarrow\) 5. Give a recurrence for the number of ways to divide \(4n\) people into sets of four for games of bridge. (Don’t worry about how they sit around the bridge table or who is the first dealer.)

    6. Use induction to prove your result in Supplementary Problem 2 at the end of Chapter 1.

    7. Give an inductive definition of the product notation \(\prod\limits^{n}_{i=1}a_{i}\).

    8. Using the fact that \((ab)^{k} = a^{k}b^{k}\), use your inductive definition of
    product notation in Problem 7 to prove that \(\left(\prod\limits^{n}_{i=1}a_{i}\right)^{k} = \prod\limits^{n}_{i=1}a_{i}^{k}\).

    \(\rightarrow\) 9. How many labelled trees on \(n\) vertices have exactly four vertices of degree \(1\)? (This problem also appears in the next chapter since some ideas in that chapter make it more straightforward.)

    \(\rightarrow *\) 10. The degree sequence of a graph is a list of the degrees of the vertices in nonincreasing order. For example, the degree sequence of the first graph in Figure 2.3.3 is \((4, 3, 2, 2, 1)\). For a graph with vertices labelled \(1\) through \(n\), the ordered degree sequence of the graph is the sequence \(d_1, d_2, . . . d_n\) in which \(d_{i}\) is the degree of vertex \(i\). For example, the ordered degree sequence of the first graph in Figure 2.3.1 is \((1, 2, 3, 3, 1, 1, 2, 1)\).

    1. How many labelled trees are there on \(n\) vertices with ordered degree sequence \(d_{1}, d_{2}, . . . d_{n}\)? (This problem appears again in the next chapter since some ideas in that chapter make it more straightforward.)
    2. How many labelled trees are there on \(n\) vertices with the degree sequence in which the degree \(d\) appears \(i_d\) times?

    • Was this article helpful?