Czy istnieje jakakolwiek prawdopodobna hipoteza złożoności / kryptografii, która wyklucza możliwość, że obwody wielomianowe mają rozmiar podwykładniczy (tj. z ) ograniczoną głębokością ( ) obwody? ϵ<1d=O(1)2)O ( nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ <
Zasadniczo taśma zapytania dla wyroczni liczy się do złożoności przestrzennej bazy TM. Wydaje się jednak prawdopodobne, aby zezwolić na taśmę Oracle tylko do zapisu (na przykład w przypadku redukcji przestrzeni L). Czy taka konstrukcja jest przydatna? Czy przynosi jakieś absurdalne...
Samoreferencyjność problemu P / NP była czasem podkreślana jako bariera dla jego rozwiązania, patrz na przykład artykuł Scotta Aaronsona, czy P vs. NP jest formalnie niezależny ? Jednym z wielu możliwych rozwiązań P / NP byłby dowód, że problem jest formalnie niezależny od ZFC lub prawdziwy, ale...
Jak szybko niedeterministyczny algorytm dla problemu pełnego EXPTIME musiałby sugerować ? Algorytm niedeterministyczny czasu wielomianowego natychmiast implikowałby to, ponieważ ale nikt nie wierzy, że . Jeśli zrobiłem algebrę w prawo (patrz poniżej), twierdzenie o hierarchii czasu nadal dawałoby...
[Uwaga: uważam, że to pytanie w żaden sposób nie zależy od poprawności lub nieprawidłowości pracy Deolalikar.] Na blogu Scotta Aaronsona „ Shtetl Optimized” , w dyskusji na temat ostatniej próby Deolalikara przeciwko P vs NP, Leonid Gurvits skomentował : Próbowałem zrozumieć / przeformułować to...
Wykres liniowy hipergrafu jest (prostym) wykresem G mającym krawędzie H, ponieważ wierzchołki o dwóch krawędziach H sąsiadują w G, jeśli mają niepuste przecięcie. Hypergraph to r- hipergraph, jeśli każda jego krawędź ma co najwyżej r wierzchołków.HHHGGGHHHHHHGGGrrrrrr Jaka jest złożoność...
Powiedzmy, że język jest blisko P, jeśli istnieje algorytm wielomianowy, który poprawnie decyduje o na prawie wszystkich wejściach.LLLLLLL Innymi słowy, istnieje P , tak że zanika, co oznacza Oznacza to również, że przy jednolitym losowym danych wejściowych algorytm czasu policyjnego dla A da...
Języki liścia są pięknym sposobem na jednolite zdefiniowanie wielu klas złożoności. Większość klas złożoności jest zwykle określana przez model obliczeniowy (np. Deterministyczna / losowa TM) i związany z zasobami (czas dziennika, przestrzeń wielopunktowa itp.). Jednak w sformułowaniu języka liścia...
Czytając kilka ostatnich wątków na temat obliczeń kwantowych ( tutaj , tutaj i tutaj ), pamiętam interesujące pytanie o moc jakiegoś rodzaju maszyny do zachowania normalnego zachowania.ℓpℓp\ell_p Dla osób pracujących w teorii złożoności, które dążą do złożoności kwantowej, doskonałym tekstem...
W artykule „A Compendium of Problems Complete for P” autorstwa Greenlawa, Hoovera i Ruzzo (PS) (PDF) znajduje się lista problemów w P, które nie są znane w NC i nie są znane jako P-complete . (Ta lista obejmuje wszystkie otwarte problemy w doskonałej ankiecie przeprowadzonej przez Karpa i...
Zadaje się pięć powiązanych pytań i oczekuje się jednej zintegrowanej odpowiedzi: P1: Czy istnieją języki które są rozpoznawane wyłącznie przez maszyny Turinga w których wykładników czasu wykonywania nie można rozstrzygnąć ?P.L.LLP.PP Q2: Czy przykłady tych maszyn Turinga mogą być...
W sparametryzowanej złożoności ⊆ W [ 2 ] ⊆ … ⊆ W [ P ] . Przypuszcza się, że każda zawartość jest właściwa.F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ … ⊆ W [ P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Jeśli to P = W [ P ] .F P T = W...
Załóżmy, że mamy problem sparametryzowany parametrem p o wartości rzeczywistej, który jest „łatwy” do rozwiązania, gdy i „twardy”, gdy p = p 1 dla niektórych wartości p 0 , p 1 .p = p0p=p0p=p_0p = p1p=p1p=p_1p0p0p_0p1p1p_1 Jednym z przykładów jest liczenie konfiguracji spinów na wykresach. Licząc...
Szukam dobrej ankiety na temat algorytmów i złożoności algebry liniowej (operacje takie jak rank, inverse, wartości własne, ... dla Boolean, oraz liczby całkowite / racjonalne) z naciskiem na równoległość ( hierarchia ) i algorytmy politime. Nie mogłem znaleźć ostatniego....
W klasie złożoności istnieją pewne domniemania, że NIE występują w klasie , tj. Problemy z deterministycznymi algorytmami równoległymi. Problem maksymalnego przepływu jest jednym z przykładów. I są problemy, WIĘCEJ, że są w , ale dowód jeszcze nie został znaleziony.N C N C.P.P\mathsf{P}N...
Tytuł mniej więcej mówi wszystko, ale myślę, że mógłbym dodać trochę tła i kilka konkretnych przykładów, którymi jestem zainteresowany. Teoretycy złożoności opisowej, tacy jak Immerman i Fagin, scharakteryzowali wiele najbardziej znanych klas złożoności za pomocą logiki. Na przykład NP można...
Stany PCP twierdzenie, że nie ma czasu na wielomian algorytm MAX 3SAT znaleźć spełniającą zadanie klauzule spe wzorze 3SAT chyba P = N P .7 / 8 + ε7/8+ϵ7/8+ \epsilonP.= NP.P=NPP = NP Nie jest to prosta wielomian algorytm czasu, który spełnia klauzul. Tak, możemy to zrobić lepiej niż 7 / 8 + ε...
Dyskusja : Spędziłem ostatnio trochę czasu na nauce różnych rzeczy w złożoności komunikacji. Na przykład ponownie zapoznałem się z odpowiednim rozdziałem w Arora / Barak, zacząłem czytać kilka artykułów i zamówiłem książkę Kushilevitz / Nisan. Intuicyjnie chcę porównać złożoność komunikacji ze...
W moich badaniach pojawił się ostatnio następujący interesujący problem: INSTANCJA: Wykres .G ( V, E)G(V,E)G(V, E) ROZWIĄZANIE: Zakończenie akordu nieparzystego cyklu nieparzystego, zdefiniowane jako nadzbiór zestawu krawędzi tak że skompletowany wykres ma właściwość polegającą na tym, że każda...
(To pytanie jest trochę „ankietą”). Aktualnie pracuję nad problemem, w którym próbuję podzielić krawędzie turnieju na dwa zestawy, z których oba są wymagane do spełnienia niektórych właściwości strukturalnych. Problem „czuje się” bardzo trudne, a ja w pełni się spodziewać, że będzie...