Handshaking Lemma

In graph theory, the handshaking lemma is the statement that, in every finite undirected graph, the number of vertices that touch an odd number of edges is even. For example, if there is a party of people who shake hands, the number of people who shake an odd number of other people's hands is even. The handshaking lemma is a consequence of the degree sum formula, also sometimes called the handshaking lemma, according to which the sum of the degrees (the numbers of times each vertex is touched) equals twice the number of edges in the graph. Both results were proven by in his famous paper on the Seven Bridges of Königsberg that began the study of graph theory.

Beyond the Seven Bridges of Königsberg Problem, which subsequently formalized Eulerian Tours, other applications of the degree sum formula include proofs of certain combinatorial structures. For example, in the proofs of Sperner's lemma and the mountain climbing problem the geometric properties of the formula commonly arise. The complexity class PPA encapsulates the difficulty of finding a second odd vertex, given one such vertex in a large implicitly-defined graph.

Definitions and statement

An undirected graph consists of a system of vertices, and edges connecting unordered pairs of vertices. In any graph, the degree $\deg(v)$ of a vertex $v$ is defined as the number of edges that have $v$ as an endpoint. For graphs that are allowed to contain loops connecting a vertex to itself, a loop should be counted as contributing two units to the degree of its endpoint for the purposes of the handshaking lemma. Then, the handshaking lemma states that, in every finite graph, there must be an even number of vertices for which $\deg(v)$ is an odd number. The vertices of odd degree in a graph are sometimes called odd nodes (or odd vertices); in this terminology, the handshaking lemma can be rephrased as the statement that every graph has an even number of odd nodes.

The degree sum formula states that
$\sum_ \deg v = 2, E, ,$
where $V$ is the set of nodes (or vertices) in the graph and $E$ is the set of edges in the graph. That is, the sum of the vertex degrees equals twice the number of edges. In directed graphs, another form of the degree-sum formula states that the sum of in-degrees of all vertices, and the sum of out-degrees, both equal the number of edges. Here, the in-degree is the number of incoming edges, and the out-degree is the number of outgoing edges. A version of the degree sum formula also applies to finite families of sets or, equivalently, multigraphs: the sum of the degrees of the elements (where the degree equals the number of sets containing it) always equals the sum of the cardinalities of the sets.

Both results also apply to any subgraph of the given graph and in particular to its connected components. A consequence is that, for any odd vertex, there must exist a path connecting it to another odd vertex.

Applications

Euler paths and tours

Leonhard Euler first proved the handshaking lemma in his work on the Seven Bridges of Königsberg, asking for a walking tour of the city of Königsberg (now Kaliningrad) crossing each of its seven bridges once. This can be translated into graph-theoretic terms as asking for an Euler path or Euler tour of a connected graph representing the city and its bridges: a walk through the graph that traverses each edge once, either ending at a different vertex than it starts in the case of an Euler path or returning to its starting point in the case of an Euler tour. Euler stated the fundamental results for this problem in terms of the number of odd vertices in the graph, which the handshaking lemma restricts to be an even number. If this number is zero, an Euler tour exists, and if it is two, an Euler path exists. Otherwise, the problem cannot be solved. In the case of the Seven Bridges of Königsberg, the graph representing the problem has four odd vertices, and has neither an Euler path nor an Euler tour. It was therefore impossible to tour all seven bridges in Königsberg without repeating a bridge.

In the Christofides–Serdyukov algorithm for approximating the traveling salesperson problem, the geometric implications of the degree sum formula plays a vital role, allowing the algorithm to connect vertices in pairs in order to construct a graph on which an Euler tour forms an approximate TSP tour.

Combinatorial enumeration

Several combinatorial structures may be shown to be even in number by relating them to the odd vertices in an appropriate "exchange graph".

For instance, as C. A. B. Smith proved, in any cubic graph $G$ there must be an even number of Hamiltonian cycles through any fixed edge $uv$; these are cycles that pass through each vertex exactly once. used a proof based on the handshaking lemma to extend this result to graphs in which all vertices have odd degree. Thomason defines an exchange graph the vertices of which are in one-to-one correspondence with the Hamiltonian paths in $G$ beginning at $u$ and continuing through edge $uv$. Two such paths $p_1$ and $p_2$ are defined as being connected by an edge in $H$ if one may obtain $p_2$ by adding a new edge to the end of $p_1$ and removing another edge from the middle of $p_1$. This operation is reversible, forming a symmetric relation, so $H$ is an undirected graph. If path $p$ ends at vertex then the vertex corresponding to $p$ in $H$ has degree equal to the number of ways that $p$ may be extended by an edge that does not connect back to $u$; that is, the degree of this vertex in $H$ is either $\deg(w)-1$ (an even number) if $p$ does not form part of a Hamiltonian cycle through or $\deg(w)-2$ (an odd number) if $p$ is part of a Hamiltonian cycle through $uv$. Since $H$ has an even number of odd vertices, $G$ must have an even number of Hamiltonian cycles through $uv$.

Other applications

The handshaking lemma (or degree sum formula) are also used in proofs of several other results in mathematics. These include the following:

*Sperner's lemma states that, if a big triangle is subdivided into smaller triangles meeting edge-to-edge, and the vertices are labeled with three colors so that only two of the colors are used along each edge of the big triangle, then at least one of the smaller triangles has vertices of all three colors; it has applications in fixed-point theorems, root-finding algorithms, and fair division. One proof of this lemma forms an exchange graph whose vertices are the triangles (both small and large) and whose edges connect pairs of triangles that share two vertices of some particular two colors. The big triangle necessarily has odd degree in this exchange graph, as does a small triangle with all three colors, but not the other small triangles. By the handshaking lemma, there must be an odd number of small triangles with all three colors, and therefore at least one such triangle must exist.

*The mountain climbing problem states that, for sufficiently well-behaved functions on a unit interval, with equal values at the ends of the interval, it is possible to coordinate the motion of two points, starting from opposite ends of the interval, so that they meet somewhere in the middle while remaining at points of equal value throughout the motion. One proof of this involves approximating the function by a piecewise linear function with the same extreme points, parameterizing the position of the two moving points by the coordinates of a single point in the unit square, and showing that the available positions for the two points form a finite graph, embedded in this square, with only the starting position and its reversal as odd vertices. By the handshaking lemma, these two positions belong to the same connected component of the graph, and a path from one to the other necessarily passes through the desired meeting point.
*The reconstruction conjecture concerns the problem of uniquely determining the structure of a graph from the multiset of subgraphs formed by removing a single vertex from it. Given this information, the degree-sum formula can be used to recover the number of edges in the given graph and the degrees of each vertex. From this, it is possible to determine whether the given graph is a regular graph, and if so to determine it uniquely from any vertex-deleted subgraph by adding a new neighbor for all the subgraph vertices of too-low degree. Therefore, all regular graphs can be reconstructed.
*The game of Hex is played by two players, who place pieces of their color on a tiling of a parallelogram-shaped board by hexagons until one player has a connected path of adjacent pieces from one side of the board to the other. It can never end in a draw: by the time the board has been completely filled with pieces, one of the players will have formed a winning path. One proof of this forms a graph from a filled game board, with vertices at the corners of the hexagons, and with edges on sides of hexagons that separate the two players' colors. This graph has four odd vertices at the corners of the board, and even vertices elsewhere, so it must contain a path connecting two corners, which necessarily has a winning path for one player on one of its sides.

Proof

Euler's proof of the degree sum formula uses the technique of double counting: he counts the number of incident pairs $(v,e)$ where $e$ is an edge and vertex $v$ is one of its endpoints, in two different ways. Vertex $v$ belongs to $\deg(v)$ pairs, where $\deg(v)$ (the degree of $v$) is the number of edges incident to it. Therefore, the number of incident pairs is the sum of the degrees. However, each edge in the graph belongs to exactly two incident pairs, one for each of its endpoints; therefore, the number of incident pairs is $2, E,$. Since these two formulas count the same set of objects, they must have equal values. The same proof can be interpreted as summing the entries of the incidence matrix of the graph in two ways, by rows to get the sum of degrees and by columns to get twice the number of edges.

For graphs, the handshaking lemma follows as a corollary of the degree sum formula. In a sum of integers, the parity of the sum is not affected by the even terms in the sum; the overall sum is even when there is an even number of odd terms, and odd when there is an odd number of odd terms. Since one side of the degree sum formula is the even number the sum on the other side must have an even number of odd terms; that is, there must be an even number of odd-degree vertices.

Alternatively, it is possible to use mathematical induction to prove the degree sum formula, or to prove directly that the number of odd-degree vertices is even, by removing one edge at a time from a given graph and using a case analysis on the degrees of its endpoints to determine the effect of this removal on the parity of the number of odd-degree vertices.

In special classes of graphs

Regular graphs

The degree sum formula implies that every $r$-regular graph with $n$ vertices has $nr/2$ edges. Because the number of edges must be an integer, it follows that when $r$ is odd the number of vertices must be even. Additionally, for odd values the number of edges must be divisible

Bipartite and biregular graphs

A bipartite graph has its vertices split into two subsets, with each edge having one endpoint in each subset. It follows from the same double counting argument that, in each subset, the sum of degrees equals the number of edges in the graph. In particular, both subsets have equal degree sums. For biregular graphs, with a partition of the vertices into subsets $V_1$ and $V_2$ with every vertex in a subset $V_i$ having degree $r_i$, it must be the case that $, V_1, r_1=, V_2, r_2$; both equal the number of edges.

Infinite graphs

The handshaking lemma does not apply in its usual form to infinite graphs, even when they have only a finite number of odd-degree vertices. For instance, an infinite path graph with one endpoint has only a single odd-degree vertex rather than having an even number of such vertices. However, it is possible to formulate a version of the handshaking lemma using the concept of an end, an equivalence class of semi-infinite paths ("rays") considering two rays as equivalent when there exists a third ray that uses infinitely many vertices from each of them. The degree of an end is the maximum number of edge-disjoint rays that it contains, and an end is odd if its degree is finite and odd. More generally, it is possible to define an end as being odd or even, regardless of whether it has infinite degree, in graphs for which all vertices have finite degree. Then, in such graphs, the number of odd vertices and odd ends, added together, is either even or infinite.

Subgraphs

By a theorem of Gallai the vertices of any graph can be partitioned as $V=V_e\cup V_o$ where in the two resulting induced subgraphs, G _e/math> has all degrees even and G _o/math> has all degrees odd. Here, $, V_o,$ must be even by the handshaking lemma. It is also possible to find even-degree and odd-degree induced subgraphs with many vertices. An induced subgraph of even degree can be found with at least half of the vertices, and an induced subgraph of odd degree (in a graph with no isolated vertices) can be found with $, V_o, /, V, >1/10000$.

Computational complexity

In connection with the exchange graph method for proving the existence of combinatorial structures, it is of interest to ask how efficiently these structures may be found. For instance, suppose one is given as input a Hamiltonian cycle in a cubic graph; it follows from Smith's theorem that there exists a second cycle. How quickly can this second cycle be found?
investigated the computational complexity of questions such as this, or more generally of finding a second odd-degree vertex when one is given a single odd vertex in a large implicitly-defined graph. He defined the complexity class PPA to encapsulate problems such as this one; a closely related class defined on directed graphs, PPAD, has attracted significant attention in algorithmic game theory because computing a Nash equilibrium is computationally equivalent to the hardest problems in this class.

Computational problems proven to be complete for the complexity class PPA include computational tasks related to Sperner's lemma and to fair subdivision of resources according to the Hobby–Rice theorem.

Notes

{{reflist, refs=

{{citation
, last1 = Ferber , first1 = Asaf
, last2 = Krivelevich , first2 = Michael , author2-link = Michael Krivelevich
, arxiv = 2009.05495
, doi = 10.1016/j.aim.2022.108534
, journal = Advances in Mathematics
, mr = 4448268
, article-number = 108534
, title = Every graph contains a linearly sized induced subgraph with all degrees odd
, volume = 406
, year = 2022

{{citation , title = Graphs and Applications: an Introductory Approach , series = Undergraduate Mathematics Series, The Open University , first1 = Joan M. , last1 = Aldous , first2 = Robin J. , last2 = Wilson , author2-link = Robin Wilson (mathematician) , publisher = Springer-Verlag , year = 2000 , isbn = 978-1-85233-259-4 , page
44
, chapter = Theorem 2.2 , chapter-url = https://archive.org/details/graphsapplicatio0000aldo/page/44

{{citation, title=Discrete Mathematics, publisher=Oxford University Press, first=Norman L., last=Biggs, author-link=Norman L. Biggs, year=2002, isbn=9780198507178, contribution=15.3: Degree, contribution-url=https://books.google.com/books?id=Mj9gzZMrXDIC&pg=PA181, pages=181–182

{{citation
, last1 = Bruhn , first1 = Henning
, last2 = Stein , first2 = Maya , author2-link = Maya Stein
, doi = 10.1007/s00493-007-2149-0
, issue = 3
, journal = Combinatorica
, mr = 2345811
, pages = 269–291
, title = On end degrees and infinite cycles in locally finite graphs
, volume = 27
, year = 2007, s2cid = 8367713
; see Proposition 15, p. 284

{{citation , last1 = Cameron, first1 = Kathie , last2 = Edmonds, first2 = Jack, author2-link = Jack Edmonds
, issue = 3
, journal = Annales de l'Institut Fourier
, pages = 815–827
, title = Some graphic uses of an even number of odd nodes
, url = http://www.numdam.org/item?id=AIF_1999__49_3_815_0
, volume = 49
, year = 1999 , mr = 1703426 , doi=10.5802/aif.1694, doi-access = free

{{citation, first1=Xi, last1=Chen, first2=Xiaotie, last2=Deng, contribution=Settling the complexity of two-player Nash equilibrium, title= Proc. 47th Symp. Foundations of Computer Science, year=2006, pages=261–271, doi=10.1109/FOCS.2006.69, isbn=0-7695-2720-5 , s2cid=14102058, id={{ECCC, 2005, 05, 140

{{citation, last=Christofides, first=Nicos, year=1976, title=Worst-case analysis of a new heuristic for the travelling salesman problem, others=Report 388, institution=Graduate School of Industrial Administration, CMU, url=https://apps.dtic.mil/dtic/tr/fulltext/u2/a025602.pdf, archive-url=https://web.archive.org/web/20190721172134/https://apps.dtic.mil/dtic/tr/fulltext/u2/a025602.pdf, url-status=live, archive-date=July 21, 2019. The handshaking lemma is cited at the top of page 2.

{{citation, title=A First Look at Graph Theory, last1=Clark, first1=John, last2=Holton, first2=Derek Allan, publisher=Allied Publishers, year=1995, isbn=9788170234630, contribution=Problem 1.4.6, page=16, contribution-url=https://books.google.com/books?id=kb-aLlgYZuEC&pg=PA16

{{citation
, last1 = Pisanski , first1 = Tomaž , author1-link = Tomaž Pisanski
, last2 = Servatius , first2 = Brigitte , author2-link = Brigitte Servatius
, contribution = 2.3.4: Semiregular Bipartite Graphs
, doi = 10.1007/978-0-8176-8364-1
, isbn = 978-0-8176-8363-4
, mr = 2978043
, page = 35
, publisher = Birkhäuser/Springer , location = New York
, series = Birkhäuser Advanced Texts: Basler Lehrbücher
, title = Configurations from a Graphical Viewpoint
, contribution-url = https://books.google.com/books?id=3vnEcMCx0HkC&pg=PA35
, year = 2013

{{citation , last = Euler, first = L. , author-link = Leonhard Euler , journal = Commentarii Academiae Scientiarum Imperialis Petropolitanae , pages = 128–140 , title = Solutio problematis ad geometriam situs pertinentis , url = https://scholarlycommons.pacific.edu/euler-works/53/ , volume = 8 , year = 1736. Reprinted and translated in {{citation , last1 = Biggs, first1 = N. L. , author1-link = Norman L. Biggs , last2 = Lloyd, first2 = E. K. , last3 = Wilson, first3 = R. J. , author3-link = Robin Wilson (mathematician) , publisher = Oxford University Press , title = Graph Theory 1736–1936, title-link=Graph Theory, 1736–1936 , year = 1976

{{citation
, last1 = Filos-Ratsikas , first1 = Aris
, last2 = Goldberg , first2 = Paul W.
, editor1-last = Diakonikolas , editor1-first = Ilias
, editor2-last = Kempe , editor2-first = David
, editor3-last = Henzinger , editor3-first = Monika , editor3-link = Monika Henzinger
, arxiv = 1711.04503
, contribution = Consensus halving is PPA-complete
, doi = 10.1145/3188745.3188880
, pages = 51–64
, title = Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2018, Los Angeles, CA, USA, June 25-29, 2018
, title-link = Symposium on Theory of Computing
, year = 2018, isbn = 978-1-4503-5559-9
, s2cid = 8111195

{{citation
, last = Gale , first = David , author-link = David Gale
, doi = 10.1080/00029890.1979.11994922
, issue = 10
, journal = The American Mathematical Monthly
, jstor = 2320146
, mr = 551501
, pages = 818–827
, title = The game of Hex and the Brouwer fixed-point theorem
, volume = 86
, year = 1979

{{citation
, last = Grigni , first = Michelangelo
, doi = 10.1016/S0020-0190(00)00152-6
, issue = 5–6
, journal = Information Processing Letters
, mr = 1818525
, pages = 255–259
, title = A Sperner lemma complete for PPA
, volume = 77
, year = 2001

{{citation, title=Handbook of Mathematical Induction: Theory and Applications, first=David S., last=Gunderson, publisher=CRC Press, year=2014, isbn=9781420093650, page=240, url=https://books.google.com/books?id=c0BZDwAAQBAJ&pg=PA240

{{citation, title=Discrete Structures, Logic, and Computability, first=James L., last=Hein, publisher=Jones & Bartlett Publishers, year=2015, isbn=9781284070408, contribution=Example 3: The Handshaking Problem, contribution-url=https://books.google.com/books?id=kmaBCwAAQBAJ&pg=PA703, page=703

{{citation, title=Mathematics for the Curious, publisher=Oxford University Press, year=1998, first=Peter M., last=Higgins, isbn=9780192880727, page=201, url=https://books.google.com/books?id=SLqu0a_6uzUC&pg=PA201

{{citation , last=Honner , first=Patrick , date=2022-03-24 , title=What a Math Party Game Tells Us About Graph Theory , url=https://www.quantamagazine.org/what-a-math-party-game-tells-us-about-graph-theory-20220324/ , access-date=2022-03-27 , magazine=Quanta

{{citation
, last = Jukna , first = Stasys
, contribution = Proposition 1.7
, doi = 10.1007/978-3-642-17364-6
, page = 9
, publisher = Springer
, title = Extremal Combinatorics
, series = Texts in Theoretical Computer Science. An EATCS Series
, year = 2011, isbn = 978-3-642-17363-9

{{citation
, last1 = Lauri , first1 = Josef
, last2 = Scapellato , first2 = Raffaele
, doi = 10.1017/CBO9781316669846
, edition = 2nd
, isbn = 978-1-316-61044-2
, mr = 3496604
, pages = 105–106
, publisher = Cambridge University Press
, series = London Mathematical Society Lecture Note Series
, title = Topics in Graph Automorphisms and Reconstruction
, url = https://books.google.com/books?id=hsymFm0E0uIC&pg=PA105
, volume = 432
, year = 2016

{{citation, title=Bijective Combinatorics, first=Nicholas, last=Loehr, publisher=CRC Press, year=2011, isbn=9781439848869, contribution=3.31. Theorem: Degree-Sum Formula for Digraphs, contribution-url=https://books.google.com/books?id=6nXRBQAAQBAJ&pg=PA106, page=106

{{citation, title=Combinatorial Problems and Exercises, first=László, last=Lovász, author-link=László Lovász, edition=2nd, publisher=Elsevier, year=2014, isbn=9780080933092, page=281, url=https://books.google.com/books?id=wvHiBQAAQBAJ&pg=PA281

{{citation
, last1 = Goodman , first1 = Jacob E. , author1-link = Jacob E. Goodman
, last2 = Pach , first2 = János , author2-link = János Pach
, last3 = Yap , first3 = Chee-K.
, doi = 10.2307/2323971
, issue = 6
, journal = The American Mathematical Monthly
, mr = 999412
, pages = 494–510
, title = Mountain climbing, ladder moving, and the ring-width of a polygon
, url = http://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/Goodman-Pach-Yap494-510.pdf
, volume = 96
, year = 1989, jstor = 2323971

{{citation, title=An Excursion through Elementary Mathematics, Volume III: Discrete Mathematics and Polynomial Algebra, series=Problem Books in Mathematics, first=Antonio Caminha Muniz, last=Neto, publisher=Springer, year=2018, isbn=9783319779775, page
132562
}

{{citation , last = Papadimitriou, first = Christos H., author-link = Christos Papadimitriou , doi = 10.1016/S0022-0000(05)80063-7
, issue = 3
, journal = Journal of Computer and System Sciences
, pages = 498–532
, title = On the complexity of the parity argument and other inefficient proofs of existence
, volume = 48
, year = 1994 , mr = 1279412, doi-access = free

{{citation, title=Graph Theory with Algorithms and its Applications in Applied Science and Technology, first=Santanu Saha, last=Ray, publisher=Springer, year=2012, isbn=9788132207504, contribution=Theorem 2.2, page=16, url=https://books.google.com/books?id=gvMbppV8BMcC&pg=PA16

{{citation
, last1 = Aigner , first1 = Martin , author1-link = Martin Aigner
, last2 = Ziegler , first2 = Günter M. , author2-link = Günter M. Ziegler
, contribution = Section 28.6: Sperner's Lemma
, doi = 10.1007/978-3-662-57265-8
, edition = 6th
, isbn = 978-3-662-57264-1
, mr = 3823190
, pages = 203–205
, publisher = Springer , location = Berlin
, title = Proofs from THE BOOK
, year = 2018

{{citation
, last = Thomason , first = A. G.
, contribution = Hamiltonian cycles and uniquely edge colourable graphs
, doi = 10.1016/S0167-5060(08)70511-9
, mr = 499124
, pages = 259–268
, series = Annals of Discrete Mathematics
, title = Advances in Graph Theory (Cambridge Combinatorial Conf., Trinity College, Cambridge, 1977)
, volume = 3
, year = 1978, isbn = 978-0-7204-0843-0

{{citation, title=A Beginner's Guide to Discrete Mathematics, first=W. D., last=Wallis, edition=2nd, publisher=Springer, year=2011, isbn=9780817682866, contribution=Section 7.1, Introduction to Graphs, Corollary 1, page=219, contribution-url=https://books.google.com/books?id=18W4_LJ5bL0C&pg=PA219

{{citation, title=Introduction to Graph Theory, first=Douglas B., last=West, author-link=Douglas West (mathematician), edition=2nd, publisher=Prentice Hall, year=1996, isbn=9780132278287, contribution=1.3.3. Theorem. (Degree-Sum Formula), page=26

Lemmas in graph theory