Twardość przybliżonej ułamkowej liczby chromatycznej na wykresach ze stopniem granicznym

Odpowiedzi:

11

Tak.

Jeśli dobrze zrozumiałem, dowód Twierdzenia 1.6 w Khot (2001) stwierdza, że ​​trudno jest rozróżnić następujące dwa przypadki, nawet jeśli skupimy się na grafach stopnia ograniczonego o wystarczająco wysokim stopniu:

  1. Jest kolorowanie.k
  2. Stosunek liczby wierzchołków do maksymalnego rozmiaru niezależnego zestawu wynosi co najmniej .klog(k)/25

Z perspektywy ułamkowej liczby chromatycznej te dwa przypadki to:

  1. Ułamkowa liczba chromatyczna wynosi co najwyżej .k
  2. Ułamkowa liczba chromatyczna wynosi co najmniej .klog(k)/25

Teraz musimy pamiętać, że potrzebujemy wystarczająco wysokich stopni (w funkcji ). Ale o ile widzę, dowód ma np. Następującą dogodną następstwo, która może być już wystarczająca dla twoich celów:k

  • Biorąc pod uwagę dowolną stałą , istnieje stałe i tak, że po problem NP-trudny: podany wykres maksymalnego stopnia zdecydować, czy ułamkowe liczby chromatycznych wynosi co najwyżej lub co najmniej .αΔcGΔGcαc

Oczywiście oznacza to już, że nie ma PTAS, chyba że P = NP.

Jukka Suomela
źródło
Na pewno ostatnia konsekwencja ma kilka innych modyfikatorów stałych, w przeciwnym razie jest to bardzo dobrze znane z małych wartości , i ...Δc1c2
Andrew D. King
@ AndrewD.King: Racja, możesz dowolnie zmienić dowolną z nich, itd. Ale być może mógłbyś opublikować odpowiedź, która pokazuje, że prostą wersję wniosku można uzyskać za pomocą starszych i łatwiejszych technik - myślę, że już byłby wystarczy odpowiedzieć na pytanie OP?
Jukka Suomela
@JukkaSuomela Mam na myśli, że jak stwierdzono, nie dowodzi to twardości APX. Np. Dobrze wiadomo (Holyer, SICOMP, 1980), że wyznaczenie indeksu chromatycznego wykresu sześciennego jest trudne dla NP, co oznacza, że ​​trudno jest ustalić, czy liczba chromatyczna dla wykresu liniowego z maksymalnym stopniem 4 to 4. Myślę, że masz na myśli: Biorąc pod uwagę jakąkolwiek stałą , istnieją stałe , i takie, że , ... Czy to prawda? kΔc1c2kc1<c2
Andrew D. King,
@ AndrewD.King: Tak, zmienię odpowiedź; miejmy nadzieję, że w ten sposób będzie bardziej sensowne. :)
Jukka Suomela