Workshop Permutatiepuzzels

Transcriptie

1 Workshop Permutatiepuzzels Karsten Naert UGent Vakgroep Wiskunde January 26, 2012

2 Wiskunde is: Abstractie maken van de werkelijkheid Redeneren met deze abstracte gegevens (Zie ook: Toegepast op puzzels: abstraheren = achterwege laten van details redeneren = meer te weten komen over de puzzel, met als ultiem doel hem op te lossen

3 Definitie van permutatiepuzzels Een puzzel, waarbij de toestand waarin hij zich bevindt, kan omschreven worden door een bepaalde permutatie (dit is het veranderen van de volgorde) van delen ervan. De puzzel wordt opgelost door een paar basiszetten in de juiste volgorde uit te voeren

4 Voorbeelden van permutatiepuzzels De 15-puzzel De Rubik s Cube De Hongaarse Ringen... en vele andere voorbeelden.

5 Voorbeelden van permutatiepuzzels De 15-puzzel De Rubik s Cube De Hongaarse Ringen... en vele andere voorbeelden.

6 Voorbeelden van permutatiepuzzels De 15-puzzel De Rubik s Cube De Hongaarse Ringen... en vele andere voorbeelden.

7 Voorbeelden van permutatiepuzzels De 15-puzzel De Rubik s Cube De Hongaarse Ringen... en vele andere voorbeelden.

8 Is geen permutatiepuzzel: De square-1 puzzel:

9 De 15-puzzel Doel van de puzzel: de 14 en 15 omwisselen:

10 De onthutsende waarheid: Stelling De 15-puzzel kan niet worden opgelost! Bewijs Stap 1: doe alsof er een oplossing zou zijn Stap 2: beredeneer extra informatie over deze oplossing... beredeneer nóg meer informatie Stap 3: vind een strijdigheid. (Bijvoorbeeld: als we zouden kunnen beredeneren dat de oplossing meer dan 10 zetten bestaat, maar ook dat we elke permutatie in hoogstens 10 zetten kunnen bereiken.) Details op volgende dia s

11 Het bewijs stap 1 We doen alsof er een oplossing is. n is het aantal zetten van deze oplossing. We willen meer informatie over n. Suggesties? Ideeën?

12 Het bewijs stap 2(a) We voeren een schaakbordkleuring uit: Wat is de kleur van het lege vakje bij zet 0? Wat is de kleur van het lege vakje bij zet 1? Wat is de kleur van het lege vakje bij zet 2? Wat is de kleur van het lege vakje bij zet 3?... Wat is de kleur van het lege vakje bij zet n? Conclusie?

13 Het bewijs stap 2(b) Notatie We gebruiken de notatie (0, i) om te zeggen: een zet die het lege vakje (met nummer 0) en het vakje i (met nummer i) van plaats verwisselt. Of nog: het vakje i verschuift en neemt de plaats van het lege vakje, waar het vakje i was, komt nu een leeg vakje We kunnen de oplossing nu noteren als volgt (0, a 1 )(0, a 2 )(0, a 3 )... (0, a n )

14 Intermezzo! We abstraheren de situatie: de zet (0, a 1 ) wordt nu een abstracte permutatie van twee elementen. We kunnen de zet ook uitvoeren of laten werken op andere objecten dan de 16 vakjes van de puzzel! Als we dezelfde zetten uitvoeren op andere objecten, moet de eindsituatie hetzelfde zijn!

15 Het bewijs, stap 2(b) vervolg De volgende reeks zetten lost het probleem op: (0, a 1 )(0, a 2 )(0, a 3 )... (0, a n ) Ook de zet (14, 15) lost het probleem op! Dus we zullen onze n zetten uitvoeren op een ander object...! Op de kolommen van de eenheidsmatrix. De oplossing uitvoeren = de zet (14, 15) uitvoeren.

16 Het bewijs, stap 2(b) vervolg Elke zet verandert het teken van de determinant. (0, a 1 )(0, a 2 )(0, a 3 )... (0, a n ) = (14, 15) Rechterlid: na één zet is de determinant = 1. Linkerlid: De determinant na zet 0? De determinant na zet 1? (Dus na (0, a 1 ))? De determinant na zet 2? (Dus na (0, a 1 )(0, a 2 ))?... De determinant na zet n? Conclusie voor n?

17 Het bewijs stap 3 Stel dat een oplossing bestaat in n zetten: Dan is n even redenering met schaakbordkleuring Dan is n oneven redenering met teken determinant Conclusie?

18 Vervolgvraag voor de 15-puzzel Hoeveel legale configuraties (waarbij lege vakje rechtsonder staat) zijn bereikbaar? (Eenvoudig theoretisch maximum: 15!.) Antwoord: 15! 2 = Bewijs: Niet zo éénvoudig! Een schets: Bewijs dat oneven permutaties onmogelijk zijn Bewijs dat elke even permutatie bereikt kan worden: bewijs dat enkele basispermutaties mogelijk zijn bewijs dat elke even permutatie met deze basispermutaties kan worden gemaakt

19 Vervolgvraag voor de 15-puzzel Hoeveel configuraties zijn er in het geheel bereikbaar? (Lege vakje niet noodzakelijk rechtsonder.)

20 Groepentheorie Citaat Groepentheorie laat iets werken op iets en vergelijkt het resultaat met wat gebeurt wanneer datzelfde werkt op iets anders, of iets anders werkt op hetzelfde Deel van de abstracte algebra. We beperken ons tot de permutatiegroepen!

21 De Hongaarse ringen 38 bolletjes = veel = te veel.

22 De Hongaarse ringen Eenvoudige variant met 10 bolletjes Merk op: het wordt moeilijker door de bolletjes te nummeren (10 nummers versus 4 kleuren). Basiszetten: (1, 2, 3, 4, 5, 6) (1, 10, 3, 9, 8, 7)

23 De Hongaarse ringen Betekenis basiszet (1, 10, 3, 9, 8, 7): We vergeten de puzzel! En proberen zoveel mogelijk permutaties te maken met de basispermutaties.

24 Als Dan is x = (1, 2, 3, 4, 5, 6) y = (1, 10, 3, 9, 8, 7) (2, 10) = yx 1 y 1 x 2 yx 1 y 1 x 1 y 2 xy 3 xyx 1 yxyx 1 y 1 Dus we kunnen 2 en 10 verwisselen. (En de rest vasthouden!)

25 Nu redeneren om de puzzel verder op te lossen: We kunnen 2 en 10 verwisselen, en de andere elementen vasthouden. Dus we kunnen elke twee elementen verwisselen, en de andere vasthouden. Dus we kunnen elke mogelijke permutatie bereiken. Dus aantal mogelijke posities = 10! = !

26 Het valt niet mee om deze permutatie te vinden... snapbaar alternatief? (1, 2, 3) = xy 2 xy 2 xy 2 x Aantonen dat we met a = (1, 2, 3) en b = (1, 2, 3, 4, 5, 6) ook (1, 2) kunnen maken? Ideeën? Suggesties?

27 Het valt niet mee om deze permutatie te vinden... snapbaar alternatief? (1, 2, 3) = xy 2 xy 2 xy 2 x Aantonen dat we met a = (1, 2, 3) en b = (1, 2, 3, 4, 5, 6) ook (1, 2) kunnen maken? Ideeën? Suggesties? (Oplossing: (12) = b 2 ab 2 ab)