Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.1.PODSTAWOWEPOJĘCIAIDEFINICJE
7
będziemypisaćpoprostu,żeSHC(A)=G.Ografietakimpowiemy
również,żejestSHCdlaalgorytmuA.
DEFINICJA1.19.GrafGnazywamytrudnymdokolorowania(ang.hard-
to-color)dlaalgorytmuA,jeżelidowolnaimplementacjaalgorytmuA
kolorujegrafwsposóbnieoptymalny,tj.każdysposóbrozstrzygania
sytuacjiremisowychprowadzidopokolorowańnieoptymalnych.
DEFINICJA1.20.DladanegoalgorytmuAprzezHC(A)oznaczymyzbiór
najmniejszych(wsensierzędu)trudnychdokolorowaniagrafówdla
algorytmuA.JeżeliGjestjedynymelementemzbioruHC(A),to
będziemypisaćpoprostu,żeHC(A)=G.Ografietakimpowiemy
również,żejestHCdlaalgorytmuA.
Poszukiwaniegrafówtrudnychdokolorowaniaprowadzisięzwy-
klewielotorowo.Częstopomocnajestprzytymteoretycznaanalizadzia-
łaniaiwłasnościkonkretnejheurystyki.Pierwszegrafytrudnedokoloro-
waniaudałosięznaleźćwlatachdziewięćdziesiątych.Niestety,rozwój
idoskonaleniemetod,azwłaszczaichrosnącakomplikacja,czyniąta-
analizęcoraztrudniejszą.Naturalnądrogąposzukiwaniasłabychpunk-
tówmetodkolorowaniawydajesięwięcwykorzystaniemetodkom-
puterowych.Wyczerpująceprzeszukiwanieprzestrzenimożliwychpoko-
lorowań,generowanychprzezokreślonąmetodękolorowania,umożli-
wiaznalezieniezestuprocentowąpewnościądowolnejliczbygrafówtrud-
nychdokolorowaniadladanejmetody.Istotnąprzeszkodąjesttujed-
nakczastrwaniatakiejoperacji.Należybowiemuświadomićsobie,że
nawetdlastosunkowoniewielkiejliczbywierzchołkównliczbamożli-
wychgrafówrozpiętychnatychwierzchołkachosiągawartościniemal
astronomiczne,gdyżliczbagrafówjestwyrażonafunkcjąsuperwy-
kładnicząwzględemn.Dodatkowonależypamiętać,żedladanegogra-
fuzwyklemożeistniećwieleróżniącychsięodsiebie,legalnychreali-
zacjidanejmetody,cododatkowozwielokrotniarozmiarprzeszukiwa-
nejprzestrzeni.Dlaznalezionychwtakisposóbgrafówprowadzisięzwy-
kleintensywnepraceteoretyczne,pozwalającezweryfikowaćpoprawność
uzyskanychwyników.Teoretyczneposzukiwaniaianalizagrafówtrud-
nychumożliwiająszacowaniespodziewanejefektywnościmetodyico
ważneczęstosugerująusprawnienia,któreprzyczyniająsiędotwo-
rzenianowych,efektywniejszychmetodkolorowaniagrafów.Ponadto
umożliwiająporównywanieefektywnościalgorytmówmiędzysobą,gdyż
algorytmyskuteczniejszecharakteryzująsiętym,żeichgrafytrudnedo
kolorowaniawiększeodanalogicznychgrafówmetodmniejwy-
dajnych.