Meshulam game

From HandWiki

In combinatorics and graph theory, the Meshulam game is a game used to explain a theorem of Roy Meshulam[1] related to connectivity of graphs. The formulation of this theorem as a game is due to Aharoni, Berger and Ziv.[2][3]

The game

The game-board is a graph G. It is a zero-sum game for two players, CON and NON. CON wants to show that G has a high connectivity.

At his turn, CON chooses an edge e from the remaining graph. NON then chooses one of two options:

  • Deletion – remove the edge e from the graph.
  • Explosion – remove both endpoints of e, together with all their neighbors and the edges incident to them.

The score of CON is defined as follows:

  • If at some point the remaining graph has an isolated vertex, the score is infinity.
  • Otherwise, at some point the remaining graph contains no vertex; in that case the score is the number of explosions.

For every given graph G, the game value on G (i.e., the score of CON when both sides play optimally) is denoted by Ψ(G).

Meshulam[1] proved that, for every graph G, the connectivity of I(G) (the complex of independent sets of G) is at least Ψ(G).

References

  1. 1.0 1.1 Meshulam, Roy (2003-05-01). "Domination numbers and homology". Journal of Combinatorial Theory, Series A 102 (2): 321–330. doi:10.1016/s0097-3165(03)00045-1. ISSN 0097-3165. http://dx.doi.org/10.1016/s0097-3165(03)00045-1. 
  2. Aharoni, Ron; Berger, Eli; Ziv, Ran (2007-05-01). "Independent systems of representatives in weighted graphs". Combinatorica 27 (3): 253–267. doi:10.1007/s00493-007-2086-y. ISSN 0209-9683. http://dx.doi.org/10.1007/s00493-007-2086-y. 
  3. Aharoni, Ron; Berger, Eli; Kotlar, Dani; Ziv, Ran (2017-01-04). "On a conjecture of Stein". Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 87 (2): 203–211. doi:10.1007/s12188-016-0160-3. ISSN 0025-5858. http://dx.doi.org/10.1007/s12188-016-0160-3.