Matematyka dyskretna 2/Test 3: Własności podziałowe i Twierdzenie Ramsey'a
Komoda ma szuflad. Pierwsza jest w stanie pomieścić koszulę, druga i w ogólności -ta szuflada jest w stanie pomieścić koszul. Do przechowania jest 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 wierzchołkach zawiera jako podgraf indukowany:
klikę lub antyklikę
klikę lub antyklikę
klikę lub antyklikę
klikę lub antyklikę
Jeśli graf ma nieskończenie wiele wierzchołków, to:
istnieje liczba naturalna taka, że graf zawiera jako podgraf indukowany klikę lub antyklikę
dla dowolnej liczby naturalnej graf zawiera jako podgraf indukowany klikę lub antyklikę
dla dowolnej liczby naturalnej graf zawiera jako podgraf indukowany klikę oraz antyklikę
graf zawiera jako podgraf indukowany przeliczalną klikę lub przeliczalną antyklikę
Dla dowolnych istnieje liczba taka, że:
dla każdego zbioru o co najmniej 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 -elementowy podzbiór zbioru 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
dla każdego zbioru o co najmniej 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 -elementowy podzbiór zbioru 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
dla każdego zbioru o co najmniej 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 -elementowy podzbiór zbioru 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:
co najwyżej
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 } }