Powszechnie wiadomo, że wiele problemów z kompletnym NP wykazuje przejście fazowe. Interesuje mnie przejście fazowe w odniesieniu do ograniczenia w języku, a nie twardości danych wejściowych w stosunku do algorytmu. Aby pojęcie było jednoznaczne, formalnie zdefiniujmy go w następujący sposób....
tło Wiadomo, że istnieje oracle tak, że .P S P A C E A ≠ P H AAAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Wiadomo nawet, że separacja dotyczy przypadkowej wyroczni. Nieformalnie można to interpretować w ten sposób, że istnieje wiele wyroczni, dla których i są osobne.P...
Niedeterministyczny obwód boolowski ma, oprócz zwykłych danych wejściowych , zbiór danych „niedeterministycznych” y = ( y 1 , … , y m ) . Niedeterministyczny obwód C przyjmuje wejście x, jeśli istnieje y takie, że wyjście obwodu 1 jest włączone ( x , y ) . Analogicznie do P / p o l...
Czy można przekształcić CNF w inny CNF Ψ ( C ), taki jak?CC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Funkcja może być obliczona w czasie wielomianowym z jakiegoś tajnego parametru losowego r .ΨΨ\Psirrr ma rozwiązanie wtedy i tylko wtedy, gdy C ma rozwiązanie.Ψ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal C Każde...
Jakie są niektóre główne, otwarte problemy ze złożonością obliczeniową, które wynikają z języków programowania, zwłaszcza z analizy i kompilacji programów? Szukam problemów na linii „złożoności czasowej wnioskowania typu Hindleya-Milnera” lub „złożoności czasowej 0CFA” (chociaż obie są rozwiązanymi...
Słynny obraz świata Neila Immermana jest następujący (kliknij, aby powiększyć): Jego „Naprawdę wykonalna” klasa nie obejmuje żadnej innej klasy; moje pytanie brzmi: Co to jest problem AC 0, który jest uważany za niepraktyczny i...
-fixed punkt bezproblemowe automorfizmem prosi wykresu automorfizm, który porusza się co najmniej k ( n ) węzłów. Problem polega na tym, że N P jest kompletne, jeśli k ( n ) = n c dla dowolnego c > 0.kkkk ( n )k(n)k(n)N.P.N.P.NPk(n)=nck(n)=nck(n)=n^cccc Jeśli jednak to problemem jest czas...
LogCFL to zestaw wszystkich języków, które można sprowadzać do przestrzeni logicznej do języka bezkontekstowego. Podobnie LogDCFL jest zbiorem wszystkich języków, które są przestrzenią logiczną redukowalną do deterministycznego języka bezkontekstowego. Zobacz ten artykuł na Wikipedii, aby zapoznać...
Jedną z luk, o której zawsze zdawałem sobie sprawę, że tak naprawdę nie rozumiem, jest między niejednorodną i jednolitą złożonością obliczeniową, gdzie złożoność obwodu reprezentuje niejednorodną wersję, a maszyny Turinga to, że rzeczy są jednolite. Przypuszczam, że „jednolity” jest sposobem na...
Załóżmy, że otrzymujemy macierz n przez n, M, z wpisami liczb całkowitych. Czy możemy zdecydować w P, czy istnieje permutacjaσσ\sigma taka, że dla wszystkich permutacji mamy ?π≠ σπ≠σ\pi\ne\sigmaΠ Mi σ( i )≠ Õ Mi π( i )ΠM.jaσ(ja)≠ΠM.jaπ(ja)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Uwagi Oczywiście...
Tło : W oryginalnym dokumencie UGC Subhash Khota ( PDF ) udowadnia trudność UG w podejmowaniu decyzji, czy dana instancja CSP z ograniczeniami w całej formie Niezupełna (a, b, c) w stosunku do trójskładnikowego alfabetu przyznaje zadanie spełniające 1 - ograniczeń lub czy nie ma zadowalających...
Nisan udowodnił w „Psuedorandom Generators for Compound-Bounded Computation”, że istnieje pseudolosowy generator, który „oszuka” obliczenia ograniczone w przestrzeni. Czy ta konstrukcja obowiązuje dla każdej wyroczni (przynajmniej w przypadku zapytań
Myślałem o wariancie heksowym , w którym zamiast dwóch graczy wykonujących ruchy na przemian, każda kolej losowo wybrana przez gracza wykonuje ruch. Jak trudno jest określić szanse wygranej każdego gracza? Ten problem występuje oczywiście w PSPACE, ale nie może być trudny do NP, a tym bardziej...
To pytanie dotyczy strony 125 książki „Automaty komórkowe w przestrzeniach hiperbolicznych: tom 2” Maurice Margenstern, Archiwa wydawców współczesnych, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 Zdaniem autora pytanie P = NP jest źle postawione, ponieważ w ustawieniu...
Funkcja jest jednokierunkowa, jeśli f można obliczyć za pomocą algorytmu wielomianowego czasu, ale dla każdego losowego algorytmu wielomianowego czasu A ,f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffAAA Pr[f(A(f(x)))=f(x)]<1/p(n)Pr[f(A(f(x)))=f(x)]<1/p(n)\Pr[f(A(f(x)))...
Niech oznacza złożoność Kołmogorowa ciągu x . Czy istnieje taki ciąg znaków, że K ( x x ) < K ( x ) . (Tutaj x x jest konkatenacją x z samym sobą). Podobny, ale różne pytano tutaj , ale kontrprzykład podane w odpowiedzi na to pytanie nie jest dostępna dla tego
Jest dobrze wiadomo, że losowy Preparaty -cnf na n zmiennymi c n klauzule unsatisfiable (tj sprzeczności), z dużym prawdopodobieństwem, na wystarczająco dużej stałej C . Tak więc losowe formuły k- CNN (dla c wystarczająco dużych) stanowią naturalny rozkład w niezadowalających formułach boolowskich...
Co powinienem przeczytać, aby zrozumieć ten problem? B Q P= B PP.B Q NdobQP.=bP.P.bQN.doBQP = BPP^{BQNC}B Q PbQP.BQPB P.P.B Q NdobP.P.bQN.doBPP^{BQNC}, ale pytanie brzmi, czy istnieje jakaś konkretna funkcja „inicjująca” taką wyrocznię. - Scott Aaronson
Istnieją teoretyczne dowody na to, że naiwna konstrukcja produktu kartezjańskiego na przecięciu DFA jest „najlepsza, co możemy zrobić”. Co z konkatenacją dwóch DFA? Trywialna konstrukcja polega na przekształceniu każdego DFA w NFA, dodaniu przejścia epsilon i określeniu wynikowego NFA. Czy możemy...
Analiza najgorszych i średnich przypadków to dobrze znane miary złożoności algorytmu. Niedawno wygładzona analiza pojawiła się jako kolejny paradygmat wyjaśniający, dlaczego niektóre algorytmy wykładnicze w najgorszym przypadku działają tak dobrze w praktyce, na przykład algorytm simpleksowy. Moje...