58
Piet Hein and John Nash: BEAUTIFUL MINDS Talk by Bjarne Toft, University of Southern Denmark Piet Hein 1905-1996 John Nash 1928-2015

Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Piet Hein and John Nash:

BEAUTIFUL MINDSTalk by Bjarne Toft, University of Southern Denmark

Piet Hein1905-1996

John Nash1928-2015

Page 2: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

High School Graduation 1924The lost spring

Page 3: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Copenhagen Conference 1932

Heisenberg, Werner Karl; Hein, Piet; Bohr, N.; Brillouin, Leon Nicolas; Rosenfeld, Leon; Delbrück, Max; Heitler, Walter; Meitner, Lise; Ehrenfest, Paul; Bloch, Felix; Waller, Ivar; Solomon, Jacques; Fues, Erwin; Strømgren, Bengt; Kronig, Ralph de Laer; Gjelsvik, A; Steensholt, Gunnar; Kramers, Hendrik Anton; Weizsäcker, Carl Friedrich von; Ambrosen, J.P.; Beck, Guido; Nielsen, Harald Herborg; Buch-Andersen; Kalckar, Fritz; Nielsen, Jens Rud; Fowler, Ralph Howard; Hyllerås, EgilAndersen; Lam, Ingeborg; Rindal, Eva; Dirac, Paul Adrian Maurice; N.N.; Darwin, Charles Galton; Manneback, Charles; Lund, Gelius

Page 4: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Piet Hein to Martin Gardner (1957)

Page 5: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Soma – a contradictory surprise

Page 6: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

SOMA in 1933

Page 7: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Piet Hein discovered Hex in 1942Parentesen, Copenhagen University, December 1942

The Mathematics of games and Games as mathematics

Page 8: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

1. Just2. Moving forward3. Finite4. Full information5. Strategic6. Decisive (no draw)

Page 9: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

The firstcan win

And this can be proved

Page 10: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Politiken Dec. 26, 1942

Page 11: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Piet Hein Problems 1-46from Politiken Dec.1942-June 1943

Page 12: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Piet Hein Problem 1White plays and wins !

Page 13: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Life as a game of Hex

Life is almostlike a gameEasy – hardDecide your aimWith the simplest Rules you startMost easy thenTo make it hard.(transl. BT)

Page 14: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for
Page 15: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for
Page 16: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Piet Hein’s two ideas- two theorems -

creating the HEX game

• NOT BOTH CAN WIN

• NOT BOTH CAN LOSE

Page 17: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

NOT BOTH CAN WIN

4-COLOUR-THEOREM (1997) : Any map is 4-colourable

SIMPEL SPECIAL CASE: No 5 countries can have common borders two and two

Page 18: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

NOT BOTH CAN LOSE

• PH: If only 3 faces meet

• PH: Then local blocking is impossible

• THEN CLEARLY (?): Global blocking is impossible

• FIRST PUBLISHED PROOF 1969: (Anatole Beck et al.)

Page 19: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

The contradiction follows also from

SPERNER’s SIMPLEX LEMMA

Page 20: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Piet Hein (1942): Suddenly in the half-light of dawn a game awoke and

demanded to be born

BUT AN ARBITRARY

PLANAR 3-REGULAR 2-CONNECTED GRAPHIS USEABLE AS BOARD (and Piet Hein’s Theorems hold)

GENERAL HEX or MUDCRACK HEX

Page 21: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

John Nash, 1928-2015, (A Beautiful Mind) discovered Hex in 1948

Page 22: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Non-cooperative GamesJohn F. Nash Jr. (21 years old)

Page 23: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Stockholm 1994

Page 24: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Oslo 2015The Abel Prize ceremony, May 19th

© Bjarne Toft

Page 25: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Deleted scenes fromA Beautiful Mind

Page 26: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

People at Princeton directly involved in discovering/developing/studying Hex

• John Nash

• Aage Bohr

• David Gale

• Claude Shannon

• John Milnor

• Harold Kuhn

Page 27: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

David Gale: Bridge-ItPiet Hein: A version of Hex

Page 28: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

There is a very simple winning(pairing) strategy for the first player

Page 29: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

John Nash’s Hex theorem

• The first player has a winningstrategy

(but a winning first move for the first

player in nxn Hex is not known with mathematical certainty – not thenand not now!)

Proof: Strategy stealing.

Page 30: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Nash to Gardner 1957

Page 31: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Nash’s Theorem(strategy stealing)

Page 32: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Nash’s Theorem(strategy stealing)

Anatole Beck’s

theorem 1969

Page 33: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Unsolved problem

Page 34: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for
Page 35: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for
Page 36: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Martin Gardner 1957 SCIENTIFIC AMERICAN

Page 37: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Martin Gardner 1914-2010

• Piet Hein:

• Black earthturned into

• Yellow Crocus

• Is undiluted

• Hocus pocus

Persi Diaconis: Pick up anything he wrote.

You’ll smile and learn something.

Page 38: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Claude Berge playing Hex 1974

Michel Las Vergnas

Claude BergeJean-Marie PlaNeil Grabois1974

Page 39: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Claude Berge and Ryan Hayward in Marseilles 1992

Page 40: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Paris juli 2004

Page 41: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for
Page 42: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

First winning moves for White

Page 43: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Variation 1: Rex(Reverse Hex or Misère Hex)

• Objective: Avoid creating a chain between your two sides!

• The game cannot end in draw (hence either the firstor the second player has a winning strategy)

• On an nxn board with n even the first player has a winning strategy (first published proof: Evans 1974)

• On an nxn board with n odd the second player has a winning strategy (first published proof: Lagarias and Sleator 1999). Their proof also covers n even.

Page 44: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Hayward, Toft and Henderson 2010

Page 45: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Variation 2: Terminated Rex (TRex) : the Rex game stops when there is just one emty field

left (i.e. there should always be a choice!)

Page 46: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

In TRex both players have non-losing strategies

Page 47: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Rex on an nxn-board with n odd:

• Let the second player (Black) play the non-losingstrategy from TRex. THIS IS A WINNING STRATEGY FOR THE SECOND PLAYER IN REX:

• Either the first player (White) creates a whitechain or TRex ends with one emty field left. In the Rex game that field has to be chosen by White and a White chain is formed!

• If also White plays the non-loosing strategy from TRex, then the Rex game will be decided onlywhen the board is full.

Page 48: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Rex on an nxn board with odd n:(second player has winning strategy)

Page 49: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Variation 3: CYLINDRICAL HEX – play on cylinder!

• THEOREM (Alpern and Belck 1991, Samuel Huneke 2012, Huneke, Hayward and Toft 2014)

• Cylindrical HEX has a winning strategy for the up-down player when the circular dimension n is even(pairing strategy)

• Cylindrical HEX has a winning strategy for the up-down player when the circular dimension is 3

• Problem: Circular dimensions 5, 7, 9, ….?

Page 50: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Discrete Mathematics 331 (2014) 93-97

Page 51: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Piet Hein / Bruno Mathsson

Page 52: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Superegg at Egeskov on Funen, Denmark

Page 53: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Sundial at Egeskov:

The object casting its shadow, is the same object as the one on which the

shadow is cast (the screen)!

Page 54: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for
Page 55: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Piet Hein’s new globe of the world

• Denmark seen from foreign land

• Looks but like a grain of sand.

• Denmark as we Danes conceive it

• Is so big you won’t believe it.

Page 56: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for
Page 57: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for

Thank you very much for your attention!

Super elliptic Hex board (by Piet Hein 1975)Teak Hex board (by Piet Hein 1968)Still available at piethein.comNow also as NEW NORDIC !Price around 200 US$

Page 58: Piet Hein and John Nash: BEAUTIFUL MINDShayward/talks/hex.beautifulminds.pdf · John Nash’s Hex theorem •The first player has a winning strategy (but a winning first move for