SOLUSI TUGAS PERTEMUAN 6

Matematika Diskrit (TIK1.61.2304)

1. Untuk tiap relasi pada {1, 2, 3, 4} berikut, tentukan apakah ia refleksif, setangkup,
tolak setangkup dan menghantar.
a. {(1,2), (1,3), (2,1), (2,4), (3,3), (3,4), (4,2)}
Penyelesaian :
 Tidak refleksif, karena (1,1), (2,2), dan (4,4)  R
 Tidak setangkup, karena (1,3)  R tetapi (3,1)  R dan (3,4)  R tetapi (4,3)  R
 Tidak tolak sertangkup, karena (1,2) dan (2,1) anggota R tetapi 1 ≠ 2
 Tidak Menghantar, terbukti dengan tabel berikut :
(a,b) (b,c) (a,c)
(1,2) (2,1) (1,1)
(1,2) (2,4) (1,4)
(1,3) (3,3) (1,3)
(1,3) (3,4) (1,4)
(2,1) (1,2) (2,2)
(2,1) (1,3) (2,3)
(2,4) (4,2) (2,2)
(3,3) (3,4) (3,4)
(3,4) (4,2) (3,2)
(4,2) (2,1) (4,1)
(4,2) (2,4) (4,4)
Misalnya (1,2)  R dan (2,1)  R tetapi (1,1)  R

b. {(2,3), (3,2), (3,3)}

Penyelesaian :
 Tidak refleksif, karena (1,1), (2,2), (3,3), dan (4,4)  R
 Setangkup, karena (2,3)  R dan (3,2)  R
 Tidak tolak sertangkup, karena (2,3) dan (3,2) anggota R tetapi 2 ≠ 3
 Tidak Menghantar, karena (2,3)  R dan (3,2)  R tetapi (2,2)  R. terbukti
dengan tabel berikut :
(a,b) (b,c) (a,c)
(2,3) (3,2) (2,2)
(2,3) (3,3) (2,3)
(3,2) (3,3) (3,3)
(3,3) (3,2) (3,2)

c. {(1,1), (2,2), (3,3), (4,4)}

Penyelesaian :
 Refleksif, karena (1,1), (2,2), (3,3), dan (4,4)  R
 Setangkup
 Tolak sertangkup
 Menghantar

d. {(1,2), (1,3), (2,1), (2,3), (2,4), (3,1), (3,4)}

Penyelesaian :
 Tidak refleksif, karena (1,1), (2,2), (3,3), dan (4,4)  R
  Tidak setangkup, karena (2,3)  R tetapi (3,2)  R
 Tidak tolak sertangkup, karena (1,2) dan (2,1) anggota R tetapi 1 ≠ 2
 Tidak Menghantar, karena (1,2)  R dan (2,1)  R tetapi (1,1)  R. Untuk yang
lainnya terbukti dengan tabel berikut :
(a,b) (b,c) (a,c)
(1,2) (2,1) (1,1)
(1,2) (2,3) (1,3)
(1,2) (2,4) (1,4)
(1,3) (3,1) (1,1)
(1,3) (3,4) (1,4)
(2,1) (1,2) (2,2)
(2,1) (1,3) (2,3)
(2,3) (3,1) (2,1)
(2,3) (3,4) (2,4)
(2,4) - -
(3,1) (1,2) (3,2)
(3,1) (1,3) (3,3)
(3,4) - -

2. Temukan klosur refleksif, klosur setangkup, dan klosur menghantar dari relasi {(2,1),
(2,3), (2,2), (3,1), (3,4), (4,1), (4,3)} pada himpunan {1, 2, 3, 4}.
Penyelesaian :
a. Klosur refleksif
R = {(2,1), (2,3), (2,2), (3,1), (3,4), (4,1), (4,3)}
∆ = {(1,1), (2,2), (3,3), (4,4)}
𝑅 ∪ ∆= {(2,1), (2,3), (2,2), (3,1), (3,4), (4,1), (4,3)} ∪ {(1,1), (2,2), (3,3), (4,4)}
= {(1,1), (2,1), (2,2), (2,3), (3,1), (3,3), (3,4), (4,1), (4,3), (4,4)}

b. Klosur setangkup
R = {(2,1), (2,3), (2,2), (3,1), (3,4), (4,1), (4,3)}
R-1 = {(1,2), (3,2), (2,2), (1,3), (4,3), (1,4), (3,4)}
𝑅 ∪ 𝑅−1 = {(2,1), (2,3), (2,2), (3,1), (3,4), (4,1), (4,3)} ∪ {(1,2), (3,2), (2,2), (1,3), (4,3), (1,4), (3,4)}
= {(1,2), (1,3), (1,4), (2,1), (2,2), (2,3), ((3,1), (3,2), (3,4), (4,1), (4,3)}

c. Klosur menghantar
0 0 0 0
𝑀𝑅 = [1 1 1 0]
1 0 0 1
1 0 1 0

0 0 0 0 0 0 0 0 0 0 0 0
𝑀𝑅2 = 𝑀𝑅 . 𝑀𝑅 = [1 1 1 0] . [1 1 1 0] = [1 1 1 1]
1 0 0 1 1 0 0 1 1 0 1 0
1 0 1 0 1 0 1 0 1 0 0 1

0 0 0 0 0 0 0 0 0 0 0 0
𝑀𝑅3 = 𝑀𝑅2 . 𝑀𝑅 = [1 1 1 1] . [1 1 1 0] = [ 1 1 1 1]
1 0 1 0 1 0 0 1 1 0 0 1
1 0 0 1 1 0 1 0 1 0 1 0

0 0 0 0 0 0 0 0 0 0 0 0
𝑀𝑅4 = 𝑀𝑅3 . 𝑀𝑅 = [1 1 1 1] . [1 1 1 0] = [ 1 1 1 1]
1 0 0 1 1 0 0 1 1 0 1 0
1 0 1 0 1 0 1 0 1 0 0 1
 𝑀𝑅∗ = 𝑀𝑅 ∨ 𝑀𝑅2 ∨ 𝑀𝑅3 ∨ 𝑀𝑅4
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
= [1 1 1 0] ∨ [1 1 1 1] ∨ [ 1 1 1 1] ∨ [ 1 1 1 1]
1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0
1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1

0 0 0 0
= [1 1 1 1]
1 0 1 1
1 0 1 1

Klosur menghantar = {(2,1), (2,2), (2,3), (2,4), (3,1), (3,3), (3,4), (4,1), (4,3),(4,4)}

3. Manakah relasi pada {1, 2, 3, 4} berikut yang merupakan relasi kesetaraan dan relasi
pengurutan parsial?
a. {(1,1), (2,2), (3,3)}
Penyelesaian :
 Tidak refleksif, karena (4,4)  R
 Setangkup
 Tolak sertangkup
 Menghantar
 Bukan relasi kesetaraan dan relasi pengurutan parsial karea tidak refleksif

b. {(2,2), (2,3), (3,2), (3,3)}

Penyelesaian :
 Tidak refleksif, karena (1,1), dan (4,4)  R
 Setangkup
 Tidak tolak sertangkup, karena (2,3) dan (3,2) anggota R tetapi 2 ≠ 3
 Menghantar, terbukti dengan tabel berikut :
(a,b) (b,c) (a,c)
(2,2) (2,3) (2,3)
(2,3) (3,2) (2,2)
(2,3) (3,3) (2,3)
(3,2) (3,3) (3,3)
(3,3) (3,2) (3,2)
 Bukan relasi kesetaraan karena tidak refleksif
 Bukan relasi pengurutan parsial karena tidak refleksif dan tidak tolak
setangkup

c. {(1,1), (1,3), (2,2), (2,3), (3,1), (3,2), (3,3), (4,4)}

Penyelesaian :
 Refleksif, karena (1,1), (2,2), (3,3), dan (4,4)  R
 Setangkup
 Tidak tolak sertangkup, karena (1,3) dan (3,1) anggota R tetapi 1 ≠ 3
 Tidak Menghantar, karena (1,3)  R dan (3,2)  R tetapi (1,2)  R. Untuk yang
lainnya terbukti dengan tabel berikut :
(a,b) (b,c) (a,c)
(1,1) (1,3) (1,3)
(1,3) (3,1) (1,1)
(1,3) (3,2) (1,2)
(1,3) (3,3) (1,3)
(2,2) (2,3) (2,3)
 (2,3) (3,1) (2,1)
(2,3) (3,2) (2,2)
(2,3) (3,3) (2,3)
(3,1) (1,1) (3,1)
(3,1) (1,3) (3,3)
(3,2) (2,2) (3,2)
(3,2) (2,3) (3,3)
(3,3) (3,1) (3,1)
(3,3) (3,2) (3,2)
(4,4) -
 Bukan relasi kesetaraan karena tidak menghantar
 Bukan relasi pengurutan parsial karena tidak tolak setangkup dan tidak
menghantar

d. {(1,1), (1,2), (2,1), (2,2), (3,3)}

Penyelesaian :
 Tidak refleksif, karena (4,4)  R
 Setangkup
 Tidak tolak sertangkup, karena (1,2) dan (2,1) anggota R tetapi 1 ≠ 2
 Menghantar, terbukti dengan tabel berikut :
(a,b) (b,c) (a,c)
(1,1) (1,2) (1,2)
(1,2) (2,1) (1,1)
(1,2) (2,2) (1,2)
(2,1) (1,1) (2,1)
(2,1) (1,2) (2,2)
(2,2) (2,1) (2,1)
(3,3) - -
 Bukan relasi kesetaraan karena tidak refleksif
 Bukan relasi pengurutan parsial karena tidak refleksif dan tidak tolak
setangkup

4. Diketahui dua buah relasi, R dan S, yang masing-masing didefinisikan pada himpunan
A = {a, b, c, d}. Masing-masing relasi direpresentasikan dalam graf berarah berikut
ini:
a b a b

d c d c

R S
a. Tentukan apakah R dan S refleksif, setangkup, tolak setangkup dan/atau
menghantar. Jelaskan alasannya.
Penyelesaian :
1) Relasi R
Tidak refleksif, karena (a,a), (c,c), dan (d,d)  R atau karena a,c, dan d tidak ada sisi
loop
Tidak Setangkup, karena (a,b)  R tetapi (b,a)  R atau karena dari a ke b ada sisi
berarah sedangkan dari b ke a tidak ada
 Tolak sertangkup, karena Tidak ada panah bolak-balik antara dua simpul
Tidak menghantar, karena (a,d)  R dan (d,c)  R tetapi (a,c)  R atau karena ada
sisi berarah dari a ke d dan sisi berarah dari d ke c, tetapi tidak ada sisi berarah dari a
ke c.

2) Relasi S
Tidak refleksif, karena (a,a) dan (d,d)  S atau karena a dan d tidak ada sisi loop
Tidak Setangkup, karena (a,b)  S tetapi (b,a)  S atau karena dari a ke b ada sisi
berarah sedangkan dari b ke a tidak ada
Tidak tolak sertangkup, karena (a,c)  S dan (c,a)  S tetapi a ≠ c atau karena ada
sisi berarah dari a ke c dan sisi berarah dari c ke a
Tidak menghantar, karena (b,a)  R dan (a,d)  R tetapi (b,d)  R atau karena ada
sisi berarah dari b ke a dan sisi berarah dari a ke d, tetapi tidak ada sisi berarah dari b
ke d.

b. Tentukan graf berarah yang menyatakan R  S.

Penyelesaian :
R = {(a,b), (a,d), (b,b), (b,d), (c,a), (c,b), (d,c)}
S = {(a,c), (a,d), (b,a), (b,b), (b,c), (c,a), (c,c), (d,a), (d,c)}
𝑹 ⊕ 𝑺 = {(𝒂, 𝒃), (𝒂, 𝒄), (𝒃, 𝒂), (𝒃, 𝒄), (𝒃, 𝒅), (𝒄, 𝒃), (𝒄, 𝒄), (𝒅, 𝒂)}

a b

d c