Three utilities problem

Last updated

Diagram of the three utilities problem showing lines in a plane. Can each house be connected to each utility, with no connection lines crossing? 3 utilities problem plane.svg
Diagram of the three utilities problem showing lines in a plane. Can each house be connected to each utility, with no connection lines crossing?
Graph K3-3.svg
Complex polygon 2-4-3-bipartite graph.png
Two views of the utility graph, also known as the Thomsen graph or

The classical mathematical puzzle known as the three utilities problem or sometimes water, gas and electricity asks for non-crossing connections to be drawn between three houses and three utility companies in the plane. When posing it in the early 20th century, Henry Dudeney wrote that it was already an old problem. It is an impossible puzzle: it is not possible to connect all nine lines without crossing. Versions of the problem on nonplanar surfaces such as a torus or Möbius strip, or that allow connections to pass through other houses or utilities, can be solved.

Contents

This puzzle can be formalized as a problem in topological graph theory by asking whether the complete bipartite graph , with vertices representing the houses and utilities and edges representing their connections, has a graph embedding in the plane. The impossibility of the puzzle corresponds to the fact that is not a planar graph. Multiple proofs of this impossibility are known, and form part of the proof of Kuratowski's theorem characterizing planar graphs by two forbidden subgraphs, one of which is . The question of minimizing the number of crossings in drawings of complete bipartite graphs is known as Turán's brick factory problem, and for the minimum number of crossings is one.

is a graph with six vertices and nine edges, often referred to as the utility graph in reference to the problem. [1] It has also been called the Thomsen graph after 19th-century chemist Julius Thomsen. It is a well-covered graph, the smallest triangle-free cubic graph, and the smallest non-planar minimally rigid graph.

History

A review of the history of the three utilities problem is given by Kullman (1979). He states that most published references to the problem characterize it as "very ancient". [2] In the earliest publication found by Kullman, HenryDudeney  ( 1917 ) names it "water, gas, and electricity". However, Dudeney states that the problem is "as old as the hills...much older than electric lighting, or even gas". [3] Dudeney also published the same puzzle previously, in The Strand Magazine in 1913. [4] A competing claim of priority goes to Sam Loyd, who was quoted by his son in a posthumous biography as having published the problem in 1900. [5]

Another early version of the problem involves connecting three houses to three wells. [6] It is stated similarly to a different (and solvable) puzzle that also involves three houses and three fountains, with all three fountains and one house touching a rectangular wall; the puzzle again involves making non-crossing connections, but only between three designated pairs of houses and wells or fountains, as in modern numberlink puzzles. [7] Loyd's puzzle "The Quarrelsome Neighbors" similarly involves connecting three houses to three gates by three non-crossing paths (rather than nine as in the utilities problem); one house and the three gates are on the wall of a rectangular yard, which contains the other two houses within it. [8]

As well as in the three utilities problem, the graph appears in late 19th-century and early 20th-century publications both in early studies of structural rigidity [9] [10] and in chemical graph theory, where Julius Thomsen proposed it in 1886 for the then-uncertain structure of benzene. [11] In honor of Thomsen's work, is sometimes called the Thomsen graph. [12]

Statement

The three utilities problem can be stated as follows:

Suppose three houses each need to be connected to the water, gas, and electricity companies, with a separate line from each house to each company. Is there a way to make all nine connections without any of the lines crossing each other?

The problem is an abstract mathematical puzzle which imposes constraints that would not exist in a practical engineering situation. Its mathematical formalization is part of the field of topological graph theory which studies the embedding of graphs on surfaces. An important part of the puzzle, but one that is often not stated explicitly in informal wordings of the puzzle, is that the houses, companies, and lines must all be placed on a two-dimensional surface with the topology of a plane, and that the lines are not allowed to pass through other buildings; sometimes this is enforced by showing a drawing of the houses and companies, and asking for the connections to be drawn as lines on the same drawing. [13] [14]

In more formal graph-theoretic terms, the problem asks whether the complete bipartite graph is a planar graph. This graph has six vertices in two subsets of three: one vertex for each house, and one for each utility. It has nine edges, one edge for each of the pairings of a house with a utility, or more abstractly one edge for each pair of a vertex in one subset and a vertex in the other subset. Planar graphs are the graphs that can be drawn without crossings in the plane, and if such a drawing could be found, it would solve the three utilities puzzle. [13] [14]

Puzzle solutions

Unsolvability

Proof without words: One house is temporarily deleted. The lines connecting the remaining houses with the utilities divide the plane into three regions. Whichever region the deleted house is placed into, the similarly shaded utility is outside the region. By the Jordan curve theorem, a line connecting them must intersect one of the existing lines. 3 utilities problem proof.svg
Proof without words: One house is temporarily deleted. The lines connecting the remaining houses with the utilities divide the plane into three regions. Whichever region the deleted house is placed into, the similarly shaded utility is outside the region. By the Jordan curve theorem, a line connecting them must intersect one of the existing lines.

As it is usually presented (on a flat two-dimensional plane), the solution to the utility puzzle is "no": there is no way to make all nine connections without any of the lines crossing each other. In other words, the graph is not planar. Kazimierz Kuratowski stated in 1930 that is nonplanar, [15] from which it follows that the problem has no solution. Kullman (1979), however, states that "Interestingly enough, Kuratowski did not publish a detailed proof that [ ] is non-planar". [2]

One proof of the impossibility of finding a planar embedding of uses a case analysis involving the Jordan curve theorem. [16] In this solution, one examines different possibilities for the locations of the vertices with respect to the 4-cycles of the graph and shows that they are all inconsistent with a planar embedding. [17]

Alternatively, it is possible to show that any bridgeless bipartite planar graph with vertices and edges has by combining the Euler formula (where is the number of faces of a planar embedding) with the observation that the number of faces is at most half the number of edges (the vertices around each face must alternate between houses and utilities, so each face has at least four edges, and each edge belongs to exactly two faces). In the utility graph, and so in the utility graph it is untrue that . Because it does not satisfy this inequality, the utility graph cannot be planar. [18]

Changing the rules

3 utilities problem torus.svg
Solution on a torus
3 utilities problem moebius.svg
Solution on a Möbius strip

is a toroidal graph, which means that it can be embedded without crossings on a torus, a surface of genus one. [19] These embeddings solve versions of the puzzle in which the houses and companies are drawn on a coffee mug or other such surface instead of a flat plane. [20] There is even enough additional freedom on the torus to solve a version of the puzzle with four houses and four utilities. [21] [5] Similarly, if the three utilities puzzle is presented on a sheet of a transparent material, it may be solved after twisting and gluing the sheet to form a Möbius strip. [22]

Another way of changing the rules of the puzzle that would make it solvable, suggested by Henry Dudeney, is to allow utility lines to pass through other houses or utilities than the ones they connect. [3]

Properties of the utility graph

Beyond the utility puzzle, the same graph comes up in several other mathematical contexts, including rigidity theory, the classification of cages and well-covered graphs, the study of graph crossing numbers, and the theory of graph minors.

Rigidity

The utility graph is a Laman graph, meaning that for almost all placements of its vertices in the plane, there is no way to continuously move its vertices while preserving all edge lengths, other than by a rigid motion of the whole plane, and that none of its spanning subgraphs have the same rigidity property. It is the smallest example of a nonplanar Laman graph. [23] Despite being a minimally rigid graph, it has non-rigid embeddings with special placements for its vertices. [9] [24] For general-position embeddings, a polynomial equation describing all possible placements with the same edge lengths has degree 16, meaning that in general there can be at most 16 placements with the same lengths. It is possible to find systems of edge lengths for which up to eight of the solutions to this equation describe realizable placements. [24]

Other graph-theoretic properties

is a triangle-free graph, in which every vertex has exactly three neighbors (a cubic graph). Among all such graphs, it is the smallest. Therefore, it is the (3,4)-cage, the smallest graph that has three neighbors per vertex and in which the shortest cycle has length four. [25]

Like all other complete bipartite graphs, it is a well-covered graph, meaning that every maximal independent set has the same size. In this graph, the only two maximal independent sets are the two sides of the bipartition, and are of equal sizes. is one of only seven 3-regular 3-connected well-covered graphs. [26]

Generalizations

Drawing of
K
3
,
3
{\displaystyle K_{3,3}}
with one crossing K33 one crossing.svg
Drawing of with one crossing

Two important characterizations of planar graphs, Kuratowski's theorem that the planar graphs are exactly the graphs that contain neither nor the complete graph as a subdivision, and Wagner's theorem that the planar graphs are exactly the graphs that contain neither nor as a minor, make use of and generalize the non-planarity of . [27]

Pál Turán's "brick factory problem" asks more generally for a formula for the minimum number of crossings in a drawing of the complete bipartite graph in terms of the numbers of vertices and on the two sides of the bipartition. The utility graph may be drawn with only one crossing, but not with zero crossings, so its crossing number is one. [5] [28]


Related Research Articles

In graph theory, a planar graph is a graph that can be embedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. In other words, it can be drawn in such a way that no edges cross each other. Such a drawing is called a plane graph or planar embedding of the graph. A plane graph can be defined as a planar graph with a mapping from every node to a point on a plane, and from every edge to a plane curve on that plane, such that the extreme points of each curve are the points mapped from its end nodes, and all curves are disjoint except on their extreme points.

Kuratowskis theorem Theorem characterizing planar graphs

In graph theory, Kuratowski's theorem is a mathematical forbidden graph characterization of planar graphs, named after Kazimierz Kuratowski. It states that a finite graph is planar if and only if it does not contain a subgraph that is a subdivision of K5 or of K3,3.

Complete graph Graph in which every two vertices are adjacent

In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices is connected by a pair of unique edges.

Outerplanar graph

In graph theory, an outerplanar graph is a graph that has a planar drawing for which all vertices belong to the outer face of the drawing.

In graph theory, two graphs and are homeomorphic if there is a graph isomorphism from some subdivision of to some subdivision of . If the edges of a graph are thought of as lines drawn from one vertex to another, then two graphs are homeomorphic to each other in the graph-theoretic sense precisely if they are homeomorphic in the sense in which the term is used in topology.

In graph theory, an undirected graph H is called a minor of the graph G if H can be formed from G by deleting edges and vertices and by contracting edges.

Complete bipartite graph Bipartite graph where every vertex of the first set is connected to every vertex of the second set

In the mathematical field of graph theory, a complete bipartite graph or biclique is a special kind of bipartite graph where every vertex of the first set is connected to every vertex of the second set.

In the mathematical theory of matroids, a graphic matroid is a matroid whose independent sets are the forests in a given finite undirected graph. The dual matroids of graphic matroids are called co-graphic matroids or bond matroids. A matroid that is both graphic and co-graphic is called a planar matroid; these are exactly the graphic matroids formed from planar graphs.

Dual graph Graph theory construction exchanging vertices and faces

In the mathematical discipline of graph theory, the dual graph of a plane graph G is a graph that has a vertex for each face of G. The dual graph has an edge for each pair of faces in G that are separated from each other by an edge, and a self-loop when the same face appears on both sides of an edge. Thus, each edge e of G has a corresponding dual edge, whose endpoints are the dual vertices corresponding to the faces on either side of e. The definition of the dual depends on the choice of embedding of the graph G, so it is a property of plane graphs rather than planar graphs. For planar graphs generally, there may be multiple dual graphs, depending on the choice of planar embedding of the graph.

Wagners theorem Characterization theorem in graph theory of planar graphs

In graph theory, Wagner's theorem is a mathematical forbidden graph characterization of planar graphs, named after Klaus Wagner, stating that a finite graph is planar if and only if its minors include neither K5 nor K3,3. This was one of the earliest results in the theory of graph minors and can be seen as a forerunner of the Robertson–Seymour theorem.

Book embedding Graph layout on multiple half-planes

In graph theory, a book embedding is a generalization of planar embedding of a graph to embeddings into a book, a collection of half-planes all having the same line as their boundary. Usually, the vertices of the graph are required to lie on this boundary line, called the spine, and the edges are required to stay within a single half-plane. The book thickness of a graph is the smallest possible number of half-planes for any book embedding of the graph. Book thickness is also called pagenumber, stacknumber or fixed outerthickness. Book embeddings have also been used to define several other graph invariants including the pagewidth and book crossing number.

In mathematics, Fáry's theorem states that any simple planar graph can be drawn without crossings so that its edges are straight line segments. That is, the ability to draw graph edges as curves instead of as straight line segments does not allow a larger class of graphs to be drawn. The theorem is named after István Fáry, although it was proved independently by Klaus Wagner (1936), Fáry (1948), and Sherman K. Stein (1951).

Planarity is a puzzle computer game by John Tantalo, based on a concept by Mary Radcliffe at Western Michigan University. The name comes from the concept of planar graphs in graph theory; these are graphs that can be embedded in the Euclidean plane so that no edges intersect. By Fáry's theorem, if a graph is planar, it can be drawn without crossings so that all of its edges are straight line segments. In the planarity game, the player is presented with a circular layout of a planar graph, with all the vertices placed on a single circle and with many crossings. The goal for the player is to eliminate all of the crossings and construct a straight-line embedding of the graph by moving the vertices one by one into better positions.

In graph theory, a branch of mathematics, many important families of graphs can be described by a finite set of individual graphs that do not belong to the family and further exclude all graphs from the family which contain any of these forbidden graphs as (induced) subgraph or minor. A prototypical example of this phenomenon is Kuratowski's theorem, which states that a graph is planar if and only if it does not contain either of two forbidden graphs, the complete graph K5 and the complete bipartite graph K3,3. For Kuratowski's theorem, the notion of containment is that of graph homeomorphism, in which a subdivision of one graph appears as a subgraph of the other. Thus, every graph either has a planar drawing or it has a subdivision of one of these two graphs as a subgraph.

In graph theory, the planarity testing problem is the algorithmic problem of testing whether a given graph is a planar graph. This is a well-studied problem in computer science for which many practical algorithms have emerged, many taking advantage of novel data structures. Most of these methods operate in O(n) time, where n is the number of edges in the graph, which is asymptotically optimal. Rather than just being a single Boolean value, the output of a planarity testing algorithm may be a planar graph embedding, if the graph is planar, or an obstacle to planarity such as a Kuratowski subgraph if it is not.

Crossing number (graph theory)

In graph theory, the crossing numbercr(G) of a graph G is the lowest number of edge crossings of a plane drawing of the graph G. For instance, a graph is planar if and only if its crossing number is zero. Determining the crossing number continues to be of great importance in graph drawing, as user studies have shown that drawing graphs with few crossings makes it easier for people to understand the drawing.

Turáns brick factory problem Problem of minimizing crossings in complete bipartite graphs

In the mathematics of graph drawing, Turán's brick factory problem asks for the minimum number of crossings in a drawing of a complete bipartite graph. The problem is named after Pál Turán, who formulated it while being forced to work in a brick factory during World War II.

Herschel graph

In graph theory, a branch of mathematics, the Herschel graph is a bipartite undirected graph with 11 vertices and 18 edges, the smallest non-Hamiltonian polyhedral graph. It is named after British astronomer Alexander Stewart Herschel.

Barnette's conjecture is an unsolved problem in graph theory, a branch of mathematics, concerning Hamiltonian cycles in graphs. It is named after David W. Barnette, a professor emeritus at the University of California, Davis; it states that every bipartite polyhedral graph with three edges per vertex has a Hamiltonian cycle.

1-planar graph

In topological graph theory, a 1-planar graph is a graph that can be drawn in the Euclidean plane in such a way that each edge has at most one crossing point, where it crosses a single additional edge. If a 1-planar graph, one of the most natural generalizations of planar graphs, is drawn that way, the drawing is called a 1-plane graph or 1-planar embedding of the graph.

References

  1. Gries, David; Schneider, Fred B. (1993), "Chapter 19: A theory of graphs", A Logical Approach to Discrete Math, New York: Springer, p. 423–460, doi:10.1007/978-1-4757-3837-7, ISBN   978-1-4419-2835-1, S2CID   206657798 . See p. 437: " is known as the utility graph".
  2. 1 2 Kullman, David (1979), "The utilities problem", Mathematics Magazine , 52 (5): 299–302, doi:10.1080/0025570X.1979.11976807, JSTOR   2689782
  3. 1 2 Dudeney, Henry (1917), "Problem 251 – Water, Gas, and Electricity", Amusements in mathematics, 100, Thomas Nelson, p. 73, Bibcode:1917Natur.100..302., doi:10.1038/100302a0, S2CID   10245524 . The solution given on pp. 200–201 involves passing a line through one of the other houses.
  4. Dudeney, Henry (1913), "Perplexities, with some easy puzzles for beginners", The Strand Magazine , vol. 46, p. 110
  5. 1 2 3 Beineke, Lowell; Wilson, Robin (2010), "The early history of the brick factory problem", The Mathematical Intelligencer , 32 (2): 41–48, doi:10.1007/s00283-009-9120-4, MR   2657999, S2CID   122588849
  6. "Puzzle", Successful Farming, vol. 13, p. 50, 1914; "A well and house puzzle", The Youth's Companion, vol. 90 no. 2, p. 392, 1916.
  7. "32. The fountain puzzle", The Magician's Own Book, Or, The Whole Art of Conjuring, New York: Dick & Fitzgerald, 1857, p. 276
  8. Loyd, Sam (1959), "82: The Quarrelsome Neighbors", in Gardner, Martin (ed.), Mathematical Puzzles of Sam Loyd, Dover Books, p. 79, ISBN   9780486204987
  9. 1 2 Dixon, A. C. (1899), "On certain deformable frameworks", Messenger of Mathematics , 29: 1–21, JFM   30.0622.02
  10. Henneberg, L. (1908), "Die graphische Statik der starren Körper", Encyklopädie der Mathematischen Wissenschaften, 4, pp. 345–434. See in particular p. 403.
  11. Thomsen, Julius (July 1886), "Die Constitution des Benzols" (PDF), Berichte der Deutschen Chemischen Gesellschaft, 19 (2): 2944–2950, doi:10.1002/cber.188601902285
  12. Bollobás, Béla (1998), Modern Graph Theory, Graduate Texts in Mathematics, 184, Springer-Verlag, New York, p. 23, doi:10.1007/978-1-4612-0619-4, ISBN   0-387-98488-7, MR   1633290
  13. 1 2 Harary, Frank (1960), "Some historical and intuitive aspects of graph theory", SIAM Review , 2 (2): 123–131, Bibcode:1960SIAMR...2..123H, doi:10.1137/1002023, MR   0111698
  14. 1 2 Bóna, Miklós (2011), A Walk Through Combinatorics: An Introduction to Enumeration and Graph Theory, World Scientific, pp. 275–277, ISBN   9789814335232 . Bóna introduces the puzzle (in the form of three houses to be connected to three wells) on p. 275, and writes on p. 277 that it "is equivalent to the problem of drawing on a plane surface without crossings".
  15. Kuratowski, Kazimierz (1930), "Sur le problème des courbes gauches en topologie" (PDF), Fundamenta Mathematicae (in French), 15: 271–283, doi: 10.4064/fm-15-1-271-283
  16. Ayres, W. L. (1938), "Some elementary aspects of topology", The American Mathematical Monthly , 45 (2): 88–92, doi:10.1080/00029890.1938.11990773, JSTOR   2304276, MR   1524194
  17. Trudeau, Richard J. (1993), Introduction to Graph Theory, Dover Books on Mathematics, New York: Dover Publications, pp. 68–70, ISBN   978-0-486-67870-2
  18. Kappraff, Jay (2001), Connections: The Geometric Bridge Between Art and Science, K & E Series on Knots and Everything, 25, World Scientific, p. 128, ISBN   9789810245863
  19. Harary, F. (1964), "Recent results in topological graph theory", Acta Mathematica, 15 (3–4): 405–411, doi:10.1007/BF01897149, hdl:2027.42/41775, MR   0166775, S2CID   123170864 ; see p. 409.
  20. Parker, Matt (2015), Things to Make and Do in the Fourth Dimension: A Mathematician's Journey Through Narcissistic Numbers, Optimal Dating Algorithms, at Least Two Kinds of Infinity, and More, New York: Farrar, Straus and Giroux, pp. 180–181, 191–192, ISBN   978-0-374-53563-6, MR   3753642
  21. O’Beirne, T. H. (December 21, 1961), "Christmas puzzles and paradoxes, 51: For boys, men and heroes", New Scientist , vol. 12 no. 266, pp. 751–753
  22. Larsen, Mogens Esrom (1994), "Misunderstanding my mazy mazes may make me miserable", in Guy, Richard K.; Woodrow, Robert E. (eds.), Proceedings of the Eugène Strens Memorial Conference on Recreational Mathematics and its History held at the University of Calgary, Calgary, Alberta, August 1986, MAA Spectrum, Washington, DC: Mathematical Association of America, pp. 289–293, ISBN   0-88385-516-X, MR   1303141 . See Figure 7, p. 292.
  23. Streinu, Ileana (2005), "Pseudo-triangulations, rigidity and motion planning", Discrete & Computational Geometry , 34 (4): 587–635, doi: 10.1007/s00454-005-1184-0 , MR   2173930, S2CID   25281202 . See p. 600: "Not all generically minimally rigid graphs have embeddings as pseudo-triangulations, because not all are planar graphs. The smallest example is ".
  24. 1 2 Walter, D.; Husty, M. L. (2007), "On a nine-bar linkage, its possible configurations and conditions for paradoxical mobility" (PDF), in Merlet, Jean-Pierre; Dahan, Marc (eds.), 12th World Congress on Mechanism and Machine Science (IFToMM 2007), International Federation for the Promotion of Mechanism and Machine Science
  25. Tutte, W. T. (1947), "A family of cubical graphs", Proceedings of the Cambridge Philosophical Society , 43 (4): 459–474, Bibcode:1947PCPS...43..459T, doi:10.1017/s0305004100023720, MR   0021678
  26. Campbell, S. R.; Ellingham, M. N.; Royle, Gordon F. (1993), "A characterisation of well-covered cubic graphs", Journal of Combinatorial Mathematics and Combinatorial Computing, 13: 193–212, MR   1220613
  27. Little, Charles H. C. (1976), "A theorem on planar graphs", in Casse, Louis R. A.; Wallis, Walter D. (eds.), Combinatorial Mathematics IV: Proceedings of the Fourth Australian Conference Held at the University of Adelaide August 27–29, 1975, Lecture Notes in Mathematics, 560, Springer, pp. 136–141, doi:10.1007/BFb0097375, MR   0427121
  28. Pach, János; Sharir, Micha (2009), "5.1 Crossings—the Brick Factory Problem", Combinatorial Geometry and Its Algorithmic Applications: The Alcalá Lectures, Mathematical Surveys and Monographs, 152, American Mathematical Society, pp. 126–127