Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
8
1.KLASYCZNEKOLOROWANIEGRAFÓW
Ponieważwielenowychalgorytmówrealizującychprzybliżonekolo-
rowaniegrafówkorzystazróżnychpodejść,częstozdeterminowanychspe-
cyfikąproblemu,trudnościąsamąwsobiestajesiętestowanieefektyw-
nościtakichalgorytmów.Możliwegeneralniedwarozsądne,niewyklu-
czającesiępodejścia.Pierwszeznichpoleganadoborzetakichrodzin
grafówtrudnych,którewiążąsięzdedykowanymimetodamikolorowa-
nia,stosowanymidladanejklasyproblemów,lubtakichrodzingrafów
trudnych,którewiążąsięzcharakterystycznymikonfiguracjamidanych
wejściowych.Wdrugimpodejściuzakładasięoddzielneposzukiwanie
iwykorzystywaniegrafówtrudnychdlacałychrodzinmetod.Grafytakie
będziemynazywaćbenczmarkami.Wanalogicznysposóbzdefiniujemy
słabebenczmarki,tj.grafydośćtrudnedokolorowaniadlawielualgoryt-
mów.
DEFINICJA1.21.NiechA={A1,
...,Ak}będzierodzinąalgorytmówko-
lorowaniagrafów.GrafGnazywamybenczmarkiem(ang.benchmark)
dlarodzinyA,jeżeliGjestHCdlakażdegoAi,i=1,
...,k.GrafG
nazywamysłabymbenczmarkiem(ang.weakbenchmark)dlarodzi-
nyA,jeżeliGjestSHCdlakażdegoAi,i=1,
...,k.
Zauważmy,żedlapewnychrodzinalgorytmówbenczmarkinieist-
nieją,ponieważnieistniejądlanichgrafytrudnedokolorowania(choć
zawszeistniejągrafydośćtrudne).Zauważmyrównież,żewspomniane
podejściadoanalizymetodkolorowaniapozwalająuzyskaćinne,uzupeł-
niającesięinformacje.Testowaniemetodyprzybliżonejnaszerokiejklasie
grafówdużychrozmiarów,trudnychdlainnychmetod,lubwręcznagra-
fachogólnychpozwalaocenićnp.jakwielejestgrafówtrudnych,jakduży
procentgrafówztakiejpopulacjijestkolorowanynieoptymalnie,jakbar-
dzonieoptymalnepokolorowaniamożegenerowaćtestowanaheurystyka.
Przeglądznanychbenczmarkóworaznajmniejszychgrafówtrudnychidość
trudnychdlaróżnychmodeliorazheurystykmożnaznaleźćw[22,25].
1.2.
1.2.1.
Klasycznekolorowaniewierzchołków
Złożonośćproblemuoraznajprostszeoszacowania
Klasycznekolorowaniewierzchołkówgrafuczymówiącściślejza-
danieodpowiadająceznalezieniuoptymalnegowsensieklasycznympo-
kolorowaniawierzchołkówdowolnegografu,jestproblememNP-trudnym
[7],czylimówiącnieformalnietakim,któregoniemożnarozwiązać
praktyczniewczasiewielomianowym.Ojegotrudnościświadczyteżfakt,
żeskonstruowaniealgorytmuk-względnieprzybliżonegoik-absolutnie