Professional Documents
Culture Documents
DISKRETNE
MATEMATIQKE
STRUKTURE
zbirka ispitnih i domaih zadataka
iz 2008. i 2009.
BEOGRAD 2010.
Autor: mr Vladimir Balti,
51-74:004(075.8)
BALTI, Vladimir, 1973–
Diskretne matematiqke strukture / Vladimir
Balti. – Beograd : Fakultet organizacionih
nauka, 2010 (Smederevo : Newpress). – 182 str. :
graf. prikazi, tabele ; 24 cm. –
Tiraж 300. – Bibliografija: str. 181-182.
ISBN 978–86–7680–185–5
a) Diskretna matematika
COBISS.SR–ID 167436812
ISBN: 978–86–7680–185–5
Fakultet organizacionih nauka, 2010.
Tiraж: 300 primeraka
Xtampa: Newpress, Smederevo
Sadrжaj
PREDGOVOR 6
3. KOLOKVIJUMI 2008. 27
3.1. Probni prvi kolokvijum . . . . . . . . . . . . . . . . . . . . . . 27
3.2. Prvi kolokvijum 2008. . . . . . . . . . . . . . . . . . . . . . . . 28
3.3. Probni drugi kolokvijum . . . . . . . . . . . . . . . . . . . . . 32
3.4. Drugi kolokvijum 2008. . . . . . . . . . . . . . . . . . . . . . . 34
4. KOLOKVIJUMI 2009. 40
4.1. Prvi kolokvijum 2009. . . . . . . . . . . . . . . . . . . . . . . . 40
4.2. Drugi kolokvijum 2009. . . . . . . . . . . . . . . . . . . . . . . 44
3
4
7. REXEƫA ZADATAKA 77
7.1. Pismeni ispiti 2008-9. . . . . . . . . . . . . . . . . . . . . . . 77
Jun 2008. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
Septembar 2008. . . . . . . . . . . . . . . . . . . . . . . . . . . 83
Oktobar 2008. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
Oktobar II 2008. . . . . . . . . . . . . . . . . . . . . . . . . . . 91
Decembar 2008. . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
Januar 2009. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
April 2009. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Mart 2009. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
7.2. Pismeni ispiti 2009-10. . . . . . . . . . . . . . . . . . . . . . . 106
Jun 2009. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
Septembar 2009. . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Oktobar 2009. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
Oktobar II 2009. . . . . . . . . . . . . . . . . . . . . . . . . . . 122
Januar 2010. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
April 2010. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
7.3. Kolokvijumi 2008. . . . . . . . . . . . . . . . . . . . . . . . . . . 133
Probni prvi kolokvijum . . . . . . . . . . . . . . . . . . . . . . 133
Prvi kolokvijum 2008. . . . . . . . . . . . . . . . . . . . . . . . 135
Probni drugi kolokvijum . . . . . . . . . . . . . . . . . . . . . 151
Drugi kolokvijum 2008. . . . . . . . . . . . . . . . . . . . . . . 155
7.4. Kolokvijumi 2009. . . . . . . . . . . . . . . . . . . . . . . . . . . 162
Prvi kolokvijum 2009. . . . . . . . . . . . . . . . . . . . . . . . 162
Drugi kolokvijum 2009. . . . . . . . . . . . . . . . . . . . . . . 164
7.5. Domai zadaci 2008. . . . . . . . . . . . . . . . . . . . . . . . . 165
Iskazni raqun . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
Predikatski raqun . . . . . . . . . . . . . . . . . . . . . . . . . 172
Relacijske strukture . . . . . . . . . . . . . . . . . . . . . . . 172
Teorija grafova . . . . . . . . . . . . . . . . . . . . . . . . . . 172
Konaqni automati i formalne gramatike . . . . . . . . . . . 173
7.6. Domai zadaci 2009. . . . . . . . . . . . . . . . . . . . . . . . . 174
Iskazni raqun . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
Predikatski raqun . . . . . . . . . . . . . . . . . . . . . . . . . 174
Relacijske strukture . . . . . . . . . . . . . . . . . . . . . . . 174
Teorija grafova . . . . . . . . . . . . . . . . . . . . . . . . . . 175
Konaqni automati i formalne gramatike . . . . . . . . . . . 175
5
8. NAPOMENE 177
8.1. Iskazni raqun . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
8.2. Predikatski raqun . . . . . . . . . . . . . . . . . . . . . . . . . 177
8.3. Relacijske strukture . . . . . . . . . . . . . . . . . . . . . . . . 178
8.4. Teorija grafova . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
LITERATURA 181
6 PREDGOVOR
Predgovor
Objasniti strukturu ispita, kolokvijuma i domaih zadataka.
PROMENITI SVE STARE OZNAKE KOD AUTOMATA IZ 2008.
da bi bili usaglaxeni sa u
benikom!
PROMENITI DA SVE SLIKE izgledaju isto: qvorove oznaqiti
plavom bojom...
U zbirci su sve stare oznake za gramatiku, G = (N, Σ, P, S), koje su se
javƩale na ispitima tokom xkolske 2008-9. godine usaglaxene sa novim
oznakama, G = (N, T, Π, σ ∗ ), koje se koriste od 2009. godine (da bi zadaci
bili usaglaxeni sa u
benikom). Takoe, i praznu req vixe ne oznaqavamo
sa e nego sa ε.
Na pismenom ispitu i kolokvijumu svaki zadatak nosi 25 poena (sem
automata na II kolokvijumu koji nosi 35 poena). Vreme za izradu i pis-
menog ispita, kao i kolokvijuma iznosi 135 minuta (2 sata i 15 minuta
ili 3 xkolska qasa).
Domai zadaci:
Radite po jedan zadatak koji vam generixe program na osnovu bro-
ja indeksa (ostali zadaci mogu vam posluжiti za veжbu pri spremaƬu
kolokvijuma, odnosno pismenog dela ispita). Svaki zadatak nosi 2 poena
(mogue je dobiti i npr. 0.8 poena). Potrebno je detaƩno obrazloжiti
rexeƬa.
1.1. JUN 2008. 7
Grupa A
1. Ana, Beba, Cica i Daca su drugarice koji qesto izlaze zajedno u
poslastiqarnicu. Poznato je da svaka od Ƭih jede uvek isti kolaq i to
ili baklavu ili orasnicu (samo jedno od toga). U vezi toga koja od Ƭih
xta jede, poznati su sledei iskazi:
1◦ Ako Ana jede orasnice, onda Beba jede isti kolaq kao i Daca.
2◦ Ako Cica jede baklave, onda Ana i Beba jedu razliqite kolaqe.
3◦ Ako Cica i Daca jedu isti kolaq, onda Ana jede baklavu.
4. Nai konaqan automat koji prepoznaje neprazne reqi nad azbukom {a, b}
koje poqiƬu sa aab i sadrжe abb.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku (N, T, Π, σ ∗ ) koja odgovara optimalnom
automatu.
Grupa B
5. Ana, Beba, Cica i Daca su drugarice koji qesto izlaze zajedno u
poslastiqarnicu. Poznato je da svaka od Ƭih jede uvek isti kolaq i to
ili baklavu ili orasnicu (samo jedno od toga). U vezi toga koja od Ƭih
xta jede, poznati su sledei iskazi:
1◦ Ako Ana jede orasnice, onda Beba jede isti kolaq kao i Daca.
2◦ Ako Cica jede orasnice, onda Ana i Daca jedu razliqite kolaqe.
3◦ Ako Beba i Cica jedu razliqite kolaqe, onda Ana jede baklavu.
2 4
1 5
3 6
8. Nai konaqan automat koji prepoznaje neprazne reqi nad azbukom {a, b}
koje se zavrxavaju sa baa i ne sadrжe abb.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku (N, T, Π, σ ∗ ) koja odgovara optimalnom
automatu.
za interpretaciju D = N, α : = , f : mnoжeƬe, a : 1.
def
̺: x̺y ⇐⇒ x4 y 2 + y 2 = y 4 x2 + x2
u infiksnoj notaciji.
a) Odrediti binarno stablo T koje odgovara ovom izrazu. Kolika je visi-
na stabla T ? Odrediti nivo svakog lista u stablu T . Da li je stablo T
balansirano? Da li je stablo T potpuno binarno stablo?
b) Napisati u prefiksnoj i postfiksnoj (poƩskoj i inverznoj poƩskoj)
notaciji dati izraz.
v) Odrediti graf G koji se dobija od stabla T kada qvor koji odgovara
simbolu c spojimo granama sa qvorovima koji odgovaraju simbolima b,
zatim qvor koji odgovara simbolu e spojimo granama sa qvorovima koji
odgovaraju simbolima d i kada obrixemo qvor koji odgovara operaciji :
sa svim granama koje polaze iz tog qvora. Da li je graf G stablo?
g) Da li graf G ima Ojlerovu konturu, Ojlerov put, Hamiltonovu kon-
turu, Hamiltonov put?
Ukoliko je odgovor potvrdan navesti taj put, odnosno konturu.
12. Nai konaqan automat koji prepoznaje reqi nad azbukom {a, b} koje se
zavrxavaju sa bab i izmeu svaka dva slova a (ako postoje) se ne nalazi
taqno jedno slovo b.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku (N, T, Π, σ ∗ ) koja odgovara optimalnom
automatu.
na skupu R.
a) Da li je data relacija refleksivna, simetriqna, antisimetriqna,
tranzitivna?
b) Ispitati da li je to relacija ekvivalencije i/ili relacija poretka.
v) Ukoliko je to relacija ekvivalencije odrediti koliko elemenata imaju
klase ekvivalencije, a ukoliko je to relacija poretka odrediti najmaƬi
i najvei, kao i minimalni i maksimalni element (ako postoje) skupa
{−5, −2, 15 , 21 , 2}
1 2 3 4 5 6
1 0 1 0 1 0 0
2 1 0 1 0 1 0
A= 3 0 1 0 0 0 1
4 1 0 0 0 0 1
5 0 1 0 0 0 0
6 0 0 1 1 0 0
16. Nai konaqan automat koji prepoznaje neprazne reqi nad azbukom
{a, b} koje se zavrxavaju na aab i ne sadrжe abb.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku (N, T, Π, σ ∗ ) koja odgovara optimalnom
automatu.
12 1. PISMENI ISPITI 2008-9.
̺ = {(a, b) | (a − b) · (ab − 1) = 0}
20. Nai konaqan automat koji prepoznaje one reqi nad azbukom {a, b}
koje poqiƬu sa baba i sadrжe taqno tri a ili najmaƬe pet a i sadrжe
najmaƬe dva b.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku (N, T, Π, σ ∗ ) koja odgovara optimalnom
automatu.
1.6. JANUAR 2009. 13
24. Nai konaqan automat koji prepoznaje one reqi nad azbukom {a, b}
koje poqiƬu sa baba i sadrжe taqno tri b ili najmaƬe pet b i sadrжe
najmaƬe dva a.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku (N, T, Π, σ ∗ ) koja odgovara optimalnom
automatu.
14 1. PISMENI ISPITI 2008-9.
(A ∪ B) \ (C ∩ D) ⊆ (A \ B) ∪ (B \ C) ∩ D.
x̺y ⇔ xy 6 y 2
1 2 3 4 5 6
1 0 1 2 1 2 3
2 1 0 1 1 1 2
D= 3 2 1 0 2 1 1
4 1 1 2 0 2 3
5 2 1 1 2 0 1
6 3 2 1 3 1 0
28. Nai konaqan automat koji prepoznaje neprazne reqi nad azbukom
{a, b} koje poqiƬu sa aab i ne sadrжe aba.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku (N, T, Π, σ ∗ ) koja odgovara optimalnom
automatu.
1.7. APRIL 2009. 15
def
x̺y ⇐⇒ (x2 − y 2 )(x2 y 2 − 1) = 0
32. Nai konaqan automat koji prepoznaje one reqi nad azbukom {a, b}
koje poqiƬu sa ababa i sadrжe taqno dva b ili najmaƬe pet b i sadrжe
najmaƬe tri a.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku (N, T, Π, σ ∗ ) koja odgovara optimalnom
automatu.
(B ∩ D) ∩ (C \ A) ⊆ B \ (A ∩ D).
1 2 3 4 5 6
1 0 1 2 3 2 3
2 1 0 1 2 1 2
D= 3 2 1 0 2 1 1
4 3 2 2 0 1 2
5 2 1 1 1 0 1
6 3 2 1 2 1 0
36. Nai konaqan automat koji prepoznaje neprazne reqi nad azbukom
{a, b} koje poqiƬu sa bab i ne sadrжe abba.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku (N, T, Π, σ ∗ ) koja odgovara optimalnom
automatu.
18 2. PISMENI ISPITI 2009-10.
1 3 5 6 8 9 13 15 16 18
1 0 1 2 2 3 5 6 4 6 5
3 1 0 1 1 2 4 5 3 5 4
5 2 1 0 2 3 5 6 4 6 5
6 2 1 2 0 1 3 4 2 4 3
D= 8 3 2 3 1 0 2 3 1 3 2
9 5 4 5 3 2 0 1 1 3 2
13 6 5 6 4 3 1 0 2 4 3
15 4 3 4 2 1 1 2 0 2 1
16 6 5 6 4 3 3 4 2 0 1
18 5 4 5 3 2 2 3 1 1 0
40. Nai konaqan automat koji prepoznaje neprazne reqi nad azbukom
{a, b} koje poqiƬu sa bba i ne sadrжe paran broj slova a.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku G = (N, T, Π, σ ∗ ) koja odgovara opti-
malnom automatu.
20 2. PISMENI ISPITI 2009-10.
def
(a, b) ̺ (c, d) ⇐⇒ a·d=b·c
na skupu N × N.
a) Da li je data relacija refleksivna, simetriqna, antisimetriqna,
tranzitivna?
b) Ispitati da li je to relacija ekvivalencije i/ili relacija poretka.
v) Ukoliko je to relacija ekvivalencije odrediti klasu ekvivalencije
elementa (22, 8), a ukoliko je to relacija poretka odrediti najmaƬi i
najvei, kao i minimalni i maksimalni element (ako postoje) skupa N×N.
44. Nai konaqan automat koji prepoznaje reqi duжine vee od 2 nad
azbukom {a, b} koje imaju a na treoj poziciji od kraja.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku G = (N, T, Π, σ ∗ ) koja odgovara opti-
malnom automatu.
2.3. OKTOBAR 2009. 21
48. Nai konaqan automat koji prepoznaje neprazne reqi nad azbukom
{a, b} koje imaju 5k + 3, k ∈ N0 , simbola a i koje ne sadrжe req baba.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku G = (N, T, Π, σ ∗ ) koja odgovara opti-
malnom automatu.
2.4. OKTOBAR II 2009. 23
def
50. na skupu Z Data je relacija ̺: x̺y ⇐⇒ 2 | x · y.
a) Da li je data relacija refleksivna, simetriqna, antisimetriqna,
tranzitivna?
b) Ispitati da li je to relacija ekvivalencije i/ili relacija poretka.
v) Ukoliko je to relacija ekvivalencije odrediti klasu ekvivalencije
elemenata 0 i 8, a ukoliko je to relacija poretka odrediti najmaƬi i
najvei, kao i minimalni i maksimalni element (ako postoje) skupa N.
G1 G2 G3 G4
G5 G6 G7
Za SVAKI od tih grafova odrediti sledee:
b) Koliko ima qvorova i grana?
v) Xta je niz stepena qvorova?
g) Da li je povezan?
d) Da li ima Ojlerovu konturu, Ojlerov put, Hamiltonovu konturu,
Hamiltonov put?
Ukoliko je odgovor potvrdan navesti taj put, odnosno konturu.
) Kolika je duжina najkrae konture?
e) Da li je bipartitan?
24 2. PISMENI ISPITI 2009-10.
52. Nai konaqan automat koji prepoznaje neprazne reqi nad azbukom
{a, b} kojima je broj pojavƩivaƬa simbola b deƩiv sa 4 ili koje se ne
zavrxavaju na baa.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku G = (N, T, Π, σ ∗ ) koja odgovara opti-
malnom automatu.
za interpretaciju D = N, α : = , f : mnoжeƬe, a : 8.
54. Neka je dat skup A = {a, ab, bab, d, dac, dccab} i na Ƭemu relacije ̺1 , ̺2 ⊆
A2 su date sa
def
x ̺1 y ⇐⇒ reqi x i y su iste duжine,
def
x ̺2 y ⇐⇒ reqi x i y poqiƬu istim slovom.
56. Nai konaqan automat koji prepoznaje neprazne reqi nad azbukom
{a, b} koje imaju taqno 3k + 1 slova a (k ∈ N0 ) i ne poqiƬu sa baa.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku G = (N, Σ, P, S) koja odgovara optimal-
nom automatu.
za interpretaciju D = P(A), α : = , f : ∩ , a : ∅ .
58. Neka je dat skup A = {a, abbc, bab, daabcb, dacdb, dc} i na Ƭemu relacije
̺1 , ̺2 ⊆ A2 su date sa
def
x ̺1 y ⇐⇒ reqi x i y su iste duжine,
def
x ̺2 y ⇐⇒ reqi x i y poqiƬu istim slovom.
a b c d e f g h i j k
a 0 1 2 2 3 4 7 6 7 5 6
b 1 0 1 1 2 3 6 5 6 4 5
c 2 1 0 2 3 4 7 6 7 5 6
d 2 1 2 0 1 2 5 4 5 3 4
e 3 2 3 1 0 1 4 3 4 2 3
D=
f 4 3 4 2 1 0 3 2 3 1 2
g 7 6 7 5 4 3 0 1 2 2 3
h 6 5 6 4 3 2 1 0 1 1 2
i 7 6 7 5 4 3 2 1 0 2 3
j 5 4 5 3 2 1 2 1 2 0 1
k 6 5 6 4 3 2 3 2 3 1 0
60. Nai konaqan automat koji prepoznaje neprazne reqi nad azbukom
{a, b} koje nakon drugog pojavƩivaƬa slova a sadrжe bar jox 3 (bilo ko-
ja) slova.
a) Da li je dobijeni automat optimalan? Ako nije optimizovati ga.
b) Odrediti regularnu gramatiku G = (N, T, Π, σ ∗ ) koja odgovara opti-
malnom automatu.
3.2. Probni prvi kolokvijum 27
3. Kolokvijumi 2008.
• Ako je Milan dobio dobru ocenu, onda nije grexio ili su bili laki
zadaci i znao je sve formule.
(A \ B) ∪ (C \ D) ⊆ (A ∪ C) \ (B ∩ D).
za interpretaciju D = Z, α : = , f : mnoжeƬe, a : 0.
def
̺: x̺y ⇐⇒ 2|x·y
• Ceca: Ja nisam kriva, ali je ili Aca kriv ili je Duda kriva.
za interpretaciju D = P(A), α : = , f : ∪, a : ∅.
3.2. Prvi kolokvijum 2008. 29
Grupa B
69. Qetvoro prijateƩa Aca, Boki, Ceca i Duda su osumƬiqeni za ubis-
tvo. Mogue je da je vixe osoba istovremeno krivo za ubistvo. Pred
istraжnim sudijom oni su izjavili sledee:
• Aca: Ako Boki nije kriv, onda je Duda kriva.
• Boki: Ceca i Duda nisu krive.
• Ceca: Ja nisam kriva, a kriv je Boki.
• Duda: Ja nisam kriva, ali je Aca kriv.
Da li su ove qetiri izjave neprotivreqne? Ako svako govori istinu ko
je kriv?
(Ukoliko ima vixe moguih rexeƬa navesti ih sva!)
A \ (B \ C) = (A \ B) ∪ (A ∩ C).
za interpretaciju D = N, α : = , f : mnoжeƬe, a : 1.
30 3. KOLOKVIJUMI 2008.
̺ = {(1, 1), (1, 3), (1, 4), (2, 2), (2, 5), (3, 1), (3, 3), (3, 4), (4, 1), (4, 3), (4, 4), (5, 2), (5, 5)}
Grupa G
73. Qetvoro prijateƩa Aca, Boki, Ceca i Duda su osumƬiqeni za ubis-
tvo. Mogue je da je vixe osoba istovremeno krivo za ubistvo. Pred
istraжnim sudijom oni su izjavili sledee:
(A ∩ B) ∪ C = A ∩ (B ∪ C) ⇔ C ⊆ A.
̺ = {(a, a), (a, b), (a, d), (b, b), (c, a), (c, b), (c, c), (c, d), (c, e), (d, b), (d, d), (e, a), (e, b), (e, d), (e, e)}
Grupa D
77. Qetvoro prijateƩa Aca, Boki, Ceca i Duda su osumƬiqeni za ubis-
tvo. Mogue je da je vixe osoba istovremeno krivo za ubistvo. Pred
istraжnim sudijom oni su izjavili sledee:
• Duda: Ili je Aca kriv ili je Ceca kriva. Naravno, ja nisam kriva.
A ⊆ C ⇒ (A ∪ B) ∩ C = (A ∪ C) ∩ (A ∪ B).
za interpretaciju D = N, α : = , f : mnoжeƬe, a : 5.
32 3. KOLOKVIJUMI 2008.
2 3 4
a) Odrediti skup qvorova V i skup grana E.
b) Napisati matricu susedstva A, matricu incidencije qvorova i grana
R i matricu rastojaƬa D.
v) Da li je graf G povezan?
g) Izraqunati matrice A2 i A3 . Koje zakƩuqke moжemo izvui iz ovih
matrica?
3.4. Drugi kolokvijum 2008. 33
simbol a d e f g m r s
frekvencija 16 10 12 1 5 7 8 3
a,b
b b a,b
4
A1 : a a a,b A2 : 0 1 2
b a a
0 1 2 3
b a b
1 2 3
4 5 6
b b a b
0 1 2 0 1 2
A1 : A2 :
a a
a
a,b b a,b
4 4
a,b a,b
Grupa B
89. Neka je ρ binarna relacija definisana na nekom podskupu S skupa R∗
tako da za sve x, y ∈ S vaжi
def x + 2y
x̺y ⇐⇒ ∈ T,
3y
gde je T skup neparnih prirodnih brojeva.
a) Dokazati da je relacija ̺ relacija poretka na skupu R∗ . Da li je to
relacija parcijalnog ili totalnog poretka?
b) Da li je relacija ̺ relacija ekvivalencije na skupu R∗ ?
v) Ako postoje odrediti najmaƬi, najvei, minimalan i maksimalan ele-
ment skupa S, kao i supremum i infimum podskupa S1 = {7, 13, 49, 91}.
1 2 3
90. Na sledeoj slici je predstavƩen graf G = (V, E).
a) Odrediti skup qvorova V i skup grana E.
b) Napisati matricu susedstva A,
matricu incidencije qvorova i grana S 4 5 6
36 3. KOLOKVIJUMI 2008.
i matricu rastojaƬa D.
v) Koliko ima puteva duжine 3 od qvora 5 do qvora 3? Koliko ima
puteva duжine 3 od qvora 3 do qvora 3? Odrediti elemente matrica A2
i A3 potrebne za proveru ovog rezultata.
simbol a d e n r s
frekvencija 11 2 12 3 8 4
a a b
0 1 2 3
a a a,b
b a
b
A1 : b b A2 : a,b
0 1 2 4 a,b
Grupa G
93. Neka je relacija ̺ data na sledei naqin:
def
(∀x, y ∈ R) x ̺ y ⇐⇒ x2 y − x = y 2 x − y.
a) Ispitati da li je ̺ relacija ekvivalencije na skupu R.
1
Ako jeste, odrediti klase ekvivalencije elemenata 0, 1, −3, 2 i 2.
b) Ispitati da li je ̺ relacija poretka (kao i totalnog ili parcijalnog
poretka) na skupu R.
Ako jeste odrediti najmaƬi, najvei, minimalan i maksimalan element
skupa (R, ̺).
b
A1 : a A2 :
0 1 2 0 1 2
a a
a
b
a) Ispitati koje od narednih reqi
Grupa D
97. Neka je ̺ binarna relacija definisana na skupu N tako da za sve
x, y ∈ N vaжi
def
x̺y ⇐⇒ (∃k ∈ N) x + y = 2k · x.
a) Dokazati da li relacija ̺ predstavƩa jedno ureeƬe (relaciju poret-
ka) na skupu N.
b) Ispitati da li je to relacija totalnog ili relacija parcijalnog
poretka. Da li je to rexetka?
v) Odrediti (ako postoje) najmaƬi, najvei, minimalan i maksimalan
element skupa N.
g) Ispitati da li relacija ̺ predstavƩa jedno relaciju ekvivalencije
na skupu N.
A1 : b b b A2 : b a
0 1 2 3 0 1 2
4. Kolokvijumi 2009.
A ⊆ B ∧ A ⊆ C ⇔ A ⊆ C \ (C \ B).
Grupa B
105. Pred studentske lige u fudbalu, koxarci i rukometu razgovaraju
qetvorica studenta FON-a.
Acko kaжe: ,,Pobediemo u bar jednom od ova 3 sporta.“
Bocko kaжe: ,,Ako pobedimo u fudbalu, neemo pobediti i u rukometu.“
Cicko kaжe: ,,Ako ne pobedimo u koxarci, pobediemo i u fudbalu i u
rukometu.“
Dacko kaжe: ,,Ako Cicko nije u pravu onda je bar jedan od Acka i Bocka
u pravu.“
Da li su Ƭihove izjave neprotivreqne? Da li je Dacko u pravu? Ukoliko
svi studenti govore istinu za koji sport moжemo sa sigurnoxu rei da
e FON pobediti u Ƭemu?
A ⊆ B ∧ B * C ⇒ A ⊆ C \ (A \ C).
Grupa G
109. Pred studentske lige u fudbalu, koxarci i rukometu razgovaraju
qetvorica studenta FON-a.
Acko kaжe: ,,Pobediemo u bar jednom od ova 3 sporta.“
Bocko kaжe: ,,Ako pobedimo u rukometu, pobediemo ili u fudbalu ili
u koxarci.“
Cicko kaжe: ,,Ako ne pobedimo u koxarci, pobediemo i u fudbalu i u
rukometu.“
Dacko kaжe: ,,Ako Cicko nije u pravu onda je bar jedan od Acka i Bocka
u pravu.“
Da li su Ƭihove izjave neprotivreqne? Da li je Dacko u pravu? Ukoliko
svi studenti govore istinu za koji sport moжemo sa sigurnoxu rei da
e FON pobediti u Ƭemu?
̺ = {(a, a), (a, c), (b, b), (b, e), (c, a), (c, c), (d, d), (e, b), (e, e)}
Grupa D
113. Pred studentske lige u fudbalu, koxarci i rukometu razgovaraju
qetvorica studenta FON-a.
Acko kaжe: ,,Ako ne pobedimo u koxarci, pobediemo i u fudbalu i u
rukometu.“
Bocko kaжe: ,,Pobediemo u bar jednom od ova 3 sporta.“
Cicko kaжe: ,,Ako pobedimo u rukometu, neemo pobediti i u fudbalu.“
Dacko kaжe: ,,Ako Bocko nije u pravu onda je bar jedan od Acka i Cicka
u pravu.“
Da li su Ƭihove izjave neprotivreqne? Da li je Dacko u pravu? Ukoliko
svi studenti govore istinu za koji sport moжemo sa sigurnoxu rei da
e FON pobediti u Ƭemu?
4
1
2 3
a) Odrediti skup qvorova V i skup grana E.
b) Odrediti ulazni stepen d− (v) i izlazni stepen d+ (v) svakog qvora.
v) Napisati matricu susedstva A, matricu incidencije qvorova i grana
S i matricu rastojaƬa D.
g) Da li dati graf ima Ojlerovu konturu, Ojlerov put, Hamiltonovu
4.2. Drugi kolokvijum 2009. 45
Grupa B
121. Neka je ̺ binarna relacija definisana na nekom podskupu S skupa
R tako da je
def
x̺y ⇐⇒ x2 − xy > 0.
a) Dokazati da je relacija ̺ relacija poretka na skupu N.
Da li je to relacija parcijalnog ili totalnog poretka?
b) Da li je relacija ̺ relacija poretka na skupu Z?
v) Ako postoje odrediti najmaƬi, najvei, minimalan i maksimalan ele-
ment (u odnosu na ̺) skupa N.
g) Ako postoje odrediti najmaƬi, najvei, minimalan i maksimalan ele-
ment (u odnosu na ̺) skupa S = {2, 4, 6, 8, 10}, kao i supremum i infimum
skupa S.
2 6
3 5
b b b a b
0 1 2
a
a
A1 : 0 1 2 A2 : a
b
a a,b
4
a,b
Grupa G
125. Neka je relacija ̺ data na sledei naqin:
def
(∀x, y ∈ R) x ̺ y ⇐⇒ 5x2 − 6xy + y 2 = 0.
a a a,b b a
0 1 2
A1 : A2 : b
0 1 2 a
b b a,b
4
a,b
Grupa D
129. Neka je relacija ̺ data na sledei naqin:
def
(∀x, y ∈ R) x ̺ y ⇐⇒ x2 y − xy 2 = x − y.
135. Pet studenata, Aca, Beba, Caca, Doki i Ema su odgovarali na test
koji se sastoji od 5 pitaƬa sa vixestrukim odgovorima. Prva dva pitaƬa
su imala odgovore a, b i c, dok je na ostala odgovor taqno–netaqno (⊤–⊥).
Oni su odgovorili na pitaƬa na sledei naqin:
I II III IV V
Aca a a ⊤ ⊤ ⊤
Beba b b ⊤ ⊥ ⊤
Caca a b ⊤ ⊤ ⊥
Doki b c ⊤ ⊤ ⊥
Ema c a ⊥ ⊤ ⊤
Poznato je da ne postoje dva studenta koji imaju jednak broj taqnih odgov-
ora.
Odrediti koji su taqni odgovori. Ko je od studenata najboƩe uradio
test?
A ⊆ B ∧ A ⊆ C ⇔ A ⊆ C \ (C \ B).
A ⊆ B ∨ A ⊆ C ⇒ A ⊆ C \ (B \ C).
za interpretaciju D = P(A), α : ⊆ , f : ∪, a : A.
za interpretaciju D = N, α : = , f : mnoжeƬe, a : 1.
za interpretaciju D = R, α : = , f : mnoжeƬe, a : 0.
za interpretaciju D = P(A), α : = , f : ∩.
za interpretaciju D = R, α : = , f : sabiraƬe, a : 8.
za interpretaciju D = P(A), α : = , f : ∪, a : A.
za interpretaciju D = Z, α : = , f : sabiraƬe.
5.3. Relacijske strukture 55
za interpretaciju D = N, α : = , f : mnoжeƬe, a : 3.
za interpretaciju D = P(A), α : = , f : ∩, a : ∅.
za interpretaciju D = Z, α : = , f : sabiraƬe, a : 0.
p1 : y = x + 3, p2 : y = 3, p3 : y = 2 − x, p4 : 2x + 2y − 3 = 0, p5 : y-osa.
def x + 2y
x̺y ⇐⇒ ∈ T,
3y
def
x̺y ⇐⇒ (∃k ∈ N) x + 2y = 3k · x.
169. Jedan program izgrauje binarno ureeno stablo od reqi koje uqi-
tava sekvencijalno. Svaki qvor stabla sadrжi jednu req i pokazivaqe na
levo i desno podstablo. Prva req koju program uqita predstavƩa koren
stabla. Program uqitava redom reqi
20, 28, 24, 10, 26, 18, 4, 40, 2, 3, 6, 30, 27, 38, 25, 5, 8, 7, 9.
simbol A B C D E F G H I
Morzeov kôd • • •• • • • • • • • • • • • •• ••
simbol J K L M N O P Q R
Morzeov kôd • • • • • • • • • • •
simbol S T U V W X Y Z
Morzeov kôd • • • • • • • • • • • • • •
• , , • • •, , • , • • • , • •, • , •• , ,
• , •, • • •, • , •
(ε je prazna req).
62 5. DOMAI ZADACI 2008.
175. Nai konaqan automat koji prepoznaje one reqi nad azbukom {a, b}
koje sadrжe najmaƬe tri slova a i izmeu svaka dva slova b (ako postoje)
se nalazi najmaƬe jedno slovo a.
176. Nai konaqan automat koji prepoznaje one reqi nad azbukom {a, b}
koje sadrжe najvixe dva slova a ili ne sadrжe taqno jedno slovo b.
177. Nai konaqan automat koji prepoznaje one reqi nad azbukom {a, b}
koje sadrжe bar dva slova b i iza slova b nikada ne dolazi slovo a.
178. Nai konaqan automat koji prepoznaje one reqi nad azbukom {a, b}
koje ne sadrжe aba i poqiƬu na aa.
b a
a
a b
0 1 2 3
b
a
a a a
b b
3 4 5
a a a,b
A1 : 0 1 2 3 A2 : 0 1 2
a a a b b
4
b a b b a
a
b
a
A1 : 0 1 2 3 A2 : 0 1 2
a b b
a
a b
186. Aki, Baki i Caki su drugovi koji qesto izlaze zajedno na pie.
Poznato je da svako od Ƭih pije uvek isto pie i to ili koka-kolu ili
fantu (samo jedno od toga). U vezi toga ko od Ƭih xta pije, poznati su
sledei iskazi:
1◦ Ako Aki pije koka-kolu, onda Baki pije isto pie kao i Caki.
2◦ Ako Baki naruquje fantu, onda Caki pije drugaqije pie od Aki-
jevog.
3◦ Ako Caki naruquje koka-kolu, onda Aki pije isto pie kao i Caki.
A ⊆ B ∧ A ⊆ C ⇒ A ⊆ B \ (C \ B).
A ⊆ B ∨ B ⊆ C ⇔ A ⊆ B \ (B \ C).
(B ∩ D) ∩ (C \ A) ⊆ B \ (A ∩ D).
a ↓ b = q(a ∨ b).
Odrediti DNF i SDNF za logiqku funkciju p↓ q ⇒ (r↓p) ⇔ s∧q q.
a ↑ b = q(a ∧ b).
Odrediti KNF i SKNF za logiqku funkciju p↑ q ⇒ (r↑p) ⇔ s∨q q.
6.2. Predikatski raqun 67
def
̺ : x̺y ⇐⇒ razlika kvadrata broja x i kvadrata broja y je deƩiva sa 4
def
̺: x̺y ⇐⇒ zbir cifara broja x − y je deƩiv sa 8
def
(∀x, y ∈ R) x ̺ y ⇐⇒ (x2 − y 2 )(x2 y 2 − 1) = 0.
x ρ y ⇔ (∃ z ∈ N0 ) (xz = y).
x ρ y ⇔ x − y > −1.
6 5
2 3
a) b)
(ε je prazna req).
a a a
b b
3 4 5
a a a,b
b b b a,b a a a
b
b
A1 : 0 1 2 3 A2 : 0 1 2
a a a b
4
b a b a a a,b
a
A1 : 0 1 2 3 A2 : 0 1 2
a b b b b
7. REXEƫA ZADATAKA
A∧B∧C ∧D
Kako smo dobili bar jednu 1 u posledƬoj koloni to su date izjave nepro-
tivreqne.
78 7. REXEƫA ZADATAKA
def
x̺y ⇐⇒ (∃k ∈ N) x + y = 2k · x ⇔ (∃k ∈ N) y = (2k − 1)x.
1 2 3 4 5 6 d(v) 1 2 3 4 5 6
1 2 3 1 0 1 0 1 0 0 2 1 0 1 2 1 2 2
2 1 0 1 0 1 0 3 2 1 0 1 2 1 2
5 A= 3 0 1 0 0 0 1 2 D= 3 2 1 0 2 2 1
4 1 0 0 0 1 1 3 4 1 2 2 0 1 1
4 6 5 0 1 0 1 0 0 2 5 2 1 2 1 0 2
6 0 0 1 1 0 0 1 6 2 2 1 1 2 0
1 2 3 4 5 6 1 2 3 4 5 6
1 2 0 1 0 2 1 1 0 5 1 5 0 1
2 0 3 0 2 0 1 2 5 0 4 1 5 2
A2 = 3 1 0 2 1 1 0 A3 = 3 1 4 0 2 1 3
4 0 2 1 3 0 0 4 5 1 2 0 5 4
5 2 0 1 0 2 1 5 0 5 1 5 0 1
6 1 1 0 0 1 2 6 1 2 3 4 1 0
a a b b a a,b
0 1 2 3 b
a b
A1 : b a A2 : 0 1 2 3
b a
a,b
4 a,b
0,0 A
a
1,1 B
a a
b
a
b C 2,1 b A B D
a a,b
A1 ∧ A2 : A3 : b a a b
b b
a 3,1 3,2 3,3
Q C E F
D a E b F a b b
b a,b a,b
4,0 4,1 4,2 4,3
a a b
b a a,b
Q
a) Automat A1 ∧ A2 nije optimalan jer se staƬa (4, 0), (4, 1), (4, 2) i (4, 3)
mogu spojiti u jedno staƬe Q koje je nedopustivo. Takoe uvedimo i
jednostavnije oznake za ostala staƬa: A = (0, 0), B = (1, 1), C = (2, 1),
80 7. REXEƫA ZADATAKA
D = (3, 1), E = (3, 2), F = (3, 3). Tako dobijen automat A3 je optimalan.
∗
b) Odredimo regularnu gramatiku G = (N, n T, Π, σ ) koja odgovara
o konaq-
nom automatu A3 . Imamo da je N = A, B, C, D, E, F, Q , T = {a, b},
n
Π = A → aB, A → bQ, B → aC, B → bQ, C → aQ, C → bE, D → aD,
o
D → bE, E → aD, E → bF, F → aF, F → bF, F → ε, Q → aQ, Q → bQ i
σ ∗ = A.
Grupa B
5. Oznaqimo sa a iskaz ,,Ana jede baklave“ (tada je q a iskaz ,,Ana jede
orasnice“), sa b iskaz ,,Beba jede baklave“, sa c iskaz ,,Cica jede baklave
“ i sa d iskaz ,,Daca jede baklave“.
Tada date reqenice (koje moжemo oznaqiti redom sa A, B, C, D) moжemo
zapisati kao:
• q a ⇒ (b ⇔ d).
• q c ⇒ (a ∨ d).
• (b ∨ c) ⇒ a.
• c ∨ d.
A∧B∧C ∧D
def
x̺y ⇐⇒ (∃k ∈ N) x + y = 2k · y ⇔ (∃k ∈ N) x = (2k − 1)y.
a a a
Aa a
0,0 0,1 B 0,3 A B
b b
a
A1 ∧ A2 : b
C
D b
b
A3 : b
b b
1,0 1,2 1,3 C F D Q a,b
a b
a a a
b E a b a b a
b b
2,1 2,3 C
a
b b
a b
3,1 3,3
F Q
7.1. Pismeni ispiti 2008. 83
a) Automat A1 ∧ A2 nije optimalan jer se staƬa (0, 3), (1, 3), (2, 3) i (3, 3)
mogu spojiti u jedno staƬe Q koje je nedopustivo. Takoe uvedimo i
jednostavnije oznake za ostala staƬa: A = (0, 0), B = (0, 1), C = (1, 0),
D = (1, 2), E = (2, 1), F = (3, 1). Tako dobijen automat A3 je optimalan.
∗
b) Odredimo regularnu gramatiku G = (N, n T, Π, σ ) koja odgovara
o konaq-
nom automatu A3 . Imamo da je N = A, B, C, D, E, F, Q , T = {a, b},
n
Π = A → aB, A → bC, B → aB, B → bD, C → aE, C → bC, D → aE,
o
D → bQ, E → aF, E → bD, F → aB, F → bD, F → ε, Q → aQ, Q → bQ i
σ ∗ = A.
Septembar 2008.
9. Prebacimo datu predikatsku formulu na ”uobiqajeni” matematiqki
jezik:
∀ x ∈ N z 6= 1 ∧ ∃z ∈ N x · y = z ⇒ (∃y ∈ N x = y · z .
Kvantifikator ∃z ∈ N utiqe samo na prvo sledee z, dok je z na kraju
formule slobodno.
Kvantifikator ∃y ∈ N utiqe samo na posledƬe y, dok je y pre Ƭega
slobodno.
Da bismo ovo boƩe istakli promeniemo slova kvantifikatorima uz z i
y (u w i t):
∀ x ∈ N z 6= 1 ∧ ∃w ∈ N x · y = w ⇒ (∃t ∈ N x = t · z .
Predikatska formula ∃w ∈ N x · y = w je uvek taqna (jer za prirodne
brojeve x i y postoji prirodan broj w = x · y). Predikatska formula
(∃ t ∈ N x = t · z je ekvivalentna sa z | x (tj. x je deƩivo sa z), pa se
polazna formula svodi na
∀ x ∈ N z 6= 1 ∧ 1 ⇒ z|x .
def x4 + 1 1
x̺y ⇐⇒ f (x) = f (y), gde je f (x) = 2
= x2 + 2 .
x x
Tada odmah imamo:
x ̺ y i y ̺ z ⇒ f (x) = f (y) i f (y) = f (z) ⇒ f (x) = f (z) ⇒ x ̺ z.
g) Ova relacija je R, S i T, pa je relacija ekvivalencije.
Kako nije AS ona nije relacija poretka.
d) Klase ekvivalencije su:
a 2 2 e d 2 a 1 e d
4 b 4 c d 4 b c 3 d
5 b a 5 b a 1
T G
b) Prefiksna notacija odgovara KLD-obilasku stabla:
+ − a : +b c + · b a d · e d.
86 7. REXEƫA ZADATAKA
a b c + b a · d + : −a d · +.
b a a.b
A2 : a b a
0 1 2 3
a b b
b a
A1 : 0 1 2 3
b a
a b a a.b
a a b a
A2 : 0 1 2 3
a a
a Q b
A 0,0 0,1 B 0,3
b a
A1 ∧ A2 : b D a b A3 :
b 1,0 1,2 1,3 b b a b a
b b C A B D Q a,b
a
C a
b a b
a a a b
E 2,1 b 2,3
E F
a a
b b a
F 3,1 3,3
a) Automat A1 ∧ A2 nije optimalan jer se staƬa (0, 3), (1, 3), (2, 3) i (3, 3)
mogu spojiti u jedno staƬe Q koje je nedopustivo. Takoe uvedimo i
jednostavnije oznake za ostala staƬa: A = (0, 0), B = (0, 1), C = (1, 0),
D = (1, 2), E = (2, 1), F = (3, 1). Tako dobijen automat A3 je optimalan.
∗
b) Odredimo regularnu gramatiku G = (N, n T, Π, σ ) koja odgovara
o konaq-
nom automatu A3 . Imamo da je N = A, B, C, D, E, F, Q , T = {a, b},
n
Π = A → aB, A → bC, B → aB, B → bD, C → aE, C → bC, D → aQ,
o
D → bC, E → aB, E → bF, F → aE, F → bB, F → ε, Q → aQ, Q → bQ i
σ ∗ = A.
Oktobar 2008.
13. a)
a b c d qc a ∧ qc qb d ∧ qb L a ∨ d c ∧ b q(c ∧ b) D L ⇒ D
0 0 0 0 1 0 1 1 0 0 0 1 0 1
0 0 0 1 1 0 1 1 1 1 0 1 1 1
0 0 1 0 0 0 1 0 0 0 0 1 0 1
0 0 1 1 0 0 1 1 1 1 0 1 1 1
0 1 0 0 1 0 0 0 0 0 0 1 0 1
0 1 0 1 1 0 0 0 0 1 0 1 1 1
0 1 1 0 0 0 0 0 0 0 1 0 0 1
0 1 1 1 0 0 0 0 0 1 1 0 0 1
1 0 0 0 1 1 1 0 1 1 0 1 1 1
1 0 0 1 1 1 1 1 1 1 0 1 1 1
1 0 1 0 0 0 1 0 0 1 0 1 1 1
1 0 1 1 0 0 1 1 1 1 0 1 1 1
1 1 0 0 1 1 0 0 1 1 0 1 1 1
1 1 0 1 1 1 0 0 1 1 0 1 1 1
1 1 1 0 0 0 0 0 0 1 1 0 0 1
1 1 1 1 0 0 0 0 0 1 1 0 0 1
Kako smo dobili sve 1 u posledƬoj koloni koja odgovara datom iskazu,
to je on tautologija, pa dobijamo da i polazna skupovna formula vaжi.
(A \ B) ∪ (C \ D) ⊂ (A ∪ C) \ (B ∩ D),
def 1 1
x̺y ⇐⇒ x = y ∨ x = −y ∨ x = ∨ x=− .
y y
4 6
12 14 23 25 36 46 d(v) 1 2 3 4 5 6
1 1 1 0 0 0 0 2 1 0 1 2 1 2 2
2 1 0 1 1 0 0 3 2 1 0 1 2 1 2
R= 3 0 0 1 0 1 0 2 D= 3 2 1 0 2 2 1
4 0 1 0 0 0 1 2 4 1 2 2 0 3 1
5 0 0 0 1 0 0 1 5 2 1 2 3 0 3
6 0 0 0 0 1 1 2 6 2 2 1 1 3 0
1 2 3 4 5 6 1 2 3 4 5 6
1 2 0 1 0 1 1 1 0 4 1 3 1 2
2 0 3 0 1 0 2 2 4 0 5 2 5 1
A2 = 3 1 0 2 1 2 0 A3 = 3 1 5 0 1 0 5
4 0 1 1 2 1 0 4 3 2 1 0 1 4
5 1 0 2 1 2 0 5 1 5 0 1 0 5
6 1 2 0 0 0 3 6 2 1 5 4 5 0
b a a,b
b a b
a b
a A2 : 0 1 2 3
a b a
A1 : 0 1 2 3
b b a a,b
a
b b
a b
A2 : 0 1 2 3
a
a a
b Q a b
0,0 A E 0,2 0,3
a A B E
b
b a a a
A1 ∧ A2 : a a A3 : a b
B 1,1 1,3
b
a a
a C D Q a,b
a b b b
a a
a 2,1 2,3
C b b
D 3,3
3,2
a) Automat A1 ∧ A2 nije optimalan jer se staƬa (0, 3), (1, 3), (2, 3) i (3, 3)
mogu spojiti u jedno staƬe Q koje je nedopustivo. Uvedimo krae oznake
i za ostala staƬa: A = (0, 0), B = (1, 1), C = (2, 1), D = (3, 2), E = (0, 2).
Tako dobijen automat A3 je optimalan.
∗
b) Regularna
n gramatika G =o (N, T, Π, σ ) koja odgovara
n konaqnom automatu
A3 je N = A, B, C, D, E, Q , T = {a, b}, Π = A → aB, A → bA, B → aC,
o C → bD, D → aB, D → bQ, D → ε, E → aB, E → bQ,
B → bE, C → aC,
Q → aQ, Q → bQ i σ ∗ = A.
7.1. Pismeni ispiti 2008. 91
Oktobar II 2008.
17. Sliqan sa zadatkom 21.
a) Taqna; b) taqna; v) taqna; g) netaqna; d) taqna; ) netaqna.
20. Primetimo da ako req poqiƬe sa baba ona ve nakon tog poqetka
sadrжi 2 slova a i 2 slova b. Stoga emo odmah odreivati konaqan
automat A koji prepoznaje reqi koje poqiƬu sa baba i nakon toga imaju
jox taqno 1 slovo a ili jox bar 3 slova a.
a,b
8 b b b a,b
a b a b
A:
0 1 2 3 4 5 6 7
b a b a a a a
∗
b) Regularna
n gramatika o G = (N, T, Π, σ )n koja odgovara automatu A je
N = 0, 1, 2, 3, 4, 5, 6, 7, 8 , T = {a, b}, Π = 0 → a8, 0 → b1, 1 → a2, 1 → b8,
2 → a8, 2 → b3, 3 → a4, 3 → b8, 4 → a5, 4 → o b4, 5 → a6, 5 → b5, 5 → ε, 6 → a7,
6 → b6, 7 → a7, 7 → b7, 7 → ε, 8 → a8, 8 → b8 i σ ∗ = 0.
Decembar 2008.
21. a) Formula ∃x(x ∈ Z ∧ 3x = 8) nije taqna jer ne postoji vrednost
x ∈ Z za koju je 3x = 8 (rexeƬe ove jednaqine je x = 83 6∈ Z).
3
b) Formula ∃x(x ∈ Q ∧ 3x = 8) je taqna jer postoji vrednost x = 8 ∈ Q za
koju je 3x = 8.
v) Formula (∀x ∈ N)(∃y ∈ N)(x 6 y) je taqna jer za svaki prirodan broj x
moжemo odabrati vei prirodan broj, npr. y = x + 1.
g) Formula (∃y ∈ N)(∀x ∈ N)(x 6 y) nije taqna jer ne postoji najvei
prirodan broj. Ako bi pretpostavili je formula taqna, onda bi postojao
broj y0 , takav da za svaki prirodan broj x vaжi x 6 y (xto nije taqno,
npr. za x = 2 · y0 ).
d) Formula (∀x, y, z ∈ R)(x = y ⇒ xz = yz) je taqna jer ako jednakost x = y
pomnoжimo istim realnim brojem z dobijamo jednakost xz = yz.
) Formula (∀x, y, z ∈ R)(xz = yz ⇒ x = y) nije taqna jer ne vaжi za sve
realne brojeve. Kontraprimer je x = 3, y = 5 i z = 0; tada imamo da je
xz = yz = 0, tj. v(xz = yz) = 1, dok je x 6= y, pa vaжi v(x = y) = 0, pa se
formula svodi na 1 ⇒ 0 = 0.
g 1
g 1 f 2
1 2 2 3 2 1 1 2 3 2 1
a b c d e f a b c d e
Da ona nisu izomorfna (izomorfna stabla imaju sve iste osobine!) moжe-
mo iskoristiti rezultate pod v)
v) Dijametar stabla T3 je 5 — to je maksimalno rastojaƬe izmeu dva
qvora grafa, d(a, f ) = 5. ƫegov centar qine qvorovi c i d.
Dijametar stabla T4 je 4 — to je maksimalno rastojaƬe izmeu dva
qvora grafa, d(a, e) = d(a, g) = d(e, g) = 4. ƫegov centar se sastoji samo
od qvora c (procedura traжeƬa centra stabla je opisana u zadatku 219).
g) ƫihove matrice susedstva su:
a b c d e f g d(v) a b c d e f g d(v)
a 0 1 0 0 0 0 0 1 a 0 1 0 0 0 0 0 1
b 1 0 1 0 0 0 0 2 b 1 0 1 0 0 0 0 2
c 0 1 0 1 0 0 0 2 c 0 1 0 1 0 1 0 3
A3 = A4 =
d 0 0 1 0 1 0 1 3 d 0 0 1 0 1 0 0 2
e 0 0 0 1 0 1 0 2 e 0 0 0 1 0 0 0 1
f 0 0 0 0 1 0 0 1 f 0 0 1 0 0 0 1 2
g 0 0 0 1 0 0 0 1 g 0 0 0 0 0 1 0 1
a,b
8 a a a a,b
a b a b
A:
0 1 2 3 4 5 6 7
b a b a b b b
a) Automat A je optimalan.
∗
b) Regularna
n gramatika o G = (N, T, Π, σ )n koja odgovara automatu A je
N = 0, 1, 2, 3, 4, 5, 6, 7, 8 , T = {a, b}, Π = 0 → a8, 0 → b1, 1 → a2, 1 → b8,
2 → a8, 2 → b3, 3 → a4, 3 → b8, 4 → a4, 4 → o b5, 5 → a5, 5 → b6, 5 → ε, 6 → a6,
6 → b7, 7 → a7, 7 → b7, 7 → ε, 8 → a8, 8 → b8 i σ ∗ = 0.
94 7. REXEƫA ZADATAKA
Januar 2009.
25. a)
Kako nismo dobili sve 1 u posledƬoj koloni koja odgovara datom iskazu,
taj iskaz nije tautologija, pa dobijamo da polazna skupovna formula ne
vaжi.
7.1. Pismeni ispiti 2008. 95
4 5 6
28. Kako reqi poqiƬu na aab one su i neprazne. Odrediemo prvo konaqan
automat A1 koji prepoznaje reqi koje poqiƬu na aab, zatim automat A2
koji prepoznaje reqi koje sadrжe req aba, onda automat A 2 koji prepoznaje
reqi koje ne sadrжe req aba.
b a a.b
A2 : a b a
0 1 2 3
a a b
0 1 2 3 a
A1 :
b a
b b a a.b
a,b
4 a,b
A2 : a b a
0 1 2 3
a
B 1,1
a
C
b 2,1
b b
Q
a
a F b Da
A1 ∧ A2 : E 3,0 3,1 3,2 3,3 a,b
b a
a b a
4,0 4,1 4,2 4,3 a,b
a
b
b
a) Automat A1 ∧ A2 nije optimalan jer se staƬa (3, 3), (4, 0), (4, 1), (4, 2) i
(4, 3) mogu spojiti u jedno staƬe Q koje je nedopustivo. Uvedimo krae
oznake i za ostala staƬa: A = (0, 0), B = (1, 1), C = (2, 1), D = (3, 2),
E = (3, 0), F = (3, 1). Tako dobijen automat A3 je optimalan.
a a b
A B C D
A3 : b b a a b b
a,b Q b E F a
a
∗
b) Regularna gramatika
n G = (N, T,o Π, σ ) koja odgovara
n konaqnom au-
tomatu A3 je N = A, B, C, D, E, F, Q , T = {a, b}, Π = A → aB, A → bQ,
B → aC, B → bQ, C → aQ, C → bD, D → aQ, D → obE, D → ε, E → aF,
E → bE, E → ε, F → aF, F → bD, F → ε, Q → aQ, Q → bQ i σ ∗ = A.
7.1. Pismeni ispiti 2008. 97
April 2009.
29. Na osnovu podataka datih u zadatku moжemo popuniti sledee u
tablici (crveni su na osnovu prve reqenice, plavi na osnovu druge,
zeleni na osnovu tree, naran
asti na osnovu qetvrte i Ʃubiqasti na
osnovu pete i pri tome 1 oznaqava da je to taqno, a O da nije):
”Xta e mi жivot”
”Kukavica”
5 audicija
6 audicija
7 audicija
8 audicija
4 audicije
18 godina
19 godina
20 godina
21 godina
22 godine
Kristina O O O O O
Jelena O O O O O
TaƬa O 1 O O O O O O
Radica O O O O
Violeta O
4 audicija O O O O O O
5 audicija O
6 audicija O O
7 audicija
8 audicija O
18 godina O O
19 godina O
20 godina 1 O O O O
21 godina O O O
22 godina O O O
”Kukavica”
”Mirno...”
5 audicija
6 audicija
7 audicija
8 audicija
4 audicije
”Plava...”
18 godina
19 godina
20 godina
21 godina
22 godine
”Kroz...”
”Xta...”
Kristina O O O 1 O O O O
Jelena O O O O O O
TaƬa O 1 O O O O O O O
Radica O O O O O
Violeta O O
4 audicija 1 O O O O O O 1 O O
5 audicija O O O
6 audicija O O O O
7 audicija O O
8 audicija O O O
18 godina O O 1 O O
19 godina O O
20 godina 1 O O O O
21 godina O O O
22 godina O O O
DaƩe, kako TaƬa moжe da ima ili 18 godina ili 21, a ona peva ”Kroz
xƩivike i livade”, a ne ”Mirno spavaj, nano”, dobijamo da je ona stara
21 godinu (ovo unosimo i u poƩa koja su preseku broja godina i pesme koju
pevaju!). To povlaqi (na osnovu 4. reqenice) da devojka sa 6 neuspelih
audicija ima 22 godine. Za Ƭu znamo da ona nije pevala ”Mirno spavaj,
nano” (jer to peva 18-togodixƬakiƬa).
”Kroz xƩivike i livade”
”Plava lampa treperi”
”Xta e mi жivot”
”Kukavica”
5 audicija
6 audicija
7 audicija
8 audicija
4 audicije
18 godina
19 godina
20 godina
21 godina
22 godine
Kristina O O O 1 O O O O
Jelena O O O O O O
TaƬa O 1 O O O O O O 1 O O
Radica O O O O O O
Violeta O O O
4 audicija 1 O O O O O O 1 O O
5 audicija O O O O
6 audicija O O O O O O O 1
7 audicija O O O
8 audicija O O O O
18 godina O O 1 O O
19 godina O O O
20 godina 1 O O O O
21 godina O 1 O O O
22 godina O O O
7.1. Pismeni ispiti 2008. 99
5 audicija
6 audicija
7 audicija
8 audicija
4 audicije
”Plava...”
18 godina
19 godina
20 godina
21 godina
22 godine
”Kroz...”
”Xta...”
Kristina O O O 1 O O O O O
Jelena O O O O O O O
TaƬa O 1 O O O O O O 1 O O O
Radica O O 1 O O O O O O
Violeta O O O O
4 audicija 1 O O O O O O 1 O O
5 audicija O O O O
6 audicija O O O O O O O 1
7 audicija O O O
8 audicija O O O O
18 godina O O 1 O O
19 godina O O O 1 O
20 godina 1 O O O O
21 godina O 1 O O O
22 godina O O O O 1
”Kukavica”
”Mirno...”
5 audicija
6 audicija
7 audicija
8 audicija
4 audicije
”Plava...”
18 godina
19 godina
20 godina
21 godina
22 godine
”Kroz...”
”Xta...”
Kristina O O O O 1 O O O O O O
Jelena 1 O O O O O O 1 O O 1 O O O O
TaƬa O 1 O O O O O O 1 O O 1 O O O
Radica O O O 1 O O O O O O O O
Violeta O O O O O O O O
4 audicija 1 O O O O O O 1 O O
5 audicija O 1 O O O O O O 1 O
6 audicija O O O O 1 O O O O 1
7 audicija O O O O O O
8 audicija O O O O O O
18 godina O O 1 O O
19 godina O O O 1 O
20 godina 1 O O O O
21 godina O 1 O O O
22 godina O O O O 1
”Xta e mi жivot”
”Kukavica”
5 audicija
6 audicija
7 audicija
8 audicija
4 audicije
18 godina
19 godina
20 godina
21 godina
22 godine
Kristina O O O 1 O O 1 O O O O O O O 1
Jelena 1 O O O O O O 1 O O 1 O O O O
TaƬa O 1 O O O O O O 1 O O 1 O O O
Radica O O 1 O O 1 O O O O O O O 1 O
Violeta O O O O 1 O O O O 1 O O 1 O O
4 audicija 1 O O O O O O 1 O O
5 audicija O 1 O O O O O O 1 O
6 audicija O O O O 1 O O O O 1
7 audicija O O 1 O O O 1 O O O
8 audicija O O O 1 O 1 O O O O
18 godina O O 1 O O
19 godina O O O 1 O
20 godina 1 O O O O
21 godina O 1 O O O
22 godina O O O O 1
32 T4 T5 46
0 1 0 1
15 T3 t 17 20 i a 26
0 1
7 T2 m 8
0 1
3 T1 k 4
0 1
1 u o 2
a i k m o t u
11 10 0001 001 00001 01 00000
10|1, 001|00,
i T5 m T3
a b a b a b b b
0 1 2 3 4 5 6 7 8
a b a
b b
A: 9
a,b
a) Automat A jeste optimalan.
b) Odredimo regularnu gramatiku G = n(N, T, Π, σ ∗ ) koja odgovara
o konaq-
nom automatu A. Imamo da je N = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 , T = {a, b},
n
Π = 0 → a1, 0 → b9, 1 → a9, 1 → b2, 2 → a3, 2 → b9, 3 → a9, 3 → b4,
4 → a5, 4 → b9, 5 → ε, 5 → a5,o 5 → b6, 6 → a6, 6 → b7, 7 → a7, 7 → b8, 8 → ε,
8 → a8, 8 → b8, 9 → a9, 9 → b9 i σ ∗ = 0.
Mart 2009.
33. a)
(b ∧ d) ∧ (c ∧ q a) ⇒ b ∧ q(a ∧ d).
b) Skup
n qvorova je V = {1, 2, 3, 4, 5,o6}, a skup grana je
E = {1, 2}, {2, 3}, {2, 5}, {3, 5}, {3, 6}, {4, 5}, {5, 6} . Stepeni svih qvorova
su d(1) = 1, d(2) = 3, d(3) = 3, d(4) = 1, d(5) = 4, d(6) = 2. Graf je:
1 2 3
4 5 6
1 2 3 4 5 6 1 2 3 4 5 6
1 1 0 1 0 1 0 1 0 3 1 1 1 2
2 0 3 1 1 1 2 2 3 2 6 1 7 2
A2 = 3 1 1 3 1 2 1 A3 = 3 1 6 4 2 6 5
4 0 1 1 1 0 1 4 1 1 2 0 4 1
5 1 1 2 0 4 1 5 1 7 6 4 4 6
6 0 2 1 1 1 2 6 2 2 5 1 6 2
b a b a
A B C D E a
b
A: a b a b a
a,b Q F G b
a b
∗
b) Regularna
n gramatikao G = (N, T, Π, σ ) koja
n odgovara automatu A je
N = A, B, C, D, E, F, Q , T = {a, b}, Π = A → aQ, A → bB, B → aC,
B → bQ, C → aQ, C → bD, D → aE, D → bF, D → ε, E → aE, E → o bD, E → ε,
F → aQ, F → bG, F → ε, G → aE, G → bG, G → ε, Q → aQ, Q → bQ i σ ∗ = A.
106 7. REXEƫA ZADATAKA
x=z y
x y
[11] = {11}, [27] = {27}, [22] = {38}, [46] = {46}, [58] = {58}.
11 27 38 46 58
108 7. REXEƫA ZADATAKA
8
v d(v)
1 1
3 3
5 1
6 15 6 2
8 2
9 2
3 9 18 13 1
15 3
16 1
1 5 13 16
18 2
b) Skup qvorova je V i skup grana E su:
g)
KLD: 8, 6, 3, 1, 5, 15, 9, 13, 18, 16.
LKD: 1, 3, 5, 6, 8, 9, 13, 15, 16, 18 (primetimo da se u binarnom
stablu pretraжivaƬa pri ovom obilasku dobijaju brojevi poreani od
maƬeg ka veem!).
LDK: 1, 5, 3, 6, 13, 9, 16, 18, 15, 8.
A B C E
A1 ∧ A2 : 0,0
b
1,0
b
2,0
a
3,1 b
A3 :
a
a b a a
a
b 4,1 4,0 b Q 3,0 b
a
D
b b a
A B C E b
a
a a a
b
Q b D b
Septembar 2009.
41. a) Leva strana je predstavƩena Venovim dijagramima na prvoj slici
u prvom redu. Desna strana
D = (A ∪ B ∪ C) \ A \ (B ∪ C) ∪ B \ (C ∪ A) ∪ C \ (A ∪ B)
110 7. REXEƫA ZADATAKA
A∩B∩C A∪B∪C A \ (B ∪ C) B \ (C ∪ A)
C \ (A ∪ B) A \ (B ∪ C) ∪ B \ (C ∪ A) ∪ C \ (A ∪ B) D
Sa ovih slika vidimo da je leva strana podskup desne, ali to treba i
matematiqki pokazati.
b) Oznaqimo a = ”x ∈ A”, b = ”x ∈ B” i c = ”x ∈ C” (onda je q a = ”x 6∈ A”,
q b = ”x 6∈ B” i q c = ”x 6∈ C”). Tada
imamo da data skupovnaformula
A ∩ B ∩ C ⊆ (A ∪ B ∪ C) \ A \ (B ∪ C) ∪ B \ (C ∪ A) ∪ C \ (A ∪ B) prelazi
u iskaznu formulu
a ∧ b ∧ c ⇒ (a ∨ b ∨ c) ∧ q a ∧ q(b ∨ c) ∨ b ∧ q(c ∨ a) ∨ c ∧ q(a ∨ b) .
v∈V
X
d(v) = 3 + 3 + . . . + 3 = 9 · 3 = 27 = 2m,
| {z }
v∈V 9
u 1 2 3 4 5 6 7 8
lu {2, 4, 8} {1, 3, 7} {2, 4, 6} {1, 3, 5} {4, 6, 8} {3, 5, 7} {2, 6, 8} {1, 5, 7}
v∈V
iste konture! Preciznije, mi ovde konturu u grafu posmatramo kao podgraf tog grafa,
a ne kao put u grafu.
114 7. REXEƫA ZADATAKA
a,b
a a,b a,b
N A: 0 1 2 3
a
F B b
a
b
L G a b
a
b a a b
b
A′′ : a S N M H
b a
b
116 7. REXEƫA ZADATAKA
Oktobar 2009.
45. Primetimo da Jovicin i Maricin algotitam rade sve isto, sem xto
se razlikuju u if naredbi (qak xta-vixe oni koriste i ista imena za
lokalne promenƩive). Jovicin algoritam ubacuje i-ti element prve liste
(List1) na k-tu poziciju u rezultujuoj listi (List3) ako je ispuƬen
uslov
(i + j 6 p + q) i (i 6 p) i (j > q) ili (List1(i) 6 List2(j))
J = a ∧ b ∧ (c ∨ d) i M = (a ∧ b ∧ c) ∨ (a ∧ b ∧ d).
a ∧ b ∧ (c ∨ d) ⇔ (a ∧ b ∧ c) ∨ (a ∧ b ∧ d).
t ∧ (c ∨ d) ⇔ (t ∧ c) ∨ (t ∧ d),
J M
a b c d c ∨ d a ∧ b ∧ (c ∨ d) a ∧ b ∧ c a ∧ b ∧ d x ∨ y J ⇔ M
0 0 0 0 0 0 0 0 0 1
0 0 0 1 1 0 0 0 0 1
0 0 1 0 1 0 0 0 0 1
0 0 1 1 1 0 0 0 0 1
0 1 0 0 0 0 0 0 0 1
0 1 0 1 1 0 0 0 0 1
0 1 1 0 1 0 0 0 0 1
0 1 1 1 1 0 0 0 0 1
1 0 0 0 0 0 0 0 0 1
1 0 0 1 1 0 0 0 0 1
1 0 1 0 1 0 0 0 0 1
1 0 1 1 1 0 0 0 0 1
1 1 0 0 0 0 0 0 0 1
1 1 0 1 1 1 0 1 1 1
1 1 1 0 1 1 1 0 1 1
1 1 1 1 1 1 1 1 1 1
9 2
3 6 8 2
1 2 4 2 7 3
3 1 1 1 5 1
Stepeni svih qvorova su d(1) = 1, d(2) = 1, d(3) = 1, d(4) = 2, d(5) = 1,
d(6) = 3, d(7) = 3, d(8) = 2, d(9) = 2.
b) Nivoi listova su: n(2) = 2 i n(3) = n(1) = n(5) = 3. Najvei nivo je
visina stabla, tj. h = 3.
Stablo T jeste balansirano jer su svi listovi na nivou h ili h − 1.
T nije striktno jer unutraxƬi qvorovi 4 i 8 nemaju 2 deteta (nego samo
po jedno).
T nije potpuno binarno jer nije striktno.
T nije binarno stablo pretraжivaƬa jer u svakom levom podstablu tre-
ba da su brojevi maƬi od korena tog podstabla (to vaжi), a u desnom
podstablu da su brojevi vei od korena tog podstabla (ovo ne vaжi –
8,7,5,1su svi maƬi od 9, a trebalo bi da su vei).
v)
KLD: 9, 6, 2, 4, 3, 8, 7, 1, 5.
LKD: 2, 6, 3, 4, 9, 8, 1, 7, 5
(primetimo da se pri ovom obilasku dobija bax polazna permutacija!).
LDK: 2, 3, 4, 6, 1, 5, 7, 8, 9.
g) Ovde imamo a = 4 uspona: i = 1 jer je p1 = 2 < 6 = p2 , i = 3 jer je
p3 = 3 < 4 = p4 , i = 4 jer je p4 = 4 < 9 = p5 i i = 7 jer je p7 = 1 < 7 = p8 .
Vizuelno to moжemo predstaviti kao:
2 6 3 4 9 8 1 7 5
ր ր ր ր
Svakom qvoru v koji ima levo dete l odgovara uspon w < v u permutaci-
ji pri qemu je w qvor koji se posledƬi obie LKD obilaskom podstabla
indukovanog qvorom ℓ (npr. u stablu na gorƬoj slici imamo da je ℓ = 6
levo dete od v = 9, a LKD obilazak podstabla indukovanog qvorom 6 je
2,6,3,4, pa dobijamo da je w = 4, te imamo uspon 4 < 9 u odgovarajuoj
permutaciji) – time smo pokazali da je mℓ 6 a.
Za svaki uspon w < v imamo da se qvor w nalazi u levom podstablu
qvora v, pa imamo levu granu koja ide iz qvora v, te stoga imamo da je
a 6 mℓ .
Iz jednakosti mℓ 6 a i a 6 mℓ sledi da je a = mℓ , xto je i trebalo
pokazati.
QiƬenica d = mr sledi iz jednakosti d = n − 1 − a (u permutaciji ima
n − 1 uzastopnih mesta, a neka od Ƭih su usponi, a preostala su padovi)
i mr = n − 1 − mℓ (binarno stablo ima n − 1 grana i neke od Ƭih su desne,
a preostale su leve) i prethodno pokazanog.
48. Prvo emo konstruisati sledee automate (ne moramo voditi raquna
o nepraznim reqima jer automat A1 ima bar 3 slova a):
a b
b a
b b A2 : 0 1 2
a
0 1 b
b
a a
a,b 4 3
A1 : a
4 2
b b
a a a
3
a b
b
b a
A2 : 0 1 2
b
b
a,b 4 3
a
7.2. Pismeni ispiti 2009. 121
b b
A D Q
b b b
00 01 B 02 03 04
C
a a a
a b b a
H
b b
E 10 11 F 12 13 14 b
G a
a a
a b b a
L
b b a
A1 ∧ A2 : a a I 20 21 J 22 23 24 b a a
K
a a
a b b a a
S
b b
M 30 31 P 32 33 34 b
R
a a a
a b b a
b b
U 40 41 V 42 43 X 44
b
W
b b
b b
A B C D
a a
a b b
b b a
E F G H
a a
a b b a
b b a
A3 : a a I J K L Q a,b a
a a a
a b b
b b
M P R S
a
a a
a b b
b b
U V W X
Oktobar II 2009.
49. a) I leva i desna strana predstavƩaju uniju Ʃubiqastih delova sa
prve 3 slike u Ƭihovom redu.
(a ∧ c) ∨ (b ∧ d) ∨ (a ∧ q b) ⇒ a ∨ (d ∧ q c) ∨ (c ∧ q a).
51. Izvrximo numeraciju qvorova ovih grafova (trebae nam radi lak-
xeg objaxƬavaƬa).
7 6
7 6 7 6 2 1
8 5 8 5 8 5
3 4
1 4 1 4 1 4
2 3 2 3 5 6
2 3
G1 G2 G3 G4
1 8 7 6
1 6
8 5 3 8
2 3 6 7
1 4 5 2
7 4
4 5 2 3
G5 G6 G7
Vei deo zadatka pod a) emo zakƩuqiti na osnovu b)–e).
b) Svi grafovi sem G4 imaju n = 8 qvorova i m = 12 grana. Graf G4 ima
n = 6 qvorova i m = 6 grana. Stoga G4 nije izomorfan sa ostalim.
v) Grafovi G1 , G2 , G3 , G5 i G7 su 3-regularni (tj. stepen svakog qvora v
je d(v) = 3), pa je Ƭihov niz stepena qvorova ( 3, 3, . . . , 3 ).
| {z }
8
Graf G4 ima niz stepena qvorova (3, 2, 22, 2, 1), a G6 ima (5, 3, 3, 3, 33, 2, 2).
Stoga i G4 nije izomorfan sa ostalim grafovima.
g) Graf G3 nije povezan – ima 2 komponente povezanosti: {1, 2, 3, 4} i
124 7. REXEƫA ZADATAKA
{5, 6, 7, 8}, a ostali grafovi su povezani (iz svakog qvora moжe da stigne
u bilo koji drugi qvor). Stoga G3 nije izomorfan sa ostalim.
d) U delu pod b) smo videli da grafovi G1 , G2 , G3 , G5 i G7 imaju svih 8
qvorova neparnog stepena (d(v) = 3), G7 ima 6 qvorova neparnog stepena,
pa svi oni ne poseduju ni Ojlerovu konturu, ni Ojlerov put. Graf G4
nema Ojlerovu konturu, ali ima Ojlerov put: 1-2-3-4-5-6-3.
Graf G3 kako nije povezan nema ni Hamiltonovu konturu, ni Hamiltonov
put. Ostali grafovi imaju Hamiltonovu konturu: 1-2-3-4-5-6-7-8-1, a
samim tim i Hamiltonov put: 1-2-3-4-5-6-7-8.
) Najkraa kontura je duжine 3 u grafovima G2 , G3 , G5 i G6 , duжine 4
u G1 , G4 i G7 .
e) Ako graf ima konturu neparne duжine on nije bipartitan. Zbog ove
qiƬenice grafovi G2 , G3 , G5 i G6 nisu bipartitni. Da su G1 , G4 i G7
bipartitni pokazujemo tako xto im numerixemo qvorove tako da neparni
qvorovi qine jednu particiju, a parni qvorovi drugu (tada izmeu qvoro-
va iste parnosti ne postoji nijedna grana!).
a) Na osnovu prethodnog ostaje da samo G1 i G7 , kao i G2 i G5 , mogu biti
izomorfni (za svaki drugi par Gi , Gj postoji neka osobina koju poseduje
graf Gi , a ne poseduje Gj ).
Da je G1 ∼= G7 (i sliqno G2 ∼ = G5 ) pokazujemo tako xto uspostavimo bi-
jekciju izmeu skupova qvorova V (G1 ) i V (G2 ), takvu da se samo susedni
qvorovi slikaju u susedne (i nesusedni u nesusedne), tj. odgovarajue
qvorove numerixemo istim brojem. Tako za ove grafove imamo:
E(G1 ) = E(G7 ) = {12, 14, 18, 23, 27, 34, 36, 45, 56, 58, 67, 78},
E(G2 ) = E(G5 ) = {12, 17, 18, 23, 34, 35, 45, 46, 56, 58, 67, 78}.
4 3 a b b
b
a
a a A2 : 0
b
1 2
a
3
b
a
7.2. Pismeni ispiti 2009. 125
Prihvatajua staƬa u spoju sa ili su sva staƬa oblika (i, j) kod kojih
je ili staƬe i prihvatajue u prvom automatu ili staƬe j prihvatajue
u drugom automatu. Sada emo automate A1 i A2 spojiti u jedan automat
A1 ∨ A2 (vodite raquna da bi u A1 ∨ A2 trebalo i staƬe (0, 0) da bude pri-
hvatajue, ali emo staviti da je ono neprihvatajue jer ono odgovara
praznoj reqi ε).
b
00 11
a
12
a
b b
b 13
a
b
21 10 a
a
22
a
A1 ∧ A2 : a b b b b b b
b 23
a
b
31 20 a
a
32
a
b b
b 33
a
b
a 40 43 42 41 30 a
a a a
a) Automat A1 ∧ A2 je optimalan.
b) Odredimo regularnu gramatiku G = (N, T, Π, σ ∗ ) koja odgovara konaq-
nom automatu A1 ∧ A2 . Imamo da je
n o
N = 00, 11, 12, 13, 10, 21, 22, 23, 20, 31, 32, 33, 30, 41, 42, 43, 40 , T = {a, b},
n
Π = 00 → a40, 00 → b11, 11 → a12, 11 → b21, 11 → ε, 12 → a13,
12 → b21, 12 → ε, 13 → a10, 13 → b21, 10 → a10, 10 → b21, 10 → ε, 21 → a22,
21 → b31, 21 → ε, 22 → a23, 22 → b31, 22 → ε, 23 → a20, 23 → b31, 20 → a20,
20 → b31, 20 → ε, 31 → a32, 31 → b41, 31 → ε, 32 → a33, 32 → b41, 32 → ε,
33 → a30, 33 → b31, 30 → a30, 30 → b41, 30 → ε, 41 → a42, 41 → b11, 41 → ε,
42 → a43, 42 o→ b11, 42 → ε, 43 → a40, 43 → b11, 43 → ε, 40 → a40,
40 → b11, 40 → ε i σ ∗ = A.
Januar 2010.
53. ,,Prevedimo“ datu predikatsku formulu:
(∃x ∈ N) (∀y ∈ N) x = y · z ⇒ q x = 8 ∧ q(x = y) .
b) Obe relacije su R, S i T.
Obe relacije nisu AS: a ̺1 d, d ̺1 a ⇒ a = d , a ̺2 ab, ab ̺2 a ⇒ a = ab .
v) Obe relacije su R, S i T, pa su to relacije ekvivalencije.
Kako nisu AS one nisu relacije poretka.
g) Klase ekvivalencije za ̺1 su: [a] = [d] = {a, d}, [ab] = {ab},
[bab] = [dac] = {bab, dac}, [dccab] = {dccab}.
Klase ekvivalencije za ̺2 su: [a] = [ab] = {a, ab}, [bab] = {bab},
[d] = [dac] = [dccab] = {d, dac, dccab}.
7.2. Pismeni ispiti 2009. 127
T1 T2 T3 T4 T5 T6 T7 T8
b) Kako je jedna od osnovnih osobina stabla da ne poseduje konturu, to
nijedno od ovih stabala ne poseduje ni Ojlerovu ni Hamiltonovu konturu.
Stablo T8 ima i Ojlerov i Hamiltonov put (jer je izomorfno sa putem
P6 ), dok ostala nemaju ni Ojlerov ni Hamiltonov put (Ojlerov put nemaju
jer imajju 3 ili vixe qvorova stepena 1; Hamiltonov put nemaju jer bi
kroz qvor v najveeg stepena, d(v) > 3, trebalo proi vixe od jednom).
v) Dijametri ovih stabala su:
b O J D b
a a
∗
b) Regularna
n gramatika
o G = (N, T, Π, σ ) koja
n odgovara automatu A je
N = P, B, A, K, O, J, D , T = {a, b}, Π = P → aJ, P → bB, B → aA,
B → bO, A → aK, A → bJ, A → ε,
o K → aK, K → bK, O → aJ, O → bO, J → aD,
J → bJ, J → ε, D → aO, D → bD i σ ∗ = P .
April 2010.
57. Prebacimo datu predikatsku formulu na ,,uobiqajeni“ matematiqki
jezik:
∀y ∈ P(A) ∃x ∈ P(A) x = y ∩ z ⇔ q(x = ∅ ∧ x 6= y) .
1◦ A = ∅
U ovom sluqaju, svi skupovi mogu biti jednaki samo praznom skupu,
x = y = z = ∅, pa je formula ϕ taqna (zbog drugog uslova x = y), tj.
v(F ) = 1.
2◦ A 6= ∅
Ovde imamo 2 podsluqaja — ako je x 6= ∅ onda je formula ϕ taqna
(zbog prvog uslova x 6= ∅); ako je x = ∅ onda prvi uslov nije zadovol-
jen, a ni drugi nije taqan za svako y (npr. moжemo uzeti y = A i tad
ne vaжi ni drugi uslov), pa dobijamo da je u ovom sluqaju
(
1, x 6= ∅
v(F ) =
0, x = ∅.
58. Prvo emo ispitati osobine relacije ̺1 kod koje su 2 reqi u relaciji
ako i samo ako su iste duжine.
a)
a abbc bab daabcb dacdb dc
a 1 0 0 0 0 0
dacdb daabcb
abbc 0 1 0 0 0 0
bab 0 0 1 0 0 0 dc bab
daabcb 0 0 0 1 0 0
dacdb 0 0 0 0 1 0 a abbc
dc 0 0 0 0 0 1
a b c d e f g h i j k d(v)
a 0 1 0 0 0 0 0 0 0 0 0 1
b 1 0 1 1 0 0 0 0 0 0 0 3
c 0 1 0 0 0 0 0 0 0 0 0 1
d 0 1 0 0 1 0 0 0 0 0 0 2
e 0 0 0 1 0 1 0 0 0 0 0 2
A=
f 0 0 0 0 1 0 0 0 0 1 0 2
g 0 0 0 0 0 0 0 1 0 0 0 1
h 0 0 0 0 0 0 1 0 1 1 0 3
i 0 0 0 0 0 0 0 1 0 0 0 1
j 0 0 0 0 0 1 0 1 0 0 1 3
k 0 0 0 0 0 0 0 0 0 1 0 1
2 d f 2
3 b 3 j
1 a c 1 3 h k 1
1 g i 1
b) V = {a, b, c, d, e, f, g, h, i, h, j}, E = {ab, bc, bd, de, ef, f j, gh, hi, hj, jk}. n = 11
i m = 10, pa vaжi relacija za broj grana u stablu: m = n − 1.
v) Nivoi listova su: n(a) = n(c) = n(k) = 3 i n(g) = n(i) = 4. Najvei nivo
je visina stabla, tj. h = 4. Stablo T jeste balansirano jer su svi listovi
na nivou h ili h − 1. T nije striktno jer unutraxƬi qvorovi d i f nemaju
2 deteta (nego samo po jedno). T nije potpuno binarno jer nije striktno,
a ni svi qvorovi nisu na istom nivou. T je binarno stablo pretraжivaƬa
jer u svakom levom podstablu su slova koja su pre po abecednom redu od
korena tog podstabla, a u desnom podstablu da su slova koja su posle po
abecednom redu.
v)
KLD: e, d, b, a, c, f, j, h, g, i, k.
LKD: a, b, c, d, e, f, g, h, i, j, k
(primetimo da se pri ovom obilasku dobija bax abecedni redosled!).
LDK: a, c, b, d, g, i, h, k, j, f, e.
b b a,b
• p.
• q r.
• p ⇒ q q ∨ (r ∧ s) ∧ p ∧ q r ⇒ q q.
t L
p q r s q q r ∧ s q q ∨ (r ∧ s) p ⇒ q q ∨ (r ∧ s) q r t ∧ p ∧ q r L ⇒ q q
0 0 0 0 1 0 1 1 1 0 1
0 0 0 1 1 0 1 1 1 0 1
0 0 1 0 1 0 1 1 0 0 1
0 0 1 1 1 1 1 1 0 0 1
0 1 0 0 0 0 0 1 1 0 1
0 1 0 1 0 0 0 1 1 0 1
0 1 1 0 0 0 0 1 0 0 1
0 1 1 1 0 1 1 1 0 0 1
1 0 0 0 1 0 1 1 1 1 1
1 0 0 1 1 0 1 1 1 1 1
1 0 1 0 1 0 1 1 0 0 1
1 0 1 1 1 1 1 1 0 0 1
1 1 0 0 0 0 0 0 1 0 1
1 1 0 1 0 0 0 0 1 0 1
1 1 1 0 0 0 0 0 0 0 1
1 1 1 1 0 1 1 1 0 0 1
Kako smo dobili sve 1 u posledƬoj koloni koja odgovara datom iskazu,
to je on tautologija, pa dobijamo da je dato zakƩuqivaƬe taqno.
62. a)
v) L D
a b c d qb a ∧ qb qd c ∧ qd (a ∧ q b) ∨ (c ∧ q d) a ∨ c b ∧ d q(b ∧ d) (a ∨ c) ∧ q(b ∧ d) L ⇒ D
0 0 0 0 1 0 1 0 0 0 0 1 0 1
0 0 0 1 1 0 0 0 0 0 0 1 0 1
0 0 1 0 1 0 1 1 1 1 0 1 1 1
0 0 1 1 1 0 0 0 0 1 0 1 1 1
0 1 0 0 0 0 1 0 0 0 0 1 0 1
0 1 0 1 0 0 0 0 0 0 1 0 0 1
0 1 1 0 0 0 1 1 1 1 0 1 1 1
0 1 1 1 0 0 0 0 0 1 1 0 0 1
1 0 0 0 1 1 1 0 1 1 0 1 1 1
1 0 0 1 1 1 0 0 1 1 0 1 1 1
1 0 1 0 1 1 1 1 1 1 0 1 1 1
1 0 1 1 1 1 0 0 1 1 0 1 1 1
1 1 0 0 0 0 1 0 0 1 0 1 1 1
1 1 0 1 0 0 0 0 0 1 1 0 0 1
1 1 1 0 0 0 1 1 1 1 0 1 1 1
1 1 1 1 0 0 0 0 0 1 1 0 0 1
Kako smo dobili sve 1 u posledƬoj koloni koja odgovara datom iskazu,
to je on tautologija, pa dobijamo da i polazna skupovna formula vaжi.
(A \ B) ∪ (C \ D) ⊂ (A ∪ C) \ (B ∩ D),
• b ⇒ d.
• q a ⇒ c.
• q c ∧ (a ∨ d).∗
• q d.
A∧B∧C ∧D
Kako smo dobili bar jednu 1 u posledƬoj koloni to su date izjave nepro-
tivreqne.
∗ Priznavali smo (na tom kolokvijumu, xto ne znaqi da treba tako da radite!) i
q c ∧ (a ∨ d) mada ili–ili predstavƩa ∨ .
7.3. Kolokvijumi 2008. 137
b) Oznaqimo sa a = x ∈ A, b = x ∈ B, c = x ∈ C i d = x ∈ D (onda je
q a = x 6∈ A, q b = x 6∈ B, q c = x 6∈ C i q d = x 6∈ D). Tada skupovna formula
(A \ B) ∪ A \ (A \ C) ⊆ A \ (B \ C)
138 7. REXEƫA ZADATAKA
v)
p q L D
a b c q a q b q c a ∧ q b a ∧ q c q(a ∧ q c) a ∧ q(a ∧ q c) p ∨ q b ∧ q c q(b ∧ q c) a ∧ q(b ∧ q c) L ⇒ D
0 0 0 1 1 1 0 0 1 0 0 0 1 0 1
0 0 1 1 1 0 0 0 1 0 0 0 1 0 1
0 1 0 1 0 1 0 0 1 0 0 1 0 0 1
0 1 1 1 0 0 0 0 1 0 0 0 1 0 1
1 0 0 0 1 1 1 1 0 0 1 0 1 1 1
1 0 1 0 1 0 1 0 1 1 1 0 1 1 1
1 1 0 0 0 1 0 1 0 0 0 1 0 0 1
1 1 1 0 0 0 0 0 1 1 1 0 1 1 1
Kako smo dobili sve 1 u posledƬoj koloni koja odgovara datom iskazu,
to je on tautologija, pa dobijamo da i polazna skupovna formula vaжi.
Ova disjuncija je taqna ako je bar jedan Ƭen qlan taqan, tj. kako moжe-
mo odabrati x = ∅ i uvek je ∅ ⊆ y (ili moжemo odabrati x = y i uvek je
y ⊆ y) to je polazna formula F taqna, tj. v(F ) = 1.
̺ 11 22 34 36 56 36
11 1 0 0 0 1
22 0 1 1 0 0 56 34
34 0 1 1 0 0
36 0 0 0 1 0 11 22
56 1 0 0 0 1
[11] = [56] = {11, 56}, [22] = [34] = {22, 34}, [36] = {36}.
Grupa B
69. Oznaqimo sa a iskaz ”Aca je kriv”, sa b iskaz ”Boki je kriv”, sa c
iskaz ”Ceca je kriva” i sa d iskaz ”Duda je kriva”.
Tada date reqenice (koje moжemo oznaqiti redom sa A, B, C, D) moжemo
zapisati kao:
• q b ⇒ d.
• q c ∧ q d.
• q c ∧ b.
• q d ∧ a.
A∧B∧C ∧D
A B C D
a b c d qb qb ⇒ d qc qd qc ∧ qd qc ∧ b qd ∧ a A ∧ B ∧ C ∧ D
0 0 0 0 1 0 1 1 1 0 0 0
0 0 0 1 1 1 1 0 0 0 0 0
0 0 1 0 1 0 0 1 0 0 0 0
0 0 1 1 1 1 0 0 0 0 0 0
0 1 0 0 0 1 1 1 1 1 0 0
0 1 0 1 0 1 1 0 0 1 0 0
0 1 1 0 0 1 0 1 0 0 0 0
0 1 1 1 0 1 0 0 0 0 0 0
1 0 0 0 1 0 1 1 1 0 1 0
1 0 0 1 1 1 1 0 0 0 0 0
1 0 1 0 1 0 0 1 0 0 1 0
1 0 1 1 1 1 0 0 0 0 0 0
1 1 0 0 0 1 1 1 1 1 1 1
1 1 0 1 0 1 1 0 0 1 0 0
1 1 1 0 0 1 0 1 0 0 1 0
1 1 1 1 0 1 0 0 0 0 0 0
Kako smo dobili bar jednu 1 u posledƬoj koloni to su date izjave nepro-
tivreqne.
!
a b c d
Time smo dobili interpretaciju u kojoj su sve 4 formule
1 1 0 0
taqne, xto znaqi da je gorƬi skup formula neprotivreqan, tj. polazne
izjave nisu protivreqne.
A\B A \ (A \ C) (A \ B) ∪ A \ (A \ C) desna strana
v)
L D
a b c q a q b q c b ∧ q c q(b ∧ q c) a ∧ q(b ∧ q c) a ∧ q b a ∧ c (a ∧ q c) ∨ (a ∧ c) L ⇔ D
0 0 0 1 1 1 0 1 0 0 0 0 1
0 0 1 1 1 0 0 1 0 0 0 0 1
0 1 0 1 0 1 1 0 0 0 0 0 1
0 1 1 1 0 0 0 1 0 0 0 0 1
1 0 0 0 1 1 0 1 1 1 0 1 1
1 0 1 0 1 0 0 1 1 1 1 1 1
1 1 0 0 0 1 1 0 0 0 0 0 1
1 1 1 0 0 0 0 1 1 0 1 1 1
Kako smo dobili sve 1 u posledƬoj koloni koja odgovara datom iskazu,
to je on tautologija, pa dobijamo da i polazna skupovna formula vaжi.
̺ 1 2 3 4 5 4
1 1 0 1 1 0
2 0 1 0 0 1
1 3
3 1 0 1 1 0
4 1 0 1 1 0
5 0 1 0 0 1 2 5
Grupa G
73. Oznaqimo sa a iskaz ”Aca je kriv”, sa b iskaz ”Boki je kriv”, sa c
iskaz ”Ceca je kriva” i sa d iskaz ”Duda je kriva”.
Tada date reqenice (koje moжemo oznaqiti redom sa A, B, C, D) moжemo
zapisati kao:
• q a ∧ b.
• q a ∧ q c.
• q c ∧ d.
• q b ⇒ c.
A∧B∧C ∧D
A B C D
a b c d qa qa ∧ b qc qa ∧ qc qc ∧ d qb qb ⇒ c A ∧ B ∧ C ∧ D
0 0 0 0 1 0 1 1 0 1 0 0
0 0 0 1 1 0 1 1 1 1 0 0
0 0 1 0 1 0 0 0 0 1 1 0
0 0 1 1 1 0 0 0 0 1 1 0
0 1 0 0 1 1 1 1 0 0 1 0
0 1 0 1 1 1 1 1 1 0 1 1
0 1 1 0 1 1 0 0 0 0 1 0
0 1 1 1 1 1 0 0 0 0 1 0
1 0 0 0 0 0 1 0 0 1 0 0
1 0 0 1 0 0 1 0 1 1 0 0
1 0 1 0 0 0 0 0 0 1 1 0
1 0 1 1 0 0 0 0 0 1 1 0
1 1 0 0 0 0 1 0 0 0 1 0
1 1 0 1 0 0 1 0 1 0 1 0
1 1 1 0 0 0 0 0 0 0 1 0
1 1 1 1 0 0 0 0 0 0 1 0
Kako smo dobili bar jednu 1 u posledƬoj koloni to su date izjave nepro-
tivreqne.
!
a b c d
Time smo dobili interpretaciju u kojoj su sve 4 formule
0 1 0 1
taqne, xto znaqi da je gorƬi skup formula neprotivreqan, tj. polazne
izjave nisu protivreqne.
(A ∩ B) ∪ C = A ∩ (B ∪ C) ⇔ C ⊆ A
v) p q L D
a b c a ∧ b (a ∧ b) ∨ c b ∨ c a ∧ (b ∨ c) p ⇔ q c ⇒ a L ⇔ D
0 0 0 0 0 0 0 1 1 1
0 0 1 0 1 1 0 0 0 1
0 1 0 0 0 1 0 1 1 1
0 1 1 0 1 1 0 0 0 1
1 0 0 0 0 0 0 1 1 1
1 0 1 0 1 1 1 1 1 1
1 1 0 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1 1 1
Kako smo dobili sve 1 u posledƬoj koloni koja odgovara datom iskazu,
to je on tautologija, pa dobijamo da i polazna skupovna formula vaжi.
̺ a b c d e d
a 1 1 0 1 0 e c
b 0 1 0 0 0
c 1 1 1 1 1
d 0 1 0 1 0 a b
e 1 1 0 1 1
b
d
a
e
c
Grupa D
77. Oznaqimo sa a iskaz ”Aca je kriv”, sa b iskaz ”Boki je kriv”, sa c
iskaz ”Ceca je kriva” i sa d iskaz ”Duda je kriva”.
Date reqenice (oznaqene redom sa A, B, C, D) moжemo zapisati kao:
• q a.
• q a ⇒ d.
• b ⇒ a.
• (a ∨ c) ∧ q d.
148 7. REXEƫA ZADATAKA
A∧B∧C ∧D
A B C D
a b c d q a q a ⇒ d b ⇒ a a ∨ c q d (a ∨ c) ∧ q d A ∧ B ∧ C ∧ D
0 0 0 0 1 0 1 0 1 0 0
0 0 0 1 1 1 1 0 0 0 0
0 0 1 0 1 0 1 1 1 1 0
0 0 1 1 1 1 1 1 0 0 0
0 1 0 0 1 0 0 0 1 0 0
0 1 0 1 1 1 0 0 0 0 0
0 1 1 0 1 0 0 1 1 1 0
0 1 1 1 1 1 0 1 0 0 0
1 0 0 0 0 1 1 1 1 1 0
1 0 0 1 0 1 1 1 0 0 0
1 0 1 0 0 1 1 0 1 0 0
1 0 1 1 0 1 1 0 0 0 0
1 1 0 0 0 1 1 1 1 1 0
1 1 0 1 0 1 1 1 0 0 0
1 1 1 0 0 1 1 0 1 0 0
1 1 1 1 0 1 1 0 0 0 0
v)
L p q D
a b c a ⇒ c a ∨ b (a ∨ b) ∧ c a ∨ c (a ∨ c) ∧ (a ∨ b) p ⇔ q L ⇒ D
0 0 0 1 0 0 0 0 1 1
0 0 1 1 0 0 1 0 1 1
0 1 0 1 1 0 0 0 1 1
0 1 1 1 1 1 1 1 1 1
1 0 0 0 1 0 1 1 0 1
1 0 1 1 1 1 1 1 1 1
1 1 0 0 1 0 1 1 0 1
1 1 1 1 1 1 1 1 1 1
Kako smo dobili sve 1 u posledƬoj koloni koja odgovara datom iskazu,
to je on tautologija, pa dobijamo da i polazna skupovna formula vaжi.
150 7. REXEƫA ZADATAKA
tj. A ⊆ C ⇔ (A ∪ B) ∩ C = (A ∪ C) ∩ (A ∪ B).
Kako je v(q) = 1 i v(p) = 0 samo za (a, b, c) = (1, 0, 0) i (a, b, c) = (1, 1, 0).
ƫima odgovaraju skupovi AB C i ABC . Znaqi, skupovi koje smo pred-
stavƩali Venovim dijagramima su jednaki samo ukoliko ne moжe biti
x ∈ AB C ∪ ABC , tj. ukoliko tih delova uopxte nema, xto je sluqaj ako
i samo ako je A ⊆ C.
8 6
2 3
def x
x̺y ⇐⇒ f (x) 6 f (y), gde je f (x) = .
x2 + 1
82. a) V = {1, 2, 3, 4, 5, 6}, E = {12, 23, 26, 34, 36, 45, 46}.
1 2 3 4 5 6
b)
1 0 1 0 0 0 0
1 6 5
2 1 0 1 0 0 1
A= 3 0 1 0 1 0 1
4 0 0 1 0 1 1
2 3 4 5 0 0 0 1 0 0
6 0 1 1 1 0 0
12 23 26 34 36 45 46 1 2 3 4 5 6
1 1 0 0 0 0 0 0 1 0 1 2 3 4 2
2 1 1 1 0 0 0 0 2 1 0 1 2 3 1
R= 3 0 1 0 1 1 0 0 D= 3 2 1 0 1 2 1
4 0 0 0 1 0 1 1 4 3 2 1 0 1 1
5 0 0 0 0 0 1 0 5 4 3 2 1 0 2
6 0 0 1 0 1 0 1 6 2 1 1 1 2 0
7.3. Kolokvijumi 2008. 153
v) Graf jeste povezan jer se iz svakog qvora moжe doi u bilo koji drugi
qvor.
g) 1 2 3 4 5 6 1 2 3 4 5 6
1 1 0 1 0 0 1 1 0 3 1 2 0 1
2 0 3 1 2 0 1 2 3 2 6 2 2 6
2 3
A = 3 1 1 3 1 1 2 A = 3 1 6 4 6 1 5
4 0 2 1 3 0 1 4 2 2 6 2 3 6
5 0 0 1 0 1 1 5 0 2 1 3 0 1
6 1 1 2 1 1 3 6 1 6 5 6 1 4
27 T5 T6 35
0 1 0 1
12 e T3 15 16 a T4 19
0 1 0 1
7 m r 8 9 T2 d 10
0 1
4 T1 g 5
0 1
1 f s 3
a d e f g m r s
10 111 00 11000 1101 010 011 11001
list a d e f g m r s
nivo 2 3 2 5 4 3 3 5
16 · 2 + 10 · 3 + 12 · 2 + 1 · 5 + 5 · 4 + 7 · 3 + 8 · 3 + 3 · 5 171
= ≈ 2.758.
16 + 10 + 12 + 1 + 5 + 7 + 8 + 3 62
g) Prva req je ,,a“ (10), trea req je ,,re“ (011|00) i peta req je ,,ram“
(011|10|010), dok druga, qetvrta i xesta ne predstavƩaju reqi date azbuke:
b) Sve reqi koje automat A1 prepoznaje su: reqi nad azbukom {a, b} koje
imaju bar 2 slova b i izmeu prva 2 slova b nalazi se bar jedno slovo a.
Sve reqi koje automat A2 prepoznaje su: one reqi nad azbukom {a, b} koje
imaju taqno jedno slovo b.
v) Regularna gramatika G1 = (N1 , T1 , Π1 , σ1∗ ) koja odgovara konaqnom
automatu A1 data je sa: N1 = 0, 1, 2, 3, 4 , T1 = {a, b}, Π1 = 0 → a0,
0 → b1, 1 → a2, 1 → b4, 2 → a2, 2 → b3, 3 → a3, 3 → b3, 3 → ε, 4 → a4, 4 → b4 i
σ1∗ = 0.
∗
Regularna gramatika G2 = (N 2 , T2 , Π2 , σ2 ) koja odgovara konaqnom
automatu A2 data je sa: N2 = 0, 1, 2 , T2 = {a, b}, Π2 = 0 → a1,
0 → b0, 1 → a2, 1 → b1, 1 → ε, 2 → a2, 2 → b2 i σ2∗ = 0.
g) Automat A 1 koji prepoznaje sve neprazne reqi koje ne prepoznaje au-
tomat A1 je prikazan na sledeoj slici (primetimo da smo staƬe 0 morali
da razbijemo na 2 staƬa e i 0 (gde e odgovara praznoj reqi, a 0 svim
nepraznim reqima oblika ak ).
a a,b
e 4
A 1: b a a,b
a a b
0 1 2 3
b a b
7.3. Kolokvijumi 2008. 155
1 2 3 4 5 6
1 2 3 1 0 1 0 1 0 0
2 1 0 0 1 1 0
A= 3 0 0 0 0 0 0
4 5 6 4 1 1 0 0 1 0
5 0 1 0 1 0 1
6 0 0 0 0 1 0
12 14 24 25 45 56 1 2 3 4 5 6
1 1 1 0 0 0 0 1 0 1 ∞ 1 2 3
2 1 0 1 1 0 0 2 1 0 ∞ 1 1 2
R= 3 0 0 0 0 0 0 D= 3 ∞ ∞ 0 ∞ ∞ ∞
4 0 1 1 0 1 0 4 1 1 ∞ 0 1 2
5 0 0 0 1 1 1 5 2 1 ∞ 1 0 1
6 0 0 0 0 0 1 6 3 2 ∞ 2 1 0
v) Graf G nije povezan jer iz qvora 3 ne moжemo doi u bilo koji drugi
qvor (jer iz Ƭega ne vodi nijedna grana), a to vidimo i iz tree vrste
i tree kolone u matrici D (ako imamo bar jedan simbol ∞ u D graf je
nepovezan).
g) U G ima 2 puta duжine 3 od qvora 1 do qvora 5: 1−2−4−5 i 1−4−2−5.
U G nema nijednog puta duжine 3 od qvora 1 do qvora 3.
Ove odgovore dobijamo i iz uokvirenih elemenata matrice A3 (matrica
A2 je potrebna za odreivaƬe A3 ):
1 2 3 4 5 6 1 2 3 4 5 6
1 2 1 0 1 2 0 1 2 5 0 5 2 2
2 1 3 0 2 1 1 2 5 4 0 5 6 1
2 3
A = 3 0 0 0 0 0 0 A = 3 0 0 0 0 0 0
4 1 2 0 3 1 1 4 5 5 0 4 6 1
5 2 1 0 1 3 0 5 2 6 0 6 2 3
6 0 1 0 1 0 1 6 2 1 0 1 3 0
87.
88.
Grupa B
89. a) Neparan broj t ∈ T moжemo predstaviti kao t = 2k − 1, gde je k ∈ N.
Zbog toga xto je x ∈ R∗ = R \ {0} uslov kojim je definisana relacija
moжemo pomnoжiti sa 3y, pa imamo
def x + 2y
x̺y ⇐⇒ (∃k ∈ N) = 2k − 1
3y
⇔ (∃k ∈ N) x + 2y = (2k − 1) · 3y
⇔ (∃k ∈ N) x = (6k − 1)y.
R x = (6 · 1 − 5) · x ⇒ x ̺ x;
AS x ̺ y, y ̺ x ⇒ x = (6k − 5)y, y = (6ℓ − 5)x ⇒ x = (6k − 5)(6ℓ − 5)x, a kako su
k, ℓ ∈ N to je 6k − 5 > 1 i 6ℓ − 5 > 1, pa dobijamo da je 6k − 5 = 1 i 6ℓ − 5 = 1
odakle sledi x = y;
T x ̺ y, y ̺ z ⇒ x = (6k − 5)y, y = (6ℓ − 5)z ⇒ x = (6k − 5)(6ℓ − 5)z =
6 · (6kℓ − 5k − 5ℓ + 6) − 5 z = (6m − 5)z ⇒ x ̺ z.
b) Ovo je relacija parcijalnog poretka jer imamo 1 6 ̺ 2 i 2 6 ̺ 1. Kako za
svaka 2 elementa ne postoji infimum (npr. za {1, 2} ne postoji) to struk-
tura (R∗ , ̺) nije rexetka.
v) Ako postoje odrediti najmaƬi, najvei, minimalan i maksimalan ele-
ment skupa S, kao i supremum i infimum podskupa S1 = {7, 13, 49, 91}.
1 2 3 4 5 6 14 45 54 52 26 32 36 63
1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0
2 0 0 0 0 0 1 2 0 0 0 −1 1 −1 0 0
A= 3 0 1 0 0 0 1 S= 3 0 0 0 0 0 1 1 −1
4 0 0 0 0 1 0 4 −1 1 −1 0 0 0 0 0
5 0 1 0 1 0 0 5 0 −1 1 1 0 0 0 0
6 0 0 1 0 0 0 6 0 0 0 0 −1 0 −1 1
1 2 3 4 5 6
1 0 3 ∞ 1 2 ∞ 1 2 3
2 ∞ 0 2 ∞ ∞ 1
D= 3 ∞ 1 0 ∞ ∞ 1
4 ∞ 2 ∞ 0 1 ∞
4 5 6
5 ∞ 1 ∞ 1 0 ∞
6 ∞ 2 1 ∞ ∞ 0
A2 je potrebna za odreivaƬe A3 ):
1 2 3 4 5 6 1 2 3 4 5 6
1 0 0 0 0 1 0 1 0 1 0 1 0 0
2 0 0 1 0 0 0 2 0 1 0 0 0 1
2 3
A = 3 0 0 1 0 0 1 A = 3 0 1 1 0 0 1
4 0 1 0 1 0 0 4 0 0 0 0 1 1
5 0 0 0 0 1 1 5 0 1 1 1 0 0
6 0 1 0 0 0 1 6 0 0 1 0 0 1
91.
92.
Grupa G
def x y
x̺y ⇐⇒ x2 y − x = y 2 x − y ⇔ = 2 ⇔ f (x) = f (y),
x2 +1 y +1
x
gde je f (x) = .
x2
+1
Moжe se pokazati (rexavaƬem odgovarajue kvadratne jednaqine) da je
x ̺ y ⇔ (x = y) ∨ (x = y1 ).
Ispitajmo osnovne osobine relacije ̺ na skupu R:
R f (x) = f (x) ⇒ x ̺ x; X
S x ̺ y ⇒ f (x) = f (y) ⇒ f (y) = f (x) ⇒ y ̺ x; X
1
AS x ̺ y, y ̺ x ⇒ x = y ne vaжi jer je 2 ̺ i ̺ 2, a 2 6= 12 ;
2
1
2
T x ̺ y, y ̺ z ⇒ f (x) = f (y), f (y) = f (z) ⇒ f (x) = f (z) ⇒ x ̺ z. X
a) Kako je relacija ̺ refleksivna, simetriqna i tranzitivna (R,S,T) ona
je relacija ekvivalencije.
Klase ekvivalencije su: [0] = {0}, [1] = {1}, [−3] = {−3, − 13 }, [2] = [ 12 ] =
{2, 21 }.
b) Relacija ̺ nije relacija poretka jer nije antisimetriqna (AS).
1 2 3 4 5 6 12 13 14 23 46 56
1 0 1 1 1 0 0 1 1 1 1 0 0 0
2 1 0 1 0 0 0 2 1 0 0 1 0 0
A= 3 1 1 0 0 0 0 R= 3 0 1 0 1 0 0
4 1 0 0 0 0 1 4 0 0 1 0 1 0
5 0 0 0 0 0 1 5 0 0 0 0 0 1
6 0 0 0 1 1 0 6 0 0 0 0 1 1
1 2 6
3 4 5
v) Skup
n qvorova grafa G je V = {1, 2, 3,o4, 5, 6}, dok je skup grana dat sa
E = {1, 2}, {1, 3}, {1, 4}, {2, 3}, {4, 6}, {5, 6} .
g) Graf je povezan jer se iz svakog qvora moжe doi do bilo kog drugog
qvora (to vidimo i iz matrice D pomou koje je dat graf — u Ƭoj nema
nijednog simbola ∞).
d) U G ima 1 put duжine 3 od qvora 4 do qvora 2: 4 − 1 − 3 − 2.
U G ima 3 puta duжine 3 od qvora 4 do qvora 6: 4 − 1 − 4 − 6 i 4 − 6 − 4 − 6
i 4 − 6 − 5 − 6.
Ove odgovore dobijamo i iz uokvirenih elemenata matrice A3 (matrica
A2 je potrebna za odreivaƬe A3 ):
1 2 3 4 5 6 1 2 3 4 5 6
1 3 1 1 0 0 1 1 2 4 4 4 1 0
2 1 2 1 1 0 0 2 4 2 3 1 0 1
2 3
A = 3 1 1 2 1 0 0 A = 3 4 3 2 1 0 1
4 0 1 1 2 1 0 4 4 1 1 0 0 3
5 0 0 0 1 1 0 5 1 0 0 0 0 2
6 1 0 0 0 0 2 6 0 1 1 3 2 0
95.
96.
160 7. REXEƫA ZADATAKA
Grupa D
97. a) U uslovu kojim je definisana relacija moжemo prebaciti x na
drugu stranu, pa imamo
def
x̺y ⇐⇒ (∃k ∈ N) x + y = 2k · x ⇔ (∃k ∈ N) y = (2k − 1)x.
Pokaжimo da je ̺ relacija poretka na N:
R x = (2 · 1 − 1) · x ⇒ x ̺ x; X
AS x ̺ y, y ̺ x ⇒ y = (2k − 1)x, x = (2ℓ − 1)y ⇒ x = (2k − 1)(2ℓ − 1)x, a kako su
k, ℓ ∈ N to je 2k − 1 > 1 i 2ℓ − 1 > 1, pa dobijamo da je 2k − 1 = 1 i 2ℓ − 1 = 1
odakle sledi x = y; X
T x ̺ y, y ̺ z ⇒ y = (2k − 1)x, z = (2ℓ − 1)y ⇒ z = (2k − 1)(2ℓ − 1)x =
2 · (2kℓ − k − ℓ + 1) − 1 x ⇒ x ̺ z. X
b) Ovo je relacija parcijalnog poretka jer imamo 1 6 ̺ 2 i 2 6 ̺ 1. Kako
za svaka 2 elementa ne postoji infimum (npr. za {1, 2} ne postoji) to
struktura (R∗ , ̺) nije rexetka.
v) Ne postoje najmaƬi, najvei i maksimalan element skupa N.
Postoji vixe minimalnih elemenata — to su brojevi 1,2,4,8,. . . tj. svi
brojevi oblika 2k , gde je k ∈ N0 .
g) Kako je 3 ̺ 1, a 1 6 ̺ 3 dobijamo da relacija ̺ nije simetriqna, a samim
tim nije ni relacija ekvivalncije.
14 15 24 25 36 45 1 2 3 4 5 6
1 1 1 0 0 0 0 1 0 2 ∞ 1 1 ∞
2 0 0 1 1 0 0 2 2 0 ∞ 1 1 ∞
S= 3 0 0 0 0 1 0 D= 3 ∞ ∞ 0 ∞ ∞ 1
4 1 0 1 0 0 1 4 1 1 ∞ 0 1 ∞
5 0 1 0 1 0 1 5 1 1 ∞ 1 0 ∞
6 0 0 0 0 1 0 6 ∞ ∞ 1 ∞ ∞ 0
7.3. Kolokvijumi 2008. 161
1 2 3 4 5 6 1 2 3 4 5 6
1 2 2 0 1 1 0 1 2 2 0 5 5 0
2 2 2 0 1 1 0 2 2 2 0 5 5 0
A2 = 3 0 0 1 0 0 0 A3 = 3 0 0 0 0 0 1
4 1 1 0 3 2 0 4 5 5 0 4 5 1
5 1 1 0 2 3 0 5 5 5 0 5 4 0
6 0 0 0 0 0 1 6 0 0 1 0 0 0
99.
100.
162 7. REXEƫA ZADATAKA
101. a = f ⇒ (k ∨ r), b = q k ⇒ f ∧ r, c = f ∨ k ∨ r, d = q b ⇒ a ∨ c.
Izjave su neprotivreqne (ima bar jedna 1 u posledƬoj koloni, tj. u
a ∧ b ∧ c ∧ d).
Daca je u pravu. Ni za jedan sport se ne moжe sa sigurnoxu utvrdi-
ti.
102. b) (a ⇒ b) ∧ (a ⇒ c) ⇔ a ⇒ c ∧ q(c ∧ q b) .
(ovoliko zagrada MORA, ako imate maƬe nije taqno, a sa vixe je moжda
OK)
v) Jeste tautologija.
Grupa B
105. a = f ∨ k ∨ r, b = f ⇒ q r, c = q k ⇒ f ∧ r, d = q c ⇒ a ∨ b.
Izjave su neprotivreqne (ima bar jedna 1 u posledƬoj koloni, tj. u a ∧
b ∧ c ∧ d).
Daca je u pravu. FON je pobedio u koxarci.
106. b) (a ⇒ b) ∧ q(b ⇒ c) ⇒ a ⇒ c ∧ q(a ∧ q c) . v) Nije tautologija.
(
1 x=y=1
107. v(L) = (L je sa sve kvantifikatorom ∀x ∈ N), v(D) =
0 inaqe
1 z = 1
1 y=1 .
0 inaqe
Formula oblika p ⇒ q je netaqna samo za 1 ⇒ 0, a to je nemogue. Stoga
je data formula uvek taqna.
Grupa G
109. a = f ∨ k ∨ r, b = r ⇒ (f ∨ k), c = q k ⇒ f ∧ r, d = q c ⇒ a ∨ b.
Izjave su neprotivreqne (ima bar jedna 1 u posledƬoj koloni, tj. u
a ∧ b ∧ c ∧ d).
Daca je u pravu. Ni za jedan sport se ne moжe sa sigurnoxu utvrdi-
ti.
110. b) (a ∨ b) ∧ d ∧ q(c ∧ q d) ⇒ (b ∧ q c) ∨ d. v) Jeste tautologija.
8
<1
>
x=0
v(L)=
:0
>
x 6= 0
1 x=0
8 (
<1
>
x6y 0 x = 0, y < 0
111. v(0 = x·z) = 1 z=0 , v(D)= , v(F ) = =
:0
>
x>y 1 inaqe
0 inaqe
1 x 6= 0
1 x6y .
0 x = 0, y < 0
Grupa D
113. a = q k ⇒ f ∧ r, b = f ∨ k ∨ r, c = r ⇒ q f , d = q b ⇒ a ∨ c.
Izjave su neprotivreqne (ima bar jedna 1 u posledƬoj koloni, tj. u a ∧
b ∧ c ∧ d).
Daca je u pravu. FON pobedio u koxarci.
114. b) (a ∨ b) ∧ c ∨ d ⇔ (b ∧ c ∨ d) ∧ q a. v) Nije tautologija.
118.
119.
120.
Grupa B
121.
122.
123.
124.
Grupa G
125.
126.
127.
128.
Grupa D
129.
130.
131.
132.
7.5. Domai zadaci 2008. 165
1◦ q p ⇒ (r ⇔ s).
2◦ q r ⇒ (s ∨ p).
3◦ s ⇒ (p ⇔ s).
p r s q p r ⇔ s 1◦ q r s ∨ p 2◦ p ⇔ s 3◦ 1◦ ∧ 2◦ ∧ 3◦
0 0 0 1 1 1 1 0 0 1 1 0
0 0 1 1 0 0 1 1 1 0 0 0
0 1 0 1 0 0 0 0 1 1 1 0
0 1 1 1 1 1 0 1 1 0 0 0
1 0 0 0 1 1 1 1 1 0 1 1
1 0 1 0 0 1 1 0 0 1 1 0
1 1 0 0 0 1 0 1 1 0 1 1
1 1 1 0 1 1 0 0 1 1 1 1
Kako smo dobili bar jednu 1 u posledƬoj koloni to su date izjave nepro-
tivreqne.
70 6 k 6 79, 3 ∤ k, 4 | k.
I II III IV V
A a a ⊤ ⊤ ⊤
B b b ⊤ ⊥ ⊤
C a b ⊤ ⊤ ⊥
D b c ⊤ ⊤ ⊥
E c a ⊥ ⊤ ⊤
I II III IV V A B C D E
b b ⊥ ⊥ ⊥ 0 3 2 2 1
b b ⊥ ⊥ ⊤ 1 4 1 1 2
b b ⊥ ⊤ ⊥ 1 2 3 3 2
b b ⊥ ⊤ ⊤ 2 3 2 2 3
b b ⊤ ⊥ ⊥ 1 4 3 3 0
b b ⊤ ⊥ ⊤ 2 5 2 2 1
b b ⊤ ⊤ ⊥ 2 3 4 4 1
b b ⊤ ⊤ ⊤ 3 4 3 3 2
b c ⊥ ⊥ ⊥ 0 2 1 3 1
b c ⊥ ⊥ ⊤ 1 3 0 2 2
b c ⊥ ⊤ ⊥ 1 1 2 4 2
b c ⊥ ⊤ ⊤ 2 2 1 3 3
b c ⊤ ⊥ ⊥ 1 3 2 4 0
b c ⊤ ⊥ ⊤ 2 4 1 3 1
b c ⊤ ⊤ ⊥ 2 2 3 5 1
b c ⊤ ⊤ ⊤ 3 3 2 4 2
c b ⊥ ⊥ ⊥ 0 2 2 1 2
c b ⊥ ⊥ ⊤ 1 3 1 0 3
c b ⊥ ⊤ ⊥ 1 1 3 2 3
c b ⊥ ⊤ ⊤ 2 2 2 1 4
c b ⊤ ⊥ ⊥ 1 3 3 2 1
c b ⊤ ⊥ ⊤ 2 4 2 1 2
c b ⊤ ⊤ ⊥ 2 2 4 3 2
c b ⊤ ⊤ ⊤ 3 3 3 2 3
c c ⊥ ⊥ ⊥ 0 1 1 2 2
c c ⊥ ⊥ ⊤ 1 2 0 1 3
c c ⊥ ⊤ ⊥ 1 0 2 3 3
c c ⊥ ⊤ ⊤ 2 1 1 2 4
c c ⊤ ⊥ ⊥ 1 2 2 3 1
c c ⊤ ⊥ ⊤ 2 3 1 2 2
c c ⊤ ⊤ ⊥ 2 1 3 4 2
c c ⊤ ⊤ ⊤ 3 2 2 3 3
Drugo rexeƬe:
Uradiemo zadatak bez uslova ,,Poznato je da na prva dva pitaƬa taqan
odgovor nije pod a“ koji je vixak.
I II III IV V
Aca a a ⊤ ⊤ ⊤ 1
Beba b b ⊤ ⊥ ⊤ 3
Caca a b ⊤ ⊤ ⊥ 2
Doki b c ⊤ ⊤ ⊥ 4
Ema c a ⊥ ⊤ ⊤ 0
Konaqno dobijamo da Doki ima najvixe (4) taqnih odgovora.
A
a b c a ∨ b a ∨ c b ∨ c L D L ∨ D qA
0 0 0 0 0 0 0 0 0 1
0 0 1 0 1 1 0 0 0 1
0 1 0 1 0 1 0 1 1 0
0 1 1 1 1 0 1 0 1 0
1 0 0 1 1 0 1 0 1
1 0 1 1 0 1 0 1 1
1 1 0 0 1 1 0 0 0
1 1 1 0 0 0 0 0 0
Iskaz A moжe biti taqan i to je za valuacije: v(a) = 0, v(b) = 1,
v(c) = 0; v(a) = 0, v(b) = 1, v(c) = 1; v(a) = 1, v(b) = 0, v(c) = 0 i v(a) = 1,
v(b) = 0, v(c) = 1.
Za valuacije v(a) = 0, v(b) = 1, v(c) = 0 i v(a) = 0, v(b) = 1, v(c) = 1
imamo da Aca uvek laжe (jer je Laжeti), pa iako je to taqno kao iskaz,
tu reqenicu ne moжemo uzeti kao istinitu, te uzimamo samo valuacije
v(a) = 1, v(b) = 0, v(c) = 0 i v(a) = 1, v(b) = 0, v(c) = 1 za koje je v(A) = 1.
Ako Aca laжe, onda posmatramo negaciju q A i ona je taqna za valuacije
v(a) = 0, v(b) = 0, v(c) = 0 i v(a) = 0, v(b) = 0, v(c) = 1. Zajedniqko za sve
ove 4 valuacije (predstavƩene crvenom bojom u tablici) je v(b) = 0, tj.
Bane je Laжeti.
170 7. REXEƫA ZADATAKA
Kako smo dobili samo jednu 1 u posledƬoj koloni, to zadatak ima jedin-
stveno rexeƬe. Ono odgovara valuaciji v(a) = 1, v(b) = 0, v(c) = 1,
v(d) = 0, tj. Emu je posetila Ana u 20:00, Beba u 9:00, Coka u 22:00, Daca
u 11:00, tj. Emu su posetile sledeim redosledom:
Napomena. Na osnovu iskaza q imamo da Ana nije posetila Emu prva (tj.
nije ujutru, nego uveqe), pa je v(a) = 1, tj. dovoƩno je ispitati samo doƬu
polovinu tablice!
Drugo rexeƬe:
Kako postoji poseta izmeu Ane i Bebe, jedna od Ƭih dve je Emu posetila
ujutro, a druga uveqe. Kako Ana nije posetila Emu i pre Coke i pre
Dace, sledi da je Anina poseta bila uveqe. Dakle, Bebina poseta je
bila ujutro, pa su Coka i Daca Emu posetile nakon Ƭe. Poxto Coka
nije posetila Emu izmeu Bebe i Dace, sledi da je Dacina poseta bila
ujutro, a Bebina uveqe.
138.
139.
140.
141.
A I
Predikatski raqun
143.
144.
145.
146.
147.
148.
149.
150.
151.
152.
Relacijske strukture
153.
154.
155.
156.
157.
158.
159.
160.
161.
162.
Teorija grafova
163.
164.
165.
166.
7.5. Domai zadaci 2008. 173
167.
168.
169.
170.
171.
172.
174.
175.
176.
177.
178.
179.
180.
181.
182.
174 7. REXEƫA ZADATAKA
184.
185.
186.
187.
188.
189.
190.
191.
192.
Predikatski raqun
193.
194.
195.
196.
197.
198.
199.
200.
201.
202.
Relacijske strukture
203.
204.
7.6. Domai zadaci 2009. 175
205.
206.
207.
208.
209.
210.
211.
212.
Teorija grafova
213.
214.
215.
216.
217.
218.
219.
220.
221.
222.
224.
225.
226.
227.
228.
229.
176 7. REXEƫA ZADATAKA
230.
231.
232.
8.2. Predikatski raqun 177
8. Napomene
U ovoj glavi emo dati spisak zadataka po oblastima. Zadaci qiji je
broj datim plavim masnim slovima (boldovano) imaju kompletno rexeƬe
u zbirci, dok svi ostali zadaci sadrжe krae upuctvo za rexavaƬe, kao
i rezultate.
Takoe, u okviru svake oblasti ovde emo dati napomene (uz svaku
napomenu ide broj jednog odgovarajueg zadatka, mada se te napomene
odnose na vixe sliqnih zadataka) vezane za rexavaƬe odreenih zadata-
ka. Tom prilikom je dat poseban osvrt na najqexe grexke.
Logiqko–kombinatorni zadaci:
1, 5, 29, 45 (algoritam), 61, 65, 69, 73, 77, 101, 105, 109, 113, 133-137,
140, 184-187.
Zadaci sa skupovima:
13, 25, 33, 41, 49, 62, 66, 70, 74, 78, 102, 106, 110, 114, 138-142, 188-192.
xto je jednako (∃ x ∈ R) (5 = x ∧ x 6= y) ∨ xy = x + y − 1.
Zadaci iz grafova:
3, 7, 11, 15, 27, 35, 43, 51, 82, 86, 90, 94, 98, 118, 122, 126, 130, 163-166,
213-217.
Napomena
n 3. U delu pod b) ovog zadatka o pogrexno je staviti
E = (1, 2), (1, 4), (2, 3), (2, 5), (3, 6), (4, 5), (4, 6) zato xto se ureeni parovi
qvorova koriste
n samo za orijentisane
o grane! Priznavano je ko je stavio
samo E = 12, 14, 23, 25, 36, 45, 46 .
Qesta grexka je bila i da se za V i E ne koriste skupovne oznake!
Zadaci iz stabala:
11, 19, 23, 39, 47, 55, 59, 167-170, 172, 218 i 219 (logiqko–kombinatorni),
220, 221 i
zadaci sa Hafmanovim kodom:
31, 83, 87, 91, 95, 99, 119, 123, 127, 131, 171, 222.
n o
E = (1, 3), (3, 5), (3, 6), (6, 8), (8, 15), (9, 13), (9, 15), (15, 18), (16, 18)
0 1 2 3
A1 : b a b
a
a
[3] Ken Bogart, Cliff Stein, Discrete Math in Computer Science, web draft, 2002.
[5] Dragoš Cvetković, Teorija grafova i njene primene, Naučna knjiga, Beograd,
1990.
[10] John A. Dossey, Albert D. Otto, Lawrence E. Spence, Charles Vanden Eyn-
den, Discrete Mathematics, Pearson, Addison Wesley, Boston, 2006.
Gardner M. The Second Scientific American Book of Mathematical Puzzles
and Diversions(Chicago, 1987)(600dpi)(O)(T)(254s).djvu
[11] Martin Gardner, The last recreations: hydras, eggs, and other mathematical
mystifications, Copernicus Springer-Verlag, New York, 1997.
[12] Martin Gardner, The 2nd Scientific American book of mathematical puzzles
and diversions, The University of Chicago Press, Chicago, 1987.
181
182 LITERATURA
[13] Martin Gardner, Wheels, life, and other mathematical amusements, W.H.
Freeman and Company, New York, 1983