Skip to main content
Mathematics LibreTexts

1.2: Examples

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

    Suppose we have a chess board, and a collection of tiles, like dominoes, each of which is the size of two squares on the chess board. Can the chess board be covered by the dominoes? First we need to be clear on the rules: the board is covered if the dominoes are laid down so that each covers exactly two squares of the board; no dominoes overlap; and every square is covered. The answer is easy: simply by laying out 32 dominoes in rows, the board can be covered. To make the problem more interesting, we allow the board to be rectangular of any size, and we allow some squares to be removed from the board. What can be say about whether the remaining board can be covered? This is such a board, for example:

    clipboard_ef7c12dcf93b2cea03e5d63b01b85d23a.png
    Figure \(\PageIndex{1}\)

    What can we say? Here is an easy observation: each domino must cover two squares, so the total number of squares must be even; the board above has an even number of squares. Is that enough? It is not too hard to convince yourself that this board cannot be covered; is there some general principle at work? Suppose we redraw the board to emphasize that it really is part of a chess board:

    clipboard_e7307c7fea737286b2097229983a0a0d2.png
    Figure \(\PageIndex{2}\)

    Aha! Every tile must cover one white and one gray square, but there are four of the former and six of the latter, so it is impossible. Now do we have the whole picture? No; for example:

    clipboard_eb8e562dd723c035fb23c7d937e2b09dc.png
    Figure \(\PageIndex{3}\)

    The gray square at the upper right clearly cannot be covered. Unfortunately it is not easy to state a condition that fully characterizes the boards that can be covered; we will see this problem again. Let us note, however, that this problem can also be represented as a graph problem. We introduce a vertex corresponding to each square, and connect two vertices by an edge if their associated squares can be covered by a single domino; here is the previous board:

    clipboard_e8c7052a9b183f72eb2ef850745322c6d.png
    Figure \(\PageIndex{4}\)

    Here the top row of vertices represents the gray squares, the bottom row the white squares. A domino now corresponds to an edge; a covering by dominoes corresponds to a collection of edges that share no endpoints and that are incident with (that is, touch) all six vertices. Since no edge is incident with the top left vertex, there is no cover.

    Perhaps the most famous problem in graph theory concerns map coloring: Given a map of some countries, how many colors are required to color the map so that countries sharing a border get different colors? It was long conjectured that any map could be colored with four colors, and this was finally proved in 1976. Here is an example of a small map, colored with four colors:

    clipboard_ece422175eeb04754028beff35e9de921.png
    Figure \(\PageIndex{5}\)

    Typically this problem is turned into a graph theory problem. Suppose we add to each country a capital, and connect capitals across common boundaries. Coloring the capitals so that no two connected capitals share a color is clearly the same problem. For the previous map:

    clipboard_e417192b8601a0f8dffbedbc8d79a030a.png
    Figure \(\PageIndex{6}\)

    Any graph produced in this way will have an important property: it can be drawn so that no edges cross each other; this is a planar graph. Non-planar graphs can require more than four colors, for example this graph:

    clipboard_e7355daa25b6157c936b7ed97fd6239d5.png
    Figure \(\PageIndex{7}\)

    This is called the complete graph on five vertices, denoted \(K_5\); in a complete graph, each vertex is connected to each of the others. Here only the "fat'' dots represent vertices; intersections of edges at other points are not vertices. A few minutes spent trying should convince you that this graph cannot be drawn so that its edges don't cross, though the number of edge crossings can be reduced.


    This page titled 1.2: Examples 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.