Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
6
1.KLASYCZNEKOLOROWANIEGRAFÓW
NiechbędziedanyalgorytmkolorowaniaAiniechA(G)oznacza
liczbękolorówużytychprzezAdopokolorowaniaG.
DEFINICJA1.15.DlaalgorytmuAfunkcjadobrociA(n)jestokreślonana-
stępująco:
A(n)=max{A(G)/χ(G):Gjestrzędun}.
DEFINICJA1.16.AlgorytmkolorowaniaAnazywamyk-względnieprzybli-
żonym,jeżeliA(G)<k·χ(G).AlgorytmAnazywamyk-absolutnie
przybliżonym,jeżeli|A(G)χ(G)|<k.
Analizametodkolorowaniamożemiećcharakterilościowylubjako-
ściowy,możedotyczyćnp.złożonościobliczeniowejizwiązanegoznią
czasudziałania,bądźteżjakościgenerowanychrozwiązań.Analizędo-
kładnościdziałaniametodkolorowaniagrafówprowadzisięzwykledla
grafóworzędachdążącychdonieskończoności.Stosownymnarzędziem
doanalizyzachowaniaalgorytmówwtakichwarunkachjestzdefiniowana
wyżejfunkcjadobroci.
Funkcjadobrociumożliwiaocenęzachowaniaalgorytmuwnajgor-
szymprzypadku,dladanegorozmiarudanych.Takaanalizamazwykle
charakterasymptotycznyipozwalaokreślić,czegoewentualniemożna
oczekiwaćodgrafóworozmiarzen.Niestety,wprzypadkubardziej
skomplikowanychmetodanalizadobrocialgorytmujestbardzotrudna.
Cogorsza,nawetznanafunkcjadobrociniemówinicozachowaniualgo-
rytmuwprzypadkuprzeciętnym.Zfunkcjidobrociniewynikarównież
ocenazachowaniasięmetodydlastosunkowomałych,możliwychdoteo-
retycznejanalizygrafów,acozatymidzie,niemożliwejestokreślenie
wszystkichklasgrafówźlekolorowanychprzezdanąmetodę.
Przyoceniejakościmetodprzybliżonych,opróczzłożonościoblicze-
niowejidokładnościrozwiązańgenerowanychprzezdanąmetodędladu-
żychn,ważnajestkomplikacjagrafu,dlaktóregotametodadajerozwiąza-
nianieoptymalne.NapoczątkulatdziewięćdziesiątychHanseniKuplinsky
[10]wprowadzilipojęcienajmniejszychgrafówtrudnychdokolorowania.
DEFINICJA1.17.GrafGnazywamydośćtrudnymdokolorowania
(ang.slightlyhard-to-color)dlaalgorytmuA,jeżeliistniejeprzynaj-
mniejjednaimplementacjaalgorytmuA,którakolorujegrafGwspo-
sóbnieoptymalny.
DEFINICJA1.18.DladanegoalgorytmuAprzezSHC(A)oznaczymyzbiór
najmniejszych(wsensierzędu)dośćtrudnychdokolorowaniagrafów
dlaalgorytmuA.JeżeliGjestjedynymelementemzbioruSHC(A),to