Matematyka dyskretna .

Przykładowe pytania egzaminacyjne

(Część teoretyczna).

!. Podaj definicję relacji równoważności i relacji częściowego porządku. Podaj przykłady

grafów takich relacji w zbiorze {1, 2, 3, 4, 5}.

Relacja równoważności to każda relacja, która jest jednocześnie zwrotna, symetryczna i

przechodnia:

Relację dwuczłonową nazywamy relacją równoważności gdy zachodzi:

(zwrotność),
(symetryczność),
(przechodniość).
Relację równoważności zapisuje się zwykle albo . Dwa elementy (gdzie X
jest zbiorem na którym określono tą relację) takie, że nazywamy równoważnymi.
Relacja równoważności określona na danym zbiorze wyznacza podział tego zbioru na tak
zwane klasy abstrakcji (klasy równoważności) i w dalszej konsekwencji tak zwaną przestrzeń
ilorazową tej relacji. Relacje równoważności wykorzystuje się np. przy definiowaniu liczb
całkowitych, wymiernych, rzeczywistych.
Relacja częściowego porządku to każda relacja, która jest jednocześnie zwrotna,
antysymetryczna i przechodnia:

Relację dwuczłonową nazywamy relacją równoważności gdy zachodzi:

(zwrotność),
(antysymetryczność),
(przechodniość).
2

1 3

5 4

2. Podaj definicję potęgi ubywającej i potęgi przyrastającej. Podaj tożsamość wiążącą te

dwie potęgi. Ile różnych słów czteroliterowych można utworzyć z liter: a, b, c, d, e, f, jeśli
litery nie mogą się powtarzać?

Def.
Potęgę ubywającą stosujemy w celu obliczenia ilości permutacji (n!)
Potęga ubywająca: mn=m*(m-1)*…*(m-n+1)
m0=1
n!=nn=n*(n-1)*…*1

Def.
Potęgę przyrastającą stosujemy w przypadku liczenia rozmieszczeń uporządkowanych.
Potęga przyrastająca: m n = m * (m + 1) * ... * (m + n − 1)

Mamy 6 liter i 4 miejsca do obsadzenia nimi przy założeniu że litery się nie mogą powtarzać
będzie to zatem na pewno potęga ubywająca:
64 = 6*5*4*3=360
Odp. Z 6 liter możemy utworzyć 360 słów 4-literowych w których litery się nie powtarzają.

3. Podaj wzór na (x + y)5.

( x + y ) 5 = 
5  5  5 4 1  5  3 2  5 2 3  5  1 4  5 5
 x +   x y +   x y +   x y +   x y +   y
 0 1   2  3  4  5

4. Ile jest podzbiorów zbioru dziewięcioelementowego?. Ile jest podzbiorów zbioru

dziewięcioelementowego, które zawierają: 5 elementów? 4 elementy?

95=9*9*9*9=6561
94=729

5. Ile wszystkich podzbiorów ma zbiór z powtórzeniami X = < 4*a, 3*b, 5*c > ? Ile ma
podzbiorów trzyelementowych? Napisz funkcję tworzącą odpowiadającą ilościom
podzbiorów tego zbioru.

f(z)=(1+z1+z2+z3+z4) * (1+z1+z2+z3) * (1+z1+z2+z3+z4+z5)=

=(1+z1+z2+z3+z4+z1+z2+z3+z4+z5+z2+z3+z4+z5+z6+ z3+z4+z5+z6+z7)*(1+z1+z2+z3+z4+z5)=
=(1+2z1+3z2+4z3+4z4+3z5+2z6+z7)*(1+z1+z2+z3+z4+z5)=
=(1+2z1+3z2+4z3+4z4+3z5+2z6+z7+ z1+2z2+3z3+4z4+4z5+3z6+2z7+z8+
+z2+2z3+3z4+4z5+4z6+3z7+2z8+z9+ z3+2z4+3z5+4z6+4z7+3z8+2z9+z10+
z4+2z5+3z6+4z7+4z8+3z9+2z10+z11+ z5+2z6+3z7+4z8+4z9+3z10+2z11+z12)=
=1+3z1+6z2+10z3+14z4+17z5+18z6+17z7+14z8+10z9+6z10+3z11+z12

Odp: 10 podzbiorów 3-elementowych

6. Podaj zasadę włączania i wyłączania dla trzech zbiorów.

|A∪B∪C|=|A|+|B|+|C|-|A∩B|-|A∩C|-|B∩C|+|A∩B∩C|

D.
|A∪B∪C|=|A∪B|+|C|-|(A∩B)∩C|=|A|+|B|-|A∩B|+|C|-|(A∪B)∩C|=
=|A|+|B|-|A∩B|+|C|-|(A∩C) ∪(B∩C)|=|A|+|B|-|A∩B|+|C|-[|A∩C|+|B∩C|+|A∩B∩C|]

7. Podaj po dwa różne przykłady grafów skierowanych i nieskierowanych o czterech

wierzchołkach. Podaj ich macierze sąsiedztwa.
X = {1,2, 3, 4}
Macierz sasiedztwa grafu skierowanego
2 3 4 5 6 7 d+ ( i)
2 0 1 0 1 0 1 3
3 0 0 1 0 0 1 2
4 0 0 0 1 0 0 1
5 0 0 0 0 1 0 1 2 3

6 0 0 0 0 0 1 1
7 0 0 0 0 0 0 0 1 4
Σ d+ ( i) = 8
d − (i ) = 0 1 1 2 1 3=8
Σ d + (i ) = Σ d − (i ) = 8 = suma łuków

8. Sformułuj podstawową nierówność teorii grafów. Zilustruj

2 ją przykładem
3 drzewa o pięciu
wierzchołkach i grafu pełnego K5

1 4

9. Dla grafu pełnego K5 sprawdź czy a) jest on eulerowski (semieulerowski) b) spelnia

warunki Ore’a, Diraca i krawedziowy na istnienie cyklu Hamiltona c) czy jest
hamiltonowski.

10. Podaj przykład grafu skierowanego, który jest spójny, ale nie jest silnie spójny.

W powyższym grafie istnieje droga Eulera, zatem jest to graf 2

sem-eulerowski, a zatem jest on spójny i nie jest silnie spójny, gdyż
grafem silnie spójnym jest graf eulerowski, czyli takim w którym istnieje 1 3
cykl Eulera.

5 4