Vertex cover problem

Vertex cover (prekrivač ivica) je skup cvorova u grafu takav da svaka ivica u grafu
ima barem jedan čvor iz tog skupa. Drugim rečima to je skup čvorova koji
pokrivaju sve ivice u grafu.

Primer: ako imamo graf sa ivicama AB, AC, BD i CD, jedan mogući vertex cover bi
bio skup čvorova {A, D}, jer bi to pokrilo sve bridove. Međutim, postoje i drugi
mogući vertex coveri za ovaj graf, kao što su {A, B} ili {B, C}.

A B

C D

Cilj vertex cover problema je pronaći najmanji skup čvorova u grafu koji pokriva
sve ivice grafa. U drugim rečima, treba pronaći najmanji mogući vertex cover za
dati graf.
Vertex cover problem je važan u mnogim područjima, uključujući optimizaciju,
teoriju algoritama, planiranje rute i mrežnu sigurnost.
Ovaj problem je NP-težak, što znači da mu se ne može rešiti algoritmom
polinomijalnog vremena. Uz to teško ga je aproksimirati. Najbolji algoritam za
aproksimaciju daje rešenje koje je najviše dvostruko od najboljeg.
 Aproksimativni algoritam
Aproksimativni algoritam za problem vertex covera radi na sljedeći način:
1. Inicijalno, skup pokrivenih čvorova je prazan.
2. Dok postoje nepokrivene ivice u grafu odabere se ivica koja povezuje dva
nepokrivena čvora i dodaju se njeni krajevi u skup pokrivenih čvorova.
3. Vraća se skup pokrivenih čvorova kao rješenje.
Ovaj algoritam neće uvek pronaći minimalni vertex cover, ali će uvek pronaći
rešenje koje je najviše dvostruko veće od optimalnog rešenja. Dakle, ovo rešenje
nije nužno optimalno. Rešenje koje dobijemo zavisno je od izbora ivica. U nekim
slučajevima, izbor pogrešne ivice može dovesti do lošeg rešenja.
Ovaj algoritam radi u složenosti O(E log N), gde je E broj ivica u grafu, a N je broj
čvorova, tako da je jako brz što ga čini korisnim za rad sa velikim grafovima. Uz to
lak je za implementiranje i obično daje rešenje približno optimalnom.
 Primer algoritma na grafu
1. Odaberemo neku ivicu

2. Zatim ubacimo njene čvorove u skup I izbacimo sve ivice ta dva čvora

3. Ovo se ponavlja dok ne ostanemo bez nepokrivenih ivica

Dobijeno rešenje je skup svih crvenih čvorova sa slike.