Matematyka dyskretna 2/Test 3: Własności podziałowe i Twierdzenie Ramsey'a

Z Studia Informatyczne
Wersja z dnia 17:46, 19 wrz 2006 autorstwa Rogoda (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Komoda ma 10 szuflad. Pierwsza jest w stanie pomieścić 1 koszulę, druga 2 i w ogólności i -ta szuflada jest w stanie pomieścić i koszul. Do przechowania jest 46 koszul. Wtedy:

nie da się pomieścić wszystkich koszul w komodzie

wszystkie szuflady będą w pełni zapełnione

co najmniej jedna z szuflad będzie w pełni zapełniona

któraś szuflada może być pusta


Graf o 524288 wierzchołkach zawiera jako podgraf indukowany:

klikę 𝒦9 lub antyklikę 𝒜9

klikę 𝒦10 lub antyklikę 𝒜10

klikę 𝒦512 lub antyklikę 𝒜512

klikę 𝒦1024 lub antyklikę 𝒜1024


Jeśli graf 𝐆 ma nieskończenie wiele wierzchołków, to:

istnieje liczba naturalna n taka, że graf 𝐆 zawiera jako podgraf indukowany klikę 𝒦n lub antyklikę 𝒜n

dla dowolnej liczby naturalnej n graf 𝐆 zawiera jako podgraf indukowany klikę 𝒦n lub antyklikę 𝒜n

dla dowolnej liczby naturalnej n graf 𝐆 zawiera jako podgraf indukowany klikę 𝒦n oraz antyklikę 𝒜n

graf 𝐆 zawiera jako podgraf indukowany przeliczalną klikę 𝒦 lub przeliczalną antyklikę 𝒜


Dla dowolnych n,m,p istnieje liczba q taka, że:

dla każdego zbioru X o co najmniej q elementach i dowolnego rozbicia Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \mathscr{P}_{n}\!\left( X \right)=\mathscr{A}_1\cup\ldots\cup\mathscr{A}_m } , istnieje p -elementowy podzbiór Y zbioru X taki, że Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \mathscr{P}_{n}\!\left( Y \right)\subseteq \mathscr{A}_i } przy pewnym i=1,,t

dla każdego zbioru X o co najmniej n elementach i dowolnego rozbicia Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \mathscr{P}_{r}\!\left( X \right)=\mathscr{A}_1\cup\ldots\cup\mathscr{A}_t } , istnieje q -elementowy podzbiór Y zbioru X taki, że Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \mathscr{P}_{r}\!\left( Y \right)\subseteq \mathscr{A}_i } przy pewnym i=1,,t

dla każdego zbioru X o co najmniej q elementach i dowolnego rozbicia Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \mathscr{P}_{n}\!\left( X \right)=\mathscr{A}_1\cup\ldots\cup\mathscr{A}_m } , istnieje q/m -elementowy podzbiór Y zbioru X taki, że Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \mathscr{P}_{n}\!\left( Y \right)\subseteq \mathscr{A}_p }

Żadna z pozostałych własności nie musi zachodzić


Liczba Ramseya Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf R}\!\left( 3,4 \right) } to:

6

9

14

co najwyżej 10


Liczba Ramseya Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf R}_{r}\!\left( 4,4 \right) } spełnia:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf R}_{r}\!\left( 4,4 \right)\leq {\sf R}_{{r-1}}\!\left( {\sf R}_{r}\!\left( 3,4 \right),{\sf R}_{r}\!\left( 4,3 \right) \right)+1 }

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf R}_{r}\!\left( 4,4 \right)\leq {\sf R}_{{r-1}}\!\left( {\sf R}_{r}\!\left( 3,4 \right),{\sf R}_{r}\!\left( 4,3 \right) \right) }

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf R}_{r}\!\left( 4,4 \right)\leq {\sf R}_{{r-1}}\!\left( {\sf R}_{r-1}\!\left( 3,4 \right),{\sf R}_{r-1}\!\left( 4,3 \right) \right)+1 }

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf R}_{r}\!\left( 4,4 \right)\leq {\sf R}_{{r-1}}\!\left( {\sf R}_{r-1}\!\left( 3,4 \right),{\sf R}_{r-1}\!\left( 4,3 \right) \right) }


Liczby Ramseya Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf R}\!\left( n,n \right) } spełniają:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle n2^{n/2}\left( \frac{1}{e\sqrt{2}}-{\sf o}\!\left( 1 \right) \right)\leq{\sf R}\!\left( n,n \right) }

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle n2^{2n}\left( \frac{1}{e\sqrt{2}}-{\sf o}\!\left( 1 \right) \right)\leq{\sf R}\!\left( n,n \right) }

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf R}\!\left( n,n \right)\geq { 2n-2 \choose n-1 } }

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf R}\!\left( n,n \right)\geq { 2n \choose n } }