Pytanie dotyczące teorii „ Co to jest NP ograniczony do świadków wielkości liniowej? ” Dotyczy klasy NP ograniczonej do świadków wielkości liniowej , ale
Czy istnieją naturalne problemy NP-zupełne, w których (tak) przypadki wielkości wymagają świadków o rozmiarze większym niż n ?
Oczywiście możemy budować sztuczne problemy, takie jak:
Po krótkim spojrzeniu na G&J wydaje się, że każdy naturalny problem NPC ma świadków (ściśle) mniejszych niż .
Czy jest na to „powód / wyjaśnienie”?
cc.complexity-theory
np
proof-complexity
Marzio De Biasi
źródło
źródło
Odpowiedzi:
Co powiesz na numer kolorowania krawędzi na gęstym wykresie (aka indeks chromatyczny )? Dostajesz macierz przyległości wykresu wierzchołków ( n 2 bitowe wejście), ale naturalny świadek opisujący kolorowanie ma rozmiar n 2 log n . Oczywiście mogą istnieć krótsze dowody dla grafów klasy 1 w twierdzeniu Vizinga .n n2 n2logn
Zobacz także to prawdopodobnie powiązane pytanie
źródło
Natknąłem się na całkiem naturalne problemy kompletne z NP, które najwyraźniej wymagają długich świadków. Problemy sparametryzowane liczbami całkowitymi i D są następujące:C D
źródło
Oto przykład, który wydaje się naturalnym problemem.
źródło
Być może jest to głupie „powód / wyjaśnienie”, ale w przypadku wielu problemów NP-Complete rozwiązaniem jest podzbiór danych wejściowych (plecak, pokrywa wierzchołków, klika, dominujący zestaw, niezależny zestaw, maksymalne cięcie, suma podzbiorów, ... ) lub permutacja lub przypisanie do podzbioru danych wejściowych (ścieżka Hamiltona, podróżny sprzedawca, SAT, izomorfizm wykresów, kolorowanie wykresów, ...).
Możemy spróbować przeczytać więcej na ten temat lub wymyślić bardziej wymyślny powód, ale nie jestem pewien, czy dzieje się coś głębszego, czy nie.
źródło
Jeśli chodzi o twoje pierwsze pytanie, Allender stwierdza (w Amplifying Lower Bounds by Meigh of Self-Redukbility ), że nie wiadomo, że żaden naturalny problem NP-zupełny leży poza NTIME (n). Oznacza to, że wszystkie znane naturalne kompletne NP mają świadków wielkości liniowej.
źródło
Rozważ następujący wariant problemu MAXCLIQUE .
Uwagi:
Problem można postrzegać jako naturalny, ponieważ jest to wariant MAXCLIQUE .
źródło