Acyklisk graffarvning

I grafteori er en acyklisk farvning en (korrekt) toppunktfarvning , hvor enhver tofarvet undergraf ikke har nogen cyklusser . Det acykliske kromatiske tal A( G ) af en graf G er det mindste antal farver, der kræves i enhver acyklisk farvning G .

Acyklisk farvning er ofte forbundet med grafer på ikke-plane overflader.

Øvre grænser

A( G ) ≤ 2 hvis og kun hvis G ikke har nogen cyklusser.

Grænserne for A( G ) i form af den maksimale grad Δ( G ) af grafen G inkluderer følgende:

En milepæl i studiet af acyklisk farvning er følgende positive svar på Grünbaums formodning:

Sætning. (Borodin 1979)

A( G ) ≤ 5 hvis G er plan.

Grünbaum (1973) introducerede en acyklisk farve og et acyklisk kromatisk tal og fremsatte en formodning, som blev bevist af Borodin. Det tog Borodin flere år med flittig verifikation af 450 konfigurationer for at bevise det. En konsekvens af denne sætning er, at enhver plan graf kan dekomponeres i et uafhængigt sæt og to skove . (Stein 1970, 1971)

Algoritmer og kompleksitet

Problemet med at afgøre, om A( G ) ≤ 3 holder, er NP-komplet (Kostochka 1978). Coleman og Cai ( Coleman, Cai 1986 ) viste, at problemet forbliver NP-komplet selv for todelte grafer.

Gebremedhin et al. ( Gebremedhin, Tarafdar, Pothen, Walther 2008 ) påviste, at enhver korrekt vertexfarvning af en kordegraf er en acyklisk farvning. Da det er muligt at finde en optimal farvning for akkordegrafer i O(n+m) tid, gælder det samme for en acyklisk farvning på denne klasse af grafer.

En tids-lineær algoritme for acyklisk farvning af en graf med maksimal grad ≤ 3 til 4 farver eller mindre præsenteres af Skulrattanakulchai ( Skulrattanakulchai 2004 ). Yadav og Satish ( Yadav, Satish 2008 ) beskriver en tidslineær acyklisk graffarvealgoritme med maksimal grad ≤ 5 ved brug af 8 farver eller mindre, samt en algoritme til farvning af en graf med maksimal grad ≤ 6 ved brug af 12 farver eller mindre.

Se også

Noter

Links

Eksterne links