Teori Grafik - Penutup
Grafik penutup adalah subgraf yang berisi semua simpul atau semua sisi yang berhubungan dengan graf lainnya. Sebuah subgrafik yang berisi semua simpul disebut aline/edge covering. Sebuah subgrafik yang berisi semua tepi disebut avertex covering.
Penutup Garis
Misalkan G = (V, E) adalah grafik. Himpunan bagian C (E) disebut garis yang menutupi G jika setiap simpul dari G bersisian dengan setidaknya satu sisi di C, yaitu,
derajat (V) ≥ 1 ∀ V ∈ G
karena setiap simpul terhubung dengan simpul lain oleh sebuah sisi. Karenanya ia memiliki derajat minimal 1.
Example
Perhatikan grafik berikut -
Subgrafinya yang memiliki penutup garis adalah sebagai berikut -
C 1 = {{a, b}, {c, d}}
C 2 = {{a, d}, {b, c}}
C 3 = {{a, b}, {b, c}, {b, d}}
C 4 = {{a, b}, {b, c}, {c, d}}
Penutupan garis 'G' tidak ada jika dan hanya jika 'G' memiliki simpul terisolasi. Penutupan garis dari grafik dengan simpul 'n' memiliki setidaknya [n / 2] sisi.
Minimal Line Covering
Sebuah garis yang menutupi C dari grafik G dikatakan minimal if no edge can be deleted from C.
Example
Pada grafik di atas, subgraf yang memiliki penutup garis adalah sebagai berikut:
C 1 = {{a, b}, {c, d}}
C 2 = {{a, d}, {b, c}}
C 3 = {{a, b}, {b, c}, {b, d}}
C 4 = {{a, b}, {b, c}, {c, d}}
Di sini C 1 , C 2 , C 3 adalah penutup garis minimal, sedangkan C 4 bukan karena kita bisa menghapus {b, c}.
Penutupan Garis Minimum
Itu juga dikenal sebagai Smallest Minimal Line Covering. Penutupan garis minimal dengan jumlah tepi minimum disebut penutup garis minimum 'G'. Jumlah tepi dalam garis minimum yang menutupi di 'G' disebutline covering numberdari 'G' (α 1 ).
Example
Dalam contoh di atas, C 1 dan C 2 adalah garis penutup minimum dari G dan α 1 = 2.
Setiap penutup garis mengandung penutup garis minimal.
Setiap penutup garis tidak mengandung penutup garis minimum (C 3 tidak mengandung penutup garis minimum.
Tidak ada penutup garis minimal yang mengandung siklus.
Jika suatu garis yang menutupi 'C' tidak memiliki jalur dengan panjang 3 atau lebih, maka 'C' adalah garis penutup minimal karena semua komponen 'C' adalah grafik bintang dan dari grafik bintang, tidak ada tepi yang dapat dihapus.
Vertex Covering
Misalkan 'G' = (V, E) menjadi grafik. Himpunan bagian K dari V disebut puncak yang menutupi 'G', jika setiap tepi 'G' bersisian dengan atau ditutupi oleh simpul di 'K'.
Example
Perhatikan grafik berikut -
Subgrafik yang dapat diturunkan dari grafik di atas adalah sebagai berikut -
K 1 = {b, c}
K 2 = {a, b, c}
K 3 = {b, c, d}
K 4 = {a, d}
Di sini, K 1 , K 2 , dan K 3 memiliki simpul yang menutupi, sedangkan K 4 tidak memiliki simpul yang menutupi karena tidak menutupi tepi {bc}.
Minimal Vertex Covering
Sebuah simpul 'K' dari graf 'G' dikatakan sebagai simpul minimal yang menutupi jika tidak ada simpul yang dapat dihapus dari 'K'.
Example
Pada grafik di atas, subgrafik yang memiliki penutup puncak adalah sebagai berikut -
K 1 = {b, c}
K 2 = {a, b, c}
K 3 = {b, c, d}
Di sini, K 1 dan K 2 adalah penutup simpul minimal, sedangkan di K 3 , simpul 'd' bisa dihapus.
Penutupan Vertex Minimum
Ia juga dikenal sebagai penutup simpul minimal terkecil. Sebuah simpul minimal yang menutupi graf 'G' dengan jumlah simpul minimal disebut penutup simpul minimum.
Jumlah simpul pada simpul minimal yang menutupi 'G' disebut simpul yang menutupi bilangan G (α 2 ).
Example
Pada grafik berikut, subgrafik yang memiliki penutup puncak adalah sebagai berikut -
K 1 = {b, c}
K 2 = {a, b, c}
K 3 = {b, c, d}
Di sini, K 1 adalah penutup puncak minimum dari G, karena hanya memiliki dua simpul. α 2 = 2.