Matematyka dyskretna 2/Test 2: Porządki Częściowe i twierdzenie Dilworth'a

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Relacja podzielności określona jako

xy wtw z  xz=y

jest relacją częściowego porządku w zbiorze:

liczb rzeczywistych

liczb wymiernych

liczb całkowitych

liczb naturalnych

liczb naturalnych nieparzystych


Relacja podzielności jest relacją liniowego porządku w zbiorze:

liczb naturalnych będących potęgami liczby 2

liczb naturalnych będących potęgami liczby 6

liczb naturalnych będących potęgami liczby 2 lub 6

liczb naturalnych będących równocześnie potęgami liczby 2 i 6

{0,1}


Relacja inkluzji jest relacją częściowego porządku w zbiorze:

w zbiorze wszystkich podzbiorów zbioru liczb rzeczywistych

w zbiorze wszystkich podzbiorów zbioru liczb wymiernych

w zbiorze wszystkich podzbiorów zbioru liczb całkowitych postaci [k,k]

w zbiorze wszystkich podzbiorów zbioru liczb całkowitych postaci [k,l]

w zbiorze wszystkich podzbiorów zbioru liczb naturalnych


Relacja inkluzji jest relacją liniowego porządku w zbiorze:

w zbiorze wszystkich podzbiorów zbioru liczb całkowitych postaci [0,k]

w zbiorze wszystkich podzbiorów zbioru liczb całkowitych

w zbiorze wszystkich podzbiorów zbioru liczb całkowitych postaci [k,k]

w zbiorze wszystkich podzbiorów zbioru liczb całkowitych postaci [k,l]

w zbiorze wszystkich podzbiorów zbioru {0,1}


Wiedząc, że R,SA×A są relacjami częściowego porządku na zbiorze A zaznacz prawdziwe zależności:

RS jest relacją częściowego porządku na zbiorze A

RS jest relacją częściowego porządku na zbiorze A

RS jest relacją częściowego porządku na zbiorze A

RR=R

R=R


Zaznacz zdania prawdziwe:

W skończonym zbiorze częściowo uporządkowanym istnieje co najmniej jeden element minimalny.

Jeśli w zbiorze częściowo uporządkowanym jest element najmniejszy, to jest on jedynym elementem minimalnym.

W zbiorze liniowo uporządkowanym element minimalny o ile istnieje, jest elementem najmniejszym.

W zbiorze liniowo uporządkowanym nie każdy skończony niepusty podzbiór ma element najmniejszy i największy.

W zbiorze częściowo uporządkowanym każdy skończony niepusty podzbiór ma elementy minimalne i maksymalne.


Zaznacz zdania prawdziwe:

Porządek produktowy porządków liniowych jest zawsze porządkiem liniowym.

Każdy zbiór ograniczony z góry i z dołu ma kresy.

Elementów minimalnych może w zbiorze uporządkowanym nie być wcale.

Kres górny w zbiorze uporządkowanym i ograniczenie górne - to to samo.

Porządek leksykograficzny jest zawsze liniowy.


Zaznacz zdania prawdziwe:

Każda relacja równoważności jest relacją symetryczną.

Suma dowolnej rodziny relacji zwrotnych jest zwrotna.

Relacja porządku nie musi być relacją zwrotną.

Każda relacja przechodnia i zwrotna jest relacją

symetryczną.

Relacja porządku musi być relacją symetryczną.


Zaznacz zdania prawdziwe:

Każdy zbiór jednoelementowy jest łańcuchem.

W łańcuchu każde dwa elementy są porównywalne.

Łańcuch jest zbiorem liniowo uporządkowanym.

Relacja częściowego porządku jest spójna.

Jeśli relacja R porządkuje częściowo zbiór X, to relacja R1 też częściowo porządkuje zbiór X.


Rozważamy zbiór T={2,3,4,5,...13,14,15} z relacją podzielności ograniczoną do elementów zbioru T. Zaznacz zdania prawdziwe:

W zbiorze tym są dokładnie trzy łańcuchy trzyelementowe.

W zbiorze tym są dokładnie cztery łańcuchy trzyelementowe.

W zbiorze tym nie ma łańcuchów trzyelementowych.

Między innymi 3 i 7 są elementami minimalnymi.

Między innymi 9 i 15 są elementami maksymalnymi.


Zaznacz zbiory częściowo uporządkowane:

(n,1) , gdzie x1y w.t.w. x+1=ymodn .

𝐆=(V,E) , gdzie Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \mathbf{G}={\sf TC}\left( \mathbf{H} \right)\cup\left\lbrace \left( x,x \right):x\in V \right\rbrace } , gdzie H jest prostym acyklicznym grafem skierowanym.

(,) , gdzie x1y w.t.w. istnieje a takie, że x+a=y .

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left( \mathscr{G},\leq_2 \right) } , gdzie Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \mathscr{G} } jest rodziną wszystkich skończonych nieizomorficznych grafów, zaś 𝐆2𝐇 w.t.w. w grafie 𝐇 istnie podgraf homeomorficzny do grafu 𝐆 .


Zaznacz zdania poprawnie opisujące zbiór X będący równocześnie łańcuchem oraz antyłańcuchem w zbiorze częściowo uporządkowanym:

Nie istnieje taki zbiór X .

Zbiór X jest pusty.

Zbiór X jest co najwyżej jednoelementowy.

Zbiór X jest co najwyżej dwuelementowy.


Jeśli A jest maksymalnym antyłańcuchem w posecie 𝐏=(P,) , to:

dowolny element pP jest porównywalny z którymś elementem aA , czyli pa lub ap

jeśli CP jest łańcuchem o maksymalnym rozmiarze, to CA

istnieje łańcuch CP o maksymalnym rozmiarze taki, że CA

poset 𝐏A jest szerokości co najwyżej Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf width}\!\left( \mathbf{P} \right)-1 }


Jeśli poset 𝐏 ma szerokość Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf width}\!\left( \mathbf{P} \right)=10 } , to:

najliczniejszy łańcuch w posecie 𝐏 ma 10 elementów

najliczniejszy antyłańcuch w posecie 𝐏 ma 10 elementów

da się pokryć 10 antyłańcuchami

da się pokryć 10 łańcuchami


Jeśli poset 𝐏 ma szerokość Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle {\sf width}\!\left( \mathbf{P} \right)=11 } , a każdy jego łańcuch ma co najwyżej 9 elementów, to:

poset 𝐏 ma co najwyżej 99 elementów

poset 𝐏 ma co najwyżej 100 elementów

poset 𝐏 ma co najmniej 19 elementów

poset 𝐏 ma co najmniej 20 elementów


Każdy 100 -elementowy ciąg liczb rzeczywistych zawiera:

11 -elementowy podciąg niemalejący lub 11 -elementowy podciąg malejący

10 -elementowy podciąg niemalejący lub 12 -elementowy podciąg malejący

10 -elementowy podciąg niemalejący lub 10 -elementowy podciąg malejący

żadna z pozostałych odpowiedzi nie jest poprawna


Jeśli X jest zbiorem 10 -elementowym, to:

poset Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left( \mathscr{P}\!\left( X \right),\subseteq \right) } ma szerokość 252

poset Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left( \mathscr{P}\!\left( X \right),\subseteq \right) } ma szerokość 210

poset Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left( \mathscr{P}\!\left( X \right),\subseteq \right) } ma wysokość 11

poset Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left( \mathscr{P}\!\left( X \right),\subseteq \right) } ma wysokość 10


Jeśli Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \mathscr{R} } jest zbiorem wszystkich relacji równoważności na 10 -elementowym zbiorze X , to:

para Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left( \mathscr{R},\subseteq \right) } jest zbiorem częściowo uporządkowanym

para Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left( \mathscr{R},\subseteq \right) } jest kratą

para Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left( \mathscr{R},\subseteq \right) } jest zbiorem częściowo uporządkowanym o szerokości mniejszej niż szerokość posetu Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left( \mathscr{P}\!\left( X \right),\subseteq \right) }

Żadna z pozostałych odpowiedzi nie jest prawdziwa.