Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
Ahoj, mám toto zadání:
Na večírku je 25 lidí. Každá dvojice zná dohromady všech ostatních 23 lidí. Lze tyto lidi rozesadit kolem kulatého stolu tak, že každý sedí mezi svými známými? POZOR! Zde chápeme relaci "býti známý s" jako symetrickou relaci, tedy zná-li se x s y, tak y se zná s x.
Návod: Ke každé takové situaci umíte sestavit graf, kde vrcholy jsou jednotliví lidé na večírku a hrana mezi vrcholy x a y je přesně tehdy, když x zná y. Máte ukázat, že každý takový graf obsahuje cyklus, který prochází všemi vrcholy grafu.
Avšak zasekl jsem se hned na začátku:
Děkuji za pomoc
Offline

Ukažme, že pokud máme k>3 lidí, z nichž každá dvojice zná zbylých k-2 lidí, lze je posadit podle zadání.
Pro k=4 rozebereme několik možností, nějak nám to musí vyjít (pokud má graf pět nebo šest hran, jsme hotovi; pokud jednu až tři, nemůže splnit zadání; pokud čtyři, je potřeba rozebrat několik možnstí).
Nechť to platí pro k=n a ukažme to pro n+1. Dle indukčního předpokladu můžeme prvních n lidí rozesadit správným způsobem, zbude nám Karel. Mezi sedícími vyberu dva, jeden z nich (pojmenujme ho Petr) zná Karla. Vedle Petra sedí Martin a Honza, jeden z nich určitě taky zná Karla. Pokud zná Karla Honza, posadíme Karla mezi Honzu a Petra. V opačném případě Karla posadíme mezi Petra a Martina.
To co chceme získáme dosazením za k=25.
Offline
↑ Kondr:
Chtěl bych se zeptat na toto tvrzení:Vedle Petra sedí Martin a Honza, jeden z nich určitě taky zná Karla. Jak si přišel na to, že jeden z nich zná určitě Karla? A ještě píšeš, že to co chceme získáme dosazením za k=25, myslím si, že to ale není nutné, když dokážu, že lze dosadit správně Karla.
Offline
Taky by me zajimalo proc plati tohle...
"Vedle Petra sedí Martin a Honza, jeden z nich určitě taky zná Karla."
Mohl by mi nekdo prosim ukazat, jak by teda ten graf mel vypadat a z ceho vyplyva, ze ty lidi tak muzu rozesadit? Diky moc, matika neni moje nejsilnejsi stranka, tak sry :(
Offline

↑ Zett:Každá dvojice, a tedy i Martin a Honza, znají dohromady všech k-2 lidí. Proto znají dohromady (tzn. alepoň jeden z nich) i Karla.
Offline

↑ mexx:Když jsme to dokázali pro obecné k, platí to i pro k=25.
Ta situace, že někdo nikoho nezná, nastat nemůže. Když vyberu dva lidi, tak jeden z nich zná jeho, takže on zná jednoho z nich (to je ta symetrie).
Offline
↑ Kondr:
Jasne, ale porad nechapu proc to nejde pro 3 lidi? Kdyz vyberu libovolne dva, tak dohromady musi znat zbytek lidi (zbyva pouze jeden, a toho znaji oba dva).
A----B A----D A B C D z te tabulky vidim kdo se s kym zna
| | | | -------------------- (A se zna s B a s D)
D----C B----C B A B A
D C D C
D----A D----C
| | | |
C----B A----B
C----D C----B
| | | |
B----A D----A
B----C B----A
| | | |
A----D C----D
Kdyz vemu 4 lidi, je 8 moznosti jak je mohu rozesadit?
"Pro k=4 rozebereme několik možností, nějak nám to musí vyjít "
tady porad nechapu co se po me chce :D
Offline

Pro 3 lidi narazíme. Graf známostí může vypadat takto:
Petr------Karel-------Honza
Petr s Karlem znají honzu, Honza s Karlem Petra, Petr s Honzou Karla, ale Honza nikdy nebude sedět mezi známýma.
Co se týče čtyřky je potřeba to zdůvodnit pro všechny možnosti. Tzn. zdůvodnit, že tři hrany nestačí, pět hran vždy stačí a pro čtyři hrany jsou dva možné grafy (až na izomorfizmus)
o---o
| |
o---o
o
| \
o--o---o
Pro ten první vždy rozesazení provést jde, pro ten první není splněna podmínka, že každá dvojice zná všechny zbylé
Indukce je popsaná v ↑ Kondr:.
Pokud byste chtěli hledat cyklus v grafu, ukažte nejdřív, že každý vrchol má stupeň alespoň 23 (pro každého člověka existuje max. jeden jiný člověk, který ho nezná). Pak to nějak půjde, ale rozepisovat se mi to nechce.
Offline

↑ mexx:Přesněji řečeno chceme ukázat, že každý graf
* nesplňuje podmínku, že každá dvojice dohromady zná zbytek
nebo
* lze ty lidi rozsadit kolem kruhového stolu.
Když nám protivník dá graf, tak ho musíme být schopni zařadit do jedné z těchto škatulek.
Díky indukčnímu kroku nám to stačí ukázat pro grafy na čtyřech vrcholech. A nenašl jsem elegantnější způsob, než si nakreslit všechny grafy na 4 vrcholech a ukázat, že každý patří do jedné škatulky.
Offline

↑ mexx:Dvojice zná podle zadání *alspoň* dva, v tom problém není. Máš pravdu v tom, že tento graf nevyhoví zadání, protože A a C dohromady neznají B.
Offline