Een combinatorische oplossing voor vraag 10 van de LIMO 2010



Vergelijkbare documenten
Je hebt twee uur de tijd voor het oplossen van de vraagstukken. µkw uitwerkingen. 12 juni 2015

Week Hier vind je uitwerkingen van enkele opgaven uit het dictaat Grafen: Kleuren en Routeren.

Jordan normaalvorm. Hoofdstuk 7

Tentamen Grondslagen van de Wiskunde A Met beknopte uitwerking

Grafen. Indien de uitgraad van ieder punt 1 is, dan bevat de graaf een cykel. Indien de ingraad van ieder punt 1 is, dan bevat de graaf een cykel.

Getaltheorie I. c = c 1 = 1 c (1)

2 n 1. OPGAVEN 1 Hoeveel cijfers heeft het grootste bekende Mersenne-priemgetal? Met dit getal vult men 320 krantenpagina s.

Combinatoriek groep 1 & 2: Recursie

Radboud Universiteit Nijmegen

Getallenleer Inleiding op codeertheorie. Cursus voor de vrije ruimte

Aanvullingen bij Hoofdstuk 8

Tentamen Discrete Wiskunde 1 10 april 2012, 14:00 17:00 uur

Examen G0U13 Bewijzen en Redeneren Bachelor of Science Fysica en Wiskunde. vrijdag 3 februari 2012, 8:30 12:30

4 Positieve en niet-negatieve lineaire algebra

PROEFEXAMEN LINEAIRE ALGEBRA donderdag 17 november 2011

Formeel Denken 2014 Uitwerkingen Tentamen

Hoofdstuk 3. Equivalentierelaties. 3.1 Modulo Rekenen

Workshop DisWis, De Start 13/06/2007 Bladzijde 1 van 7. Sudoku. Sudoku

Bewijs door inductie

Het duivenhokprincipe

3 De stelling van Kleene

5 Inleiding tot de groepentheorie

Radboud Universiteit Nijmegen

V = {a, b, c, d, e} Computernetwerken: de knopen zijn machines in het netwerk, de kanten zijn communicatiekanalen.

Finaletraining Nederlandse Wiskunde Olympiade

Kies voor i een willekeurige index tussen 1 en r. Neem het inproduct van v i met de relatie. We krijgen

2WO12: Optimalisering in Netwerken

Selectietoets vrijdag 21 maart 2014

Polynomen. + 5x + 5 \ 3 x 1 = S(x) 2x x. 3x x 3x 2 + 2

Definitie 1.1. Een groep is een verzameling G, uitgerust met een bewerking waarvoor geldt dat:

Tentamen Discrete Wiskunde

Hoofdstuk 1. Inleiding. Lichamen

Formeel Denken 2013 Uitwerkingen Tentamen

III.2 De ordening op R en ongelijkheden

Combinatoriek groep 1

Bomen. 8.8 ongerichte bomen 9.4 gerichte bomen ch 10. binaire bomen. deel 1. Negende college

IMO-selectietoets III zaterdag 4 juni 2016

Volledige inductie. Hoofdstuk 7. Van een deelverzameling V van de verzameling N van alle natuurlijke getallen veronderstellen.

Leuven op de IMC 2012

Inleiding Analyse 2009

Automaten en Berekenbaarheid 2016 Oplossingen #4

Lijst-kleuringen in de grafentheorie

Eigenschappen en Axioma s van de E 6 -meetkunde

Hints en antwoorden bij de vragen van de cursus Lineaire Algebra en Meetkunde

IMO-selectietoets I donderdag 2 juni 2016

OPLOSSINGEN VAN DE OEFENINGEN

Uitgebreide uitwerking Tentamen Complexiteit, juni 2017

Uitwerkingen eerste serie inleveropgaven

TW2020 Optimalisering

IMO-selectietoets I donderdag 7 juni 2018

1 Rekenen met gehele getallen

Eigenwaarden en Diagonaliseerbaarheid

Tentamen algebra 1 Woensdag 24 juni 2015, 10:00 13:00 Snelliusgebouw B1 (extra tijd), B2, B3, 312

Bilineaire Vormen. Hoofdstuk 9

3.2 Vectoren and matrices

Begrenzing van het aantal iteraties in het max-flow algoritme

IMO-selectietoets III zaterdag 3 juni 2017

Finaletraining Wiskunde Olympiade

Opmerking. TI1300 Redeneren en Logica. Met voorbeelden kun je niks bewijzen. Directe en indirecte bewijzen

OVER IRRATIONALE GETALLEN EN MACHTEN VAN π

Groepen, ringen en velden

Ongelijkheden groep 1

IMO-selectietoets I donderdag 1 juni 2017

Examen Discrete Wiskunde donderdag 8 maart, 2018

1 Rekenen in eindige precisie

Linalg.nb 1. Werk het notebook aandachtig door en maak de (genummerde) oefeningen aan het einde van elke sectie. Succes!

Enkele valkuilen om te vermijden

Definitie 5.1. Cyclische groepen zijn groepen voortgebracht door 1 element.

Tentamen Grondslagen van de Wiskunde B met uitwerkingen

Wanneer zijn veelvouden van proniks proniks?

(b) Formuleer het verband tussen f en U(P, f), en tussen f en L(P, f). Bewijs de eerste. (c) Geef de definitie van Riemann integreerbaarheid van f.

Zomercursus Wiskunde. Katholieke Universiteit Leuven Groep Wetenschap & Technologie. September 2008

WI1808TH1/CiTG - Lineaire algebra deel 1

Lenstra s wonderlijke kaartspel

Infi A oefententamen ψ

Lege polygonen in een graaf.

Examen G0U13 - Bewijzen en Redeneren,

Kettingbreuken. 20 april K + 1 E + 1 T + 1 T + 1 I + 1 N + 1 G + 1 B + 1 R + 1 E + 1 U + 1 K + E + 1 N A + 1 P + 1 R + 1 I + 1

8C080 deel BioModeling en bioinformatica

ANTWOORDEN blz. 1. d = 1013; = ; = ; =

Determinanten. Definities en eigenschappen

Matrixalgebra (het rekenen met matrices)

Algebra. Oefeningen op hoofdstuk Groepentheorie Cayleytabellen van groepen van orde Cyclische groepen

Basiskennis lineaire algebra

Algoritmiek. 15 februari Grafen en bomen

opgaven formele structuren deterministische eindige automaten

Combinatorische Algoritmen: Binary Decision Diagrams, Deel III

Uitwerkingen toets 12 juni 2010

1. Het getal = 1800 is even. De andere antwoorden zijn oneven: 2009, = 11, = 191, = 209.

Uitwerkingen tentamen lineaire algebra 2 13 januari 2017, 10:00 13:00

Vector-en matrixvergelijkingen. Figuur: Vectoren, optellen

Geef niet alleen antwoorden, maar bewijs al je beweringen.

3 Cirkels, Hoeken en Bogen. Inversies.

Tweede college complexiteit. 12 februari Wiskundige achtergrond

Examen Algoritmen en Datastructuren III

3. Elke lijn van een graaf draagt twee bij tot de som van alle graden.

VWO finales. versie oktober 2012

WISKUNDE-ESTAFETTE 2011 Uitwerkingen

Oefenopgaven Grondslagen van de Wiskunde A

Tweede college algoritmiek. 12 februari Grafen en bomen

Transcriptie:

Een combinatorische oplossing voor vraag 10 van de LIMO 2010 Stijn Vermeeren (University of Leeds) 16 juni 2010 Samenvatting Probleem 10 van de Landelijke Interuniversitaire Mathematische Olympiade 2010vraagt om te bewijzen dat alle matrices in een bepaalde familie nilpotent zijn. De twee modeloplossingen maken gebruik van de stelling van Cayley-Hamilton. Ik geef een puur combinatorisch bewijs. De LIMO (Landelijke Interuniversitaire Mathematische Olympiade) is een wiskundecompetitie die elk jaar in Nederland wordt georganiseerd [1]. Teams van wiskundestudenten uit Nederland en Vlaanderen nemen deel aan de wedstrijd. De editie van 2010 vond plaats op 28 mei 2010 in Utrecht. Vraag nummer 10 werd opgesteld door Jaap Top van de Universiteit van Groningen en luidt als volgt: Gegeven is een positief geheel getal m, en n = 2 m 1. De n n matrix A = (a i,j ) over Z/2Z is gegeven door a i,j = 1 als i j = 1 en a i,j = 0 anders. Laat zien dat A nilpotent is. Opmerking: Een matrix A heet nilpotent als een macht van A gelijk is aan de nulmatrix. Twee modeloplossingen werden gegeven [2], die meer bepaald bewijzen dat A n = 0. Beide modeloplossingen maken gebruik van de stelling van Cayley-Hamilton, die zegt dat elke vierkante matrix over een commutatieve ring een nulpunt (in de evidente betekenis) is van zijn eigen karakteristieke veelterm. De rest van de oplossing bestaat dan uit het slim uitrekenen van die karakteristieke veelterm, die gelijk blijkt te zijn aan λ n. Het is echter opvallend dat de matrix A gelijk is aan de bogenmatrix van de padgraaf P n. En zoals algemeen bekend: de elementen van de k de macht van een bogenmatrix tellen het aantal paden met lengte k tussen twee bepaalde knopen van de graaf. Dit zet ons op weg naar een combinatorisch bewijs. Met dank aan mijn broer Mats Vermeeren, die als student aan de K.U. Leuven deel uitmaakte van het winnende team in de LIMO 2010 en via wie ik dit probleem leerde kennen. 1

1 Achtergrond uit de grafentheorie Een graaf G bestaat uit een eindige verzaming V van knopen (Engels: vertices) en een verzameling E van bogen (Engels: edges). Hierbij is elke boog een (ongeordend) tweetal van knopen. Als {x,y} een boog is van G, dan zeggen we dat de twee knopen x en y verbonden zijn door deze boog. (Een knoop is dus niet verbonden met zichzelf.) Een wandeling in G is een eindige rij x 0,x 1,...,x k van knopen, waarbij elke knoop verbonden is met de volgende. Knoop x 0 is het begin, knoop x n is het einde en k is de lengte van de wandeling. Zij n een positief geheel getal. De padgraaf P n is de graaf met als knopen de elementen van {1,2,,n} waarbij twee getallen enkel verbonden zijn als ze opeenvolgend zijn. De padgraaf P 7 bijvoorbeeld kan als volgt worden voorgesteld: Figuur 1: De padgraaf P 7. Zij G een graaf met n knopen. We veronderstellen vanaf nu dat de knopen steeds genummerd zijn van 1 tot en met n. De bogenmatrix (Engels: adjacency matrix) van G is de n n matrix A waarbij { 1 als de knopen x en y verbonden zijn, a x,y = 0 anders. Bijvoorbeeld, de padgraaf P 7 heeft als bogenmatrix 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0. 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 Lemma 1. Zij G een graaf met n knopen en met bogenmatrix A. Zij k een positief geheel getal en stel B = A k. Dan is b x,y het aantal wandelingen met lengte k die beginnen in knoop x en eindigen in knoop y. Bewijs. We bewijzen met inductie op k. Het geval k = 1 klopt per definitie van de bogenmatrix. De unieke wandeling met lengte 1 van knoop x naar knoop y bestaat immers enkel als x en y verbonden zijn. 2

Veronderstel nu dat het lemma geldig is voor k = l. Schrijf C = A l en beschouw B = A l+1 = C A. Per definitie van matrixvermenigvuldiging is b x,y = n c x,z a z,y. z=1 Hierbij is c x,z het aantal wandelingen met lengte l tussen x en z (inductiehypothese). Verder is a z,y gelijk aan 1 als knopen z en y verbonden zijn, en anders 0 (definitie bogenmatrix). Dus b x,y is de som van het aantal wandelingen van lengte l tussen knopen x en z over alle knopen z die met y verbonden zijn. Dit is het aantal wandelingen van lengte l + 1 tussen knopen x en y, gesommeerd over de voorlaatste knoop van de wandeling. Het lemma geldt dus ook voor k = l + 1. Met inductie is het lemma bewezen voor alle positieve gehele getallen k. 2 Een combinatorisch bewijs Stelling 2. Zij m een positief geheel getal, n = 2 m 1 en k n een natuurlijk getal. Zij x en y twee knopen van de padgraaf P n. Dan is het aantal wandelingen in P n met lengte k van x naar y even. Bewijs. We geven een bewijs met inductie op m. Het gevaal m = 1 (en dus n = 1) is triviaal, want er is geen enkele wandeling met positieve lengte in P 1. Veronderstel dus dat de stelling waar is voor m = l, en beschouw n = 2 l+1 1 en k 2 l+1 1. Zij x en y twee knopen van P n. We verdelen de wandelingen met lengte k van x naar y in drie klassen: Klasse 1: de wandelingen die nooit in 2 l komen. Klasse 2: de wandelingen die juist één keer in 2 l komen. Klasse 3: de wandelingen die minstens twee keer in 2 l komen. We zullen bewijzen dat elk van deze drie klassen een even aantal wandelingen bevat, waaruit onmiddellijk volgt dat de stelling ook geldt voor m = l + 1. Essentieel voor het toepassing van de inductiehypothese, is het feit dat de delen van P 2 l+1 1 aan de linker- en aan de rechterkant van 2 l, isomorf zijn met P 2 l 1. De wandelingen in P 2 l+1 1 die volledig links (resp. rechts) liggen van 2 l komen dus overeen met wandelingen in P 2 l 1. De drie gevallen worden in Figuur 2 samengevat. Klasse 1: Als x en y langs verschillende kanten van 2 l liggen, zijn er geen wandelingen in deze klasse. Als x en y aan dezelfde kant van 2 l liggen, dan zijn de wandelingen in deze klasse juist de wandelingen van lengte 3

Klasse 1 Klasse 2 Klasse 3 Spiegeling Inductiehypothese Inductiehypothese Figuur 2: Een illustratie van hoe de pariteit van het aantal wandelingen in elk van de drie klassen geteld wordt. Hier is m = 3, n = 7, k = 7, x = 3 en y = 2. k tussen x en y in het deel van P 2 l+1 1 dat aan die kant van 2l ligt. Deze deelgraaf is isomorf met P 2 l 1, dus per inductiehypothses is dit aantal wandelingen even. Klasse 2: We beweren dat voor elke i {0,1,2,,k} er in deze klasse een even aantal wandelingen is die juist na i stappen in 2 l komen. Een dergelijke wandeling x,a 1,,a i 1,2 l,a i+1,,a k 1,y wordt bepaald door twee deelwandelingen, elk volledig aan een bepaalde kant van 2 l : een wandeling met lengte i 1 van x naar a i1 en een wandeling met lengte k i 1 van a i+1 naar y. (Als i = 0 of i = k wordt de wandeling volledig bepaald door één zo n deelwandeling met lengte k 1.) Omdat k 2 l+1 1 is ofwel ofwel i 1 2 l 1 k i 1 2 l 1. Door de inductiehypothese kan een van de deelwandelingen dus op een even aantal manieren gekozen worden, zodat ook het totaal aantal wandelingen even is. Klasse 3: Bij de wandelingen in deze klasse kunnen we de deelwandeling tussen de eerste twee voorkomens van 2 l spiegelen. Spiegelen wil zeggen: elk stap naar rechts (van i naar i + 1) wordt vervangen door een stap naar links (van i naar i 1) en vice versa. Het resultaat is een andere wandeling in deze klasse. Het twee maal toepassen van deze operatie geeft bovendien terug de oorspronkelijke wandeling. Bijgevolg kunnen we de wandelingen in deze klasse opsplitsen in groepjes 4

van twee (een wandeling samen met zijn spiegelbeeld) en is het aantal wandelingen in deze klasse dus even. Door volledige inductie is de stelling dus geldig voor alle positieve gehele getallen m, zoals gevraagd. Merk op dat de ongelijkheid k n optimaal is. Er is immers slechts één wandeling in P n met lengte n 1 van knoop 1 naar knoop n. Merk ook op dat het niet mogelijk is om simpelweg te kijken we naar de eerste knoop x met maximale 2-exponent (dat is de exponent van 2 in de priemfactorisatie) die minstens twee keer voorkomt in de wandeling, en de deelwandeling tussen de eerste twee voorkomens van x te spiegelen. Op die manier blijft x weliswaar de eerste knoop met maximale 2-exponent die twee keer bezocht wordt in de resulterende wandeling, zodat twee keer spiegelen ons inderdaad terugbrengt naar de originele wandeling. Maar de spiegeling is niet altijd goed gedefinieerd, zoals Figuur 3 aantoont. Het bovenstaande bewijs lost dit probleem op door de wandeling in twee te splitsen waar de wandeling 4 bezoekt, waarbij ook de deelwandeling die we in Figuur 3 probeerden te spiegelen, gesplitst wordt (zie het middelste voorbeeld in Figuur 2). Figuur 3: Hoe een naïeve methode fout loopt. Het middelste voorbeeld van Figuur 2 illustreert hoe het bewijs dit geval correct behandelt. De oplossing voor de LIMO-vraag volgt nu onmiddellijk. Gevolg 3. Zij m een positief geheel getal en n = 2 m 1. De n n matrix A = (a i,j ) over Z/2Z is gegeven door a i,j = 1 als i j = 1 en a i,j = 0 anders. Dan is A n = 0. Bewijs. De matrix A is de bogenmatrix van P n. Schrijf B = A n. Volgens Lemma 1 en aangezien we over Z/2Z werken, is b x,y de pariteit van het aantal wandelingen met lengte n van x naar y in P n. Dit aantal is even volgens de bovenstaande stelling, dus b x,y = 0 voor alle x,y. Bijgevolg is A n = B = 0, zoals gevraagd. 5

Referenties [1] Limo 2010. Website. http://limo.a-eskwadraat.nl/. [2] Limo 2010 uitwerkingen. Beschikbaar op http://limo.a-eskwadraat.nl/oudeopgaven/limo2010opl.pdf. 6