Dat kan allemaal wel wat eenvoudiger dan met tekeningetjes (sowieso gevaarlijk om plaatjes als bewijs op te voeren).quote:Op woensdag 19 november 2008 20:43 schreef Borizzz het volgende:
Ik ben op zoek naar een grafentheoretisch bewijs. Ik zit er nu enkele dagen op te staren maar ik kan het nog niet oplossen. Het gaat over "bomen".
Een boom heeft 2 punten met graad 3. Bewijs dat de boom minstens 4 punten van graad 1 heeft.
Als ik dit ga tekenen, 2 punten met graad 3 dmv een brug aan elkaar verbinden, en dan de andere 4 punten een eindpunt laten worden dan is dit direct duidelijk; maar een bewijs is dit nog niet.
Wie kan helpen?
Ik vind grafentheorie wel bij uitstek geschikt om plaatjes te maken. Jouw bewijs klopt natuurlijk (en is tamelijk elegant), maar als je het plaatje maakt zie je dat je die 2e - d + 4 krijgt vanwege de structuur van de graaf waarbij je altijd vier losse subboompjes hebt die vroeg of laat op een punt van graad 1 moeten uitkomen. Ook dat is niet helemaal mooi verwoord.quote:Op woensdag 19 november 2008 21:47 schreef thabit het volgende:
Dat kan allemaal wel wat eenvoudiger dan met tekeningetjes (sowieso gevaarlijk om plaatjes als bewijs op te voeren).
Ik zie geen tegenstelling. Plaatjes zijn uitermate geschikt om inzicht te krijgen maar in bewijzen moet je ze mijden.quote:Op woensdag 19 november 2008 21:54 schreef Iblis het volgende:
[..]
Ik vind grafentheorie wel bij uitstek geschikt om plaatjes te maken. Jouw bewijs klopt natuurlijk (en is tamelijk elegant), maar als je het plaatje maakt zie je dat je die 2e - d + 4 krijgt vanwege de structuur van de graaf waarbij je altijd vier losse subboompjes hebt die vroeg of laat op een punt van graad 1 moeten uitkomen. Ook dat is niet helemaal mooi verwoord.Maar enfin.
Als je begint dan zul je al wel zien dat er vanzelf types ontstaan. Je kunt een simpel pad hebben; je kunt een ster hebben; (maximaal graad 4 van 1 knoop) en je kunt een knoop met graad 3 hebben. Dan ben je al een aardig eindje op weg. Want hoe je graaf ook tekent, alle knopen zijn in principe symmetrisch.quote:Op donderdag 20 november 2008 15:10 schreef Borizzz het volgende:
Hoe kan ik het aantal opspannende bomen van K5 vinden? Er zijn er teveel om zo te tekenen en ik moet onderscheid maken in 3 typen bomen. Hoe werkt dit en hoe komt ik dan aan het aantal opspannende bomen per type boom? De stelling van Cayley mag ik niet gebruiken hierbij...
Verdraaid lastig.
Maar het maakt (voor een gelabelde graaf!) uit welk punt in het midden zit. De 'volgorde' van de punten van de ster is er niet. Maar:quote:Op donderdag 20 november 2008 16:11 schreef Borizzz het volgende:
Oke, dus kijken naar de graden van een aantal punten.
Mooi dat had ik nog niet eens gezien.
Dan verder: bijvoorbeeld de ster: 1 punt met graad 4, en 4 punten met graad 1. Als ik van deze boom uitga, dan is er toch maximaal 1 opspannende boom, nl de ster zelf?
K5 moet 125 opspannende bomen hebben en er zijn 3 types. Ik kom daar al tellend nooit op uit.
(doel is dit toepassen op K6, maar ik probeer eerst de manier te leren dmv K5).
1 2 3 4 5 | | | | b-c-d d-c-e b-d-c | | | e a e |
Type 2 is b.v.:quote:Op donderdag 20 november 2008 16:38 schreef Borizzz het volgende:
Ja ik weet; maar ik heb geen idee hoe ik bijv. het aatal bomen van bijv. type 2 anders zou kunnen vinden.
1 |
1 |
Ja. Als je het berekent kun je stellen: Je hebt (5 boven 2) = 10 keuzes voor de uiteinden en dan 3! = 6voor erbinnenin, dat geeft 10 * 6 = 60. Of je hebt 5! voor het geheel, maar omdat het niet uitmaakt wat je als voor of achteraan beschouwt tel je ze dubbel, ofwel 120/2 = 60.quote:Op donderdag 20 november 2008 17:06 schreef Borizzz het volgende:
Oke, met AB, AC, AD, AE, BC, BD, BE, CD, CE en DE als uiteinden. Dit levert 10x6=60 verschillende mogelijkheden voor type 2.
Type 1 had er 5. dus voor type 1 en 2 samen 65. Klopt dit.
Gewoon tekenen. Je bent al begonnen met een punt met graad 5, dat is zoiets:quote:Op donderdag 20 november 2008 17:48 schreef Borizzz het volgende:
[ afbeelding ]
Maar idd er zit een cykel in. Niet bij stilgestaan.
Maar op welke systematische manier krijg ik dan alle typen van K6 wel bij elkaar?
1 2 3 4 5 | \ / d /|\ a b c |
1 2 3 4 5 | \ / d / \ a c |
1 2 3 4 5 6 7 | | b-c-d | e | f |
Forum Opties | |
---|---|
Forumhop: | |
Hop naar: |