Jest deterministycznym algorytmem czasu wielomianowego znanym z następującego problemu: Dane wejściowe: liczba naturalna (w kodowaniu binarnym)nnn Wyjście: liczba pierwsza .p > np>np > n (Według listy otwartych problemów Leonarda Adlemana problem był otwarty w 1995 r.)...
Niedawno Ryan Willams udowodnił, że konstruktywność w naturalnym dowodzie jest nieunikniona, aby uzyskać separację klas złożoności: i . T C 0NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} Konstruktywność w naturalnym dowodzie jest warunkiem, że wszystkie dowody kombinatoryczne w złożoności obwodu są...
To pytanie powstaje z czystej ciekawości (pojawiło się podczas myślenia o odtasowaniu łańcucha , ale nie jestem pewien, czy jest rzeczywiście powiązane), więc mam nadzieję, że jest odpowiednie. Istnieje wiele produktów graficznych i interesuje mnie którykolwiek z nich. Jaka jest złożoność...
W świetle ostatnich wyników Arory , Baraka i Steurera , Subexponential Algorytmy dla unikalnych gier i powiązanych problemów , interesują mnie problemy z grafem, które mają algorytmy czasu podwykładniczego, ale uważam, że nie jest to rozwiązanie wielomianowe. Znanym przykładem jest izomorfizm...
Czy istnieje (najlepiej naturalny) NP-pełny język L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^* , taki, że dla każdego n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1} trzyma? Innymi słowy, LLL zawiera dokładnie połowę wszystkich nnn bitowych...
Załóżmy, że mamy klasę obiektów (np. Wykresy, ciągi) i relację równoważności tych obiektów. W przypadku wykresów może to być izomorfizm wykresów. W przypadku ciągów moglibyśmy zadeklarować dwa równoważne ciągi, jeśli są one wzajemnie anagramami. Jestem zainteresowany obliczeniem przedstawiciela...
Ta odpowiedź na główne nierozwiązane problemy w informatyce teoretycznej? pytanie stwierdza, że jest otwarte, jeśli określony problem w NP wymaga czasu .Ω ( n2))Ω(n2)\Omega(n^2) Patrząc na komentarze pod odpowiedzią, zastanawiałem się: Oprócz paddingu i podobnych sztuczek, jaka jest...
Według D. den Hertoga, Podejście punktu wewnętrznego do programowania liniowego, kwadratowego i wypukłego, 1994 , program liniowy z zmiennymi, ograniczeniami i precyzją jest rozwiązywalny w czasie . Czy to zostało
Powszechnie wiadomo, że każdy dowód rozwiązujący pytanie P vs NP musi pokonać relatywizację , dowody naturalne i bariery algebrizacyjne . Poniższy schemat dzieli „przestrzeń próbną” na różne regiony. Na przykład RNRNRN odpowiada zestawowi dowodów relatywizujących i naturalizujących. GCTGCTGCT...
Biorąc pod uwagę nieukierunkowany i nieważony wykres a jeszcze całkowita k , co jest złożoność obliczeniowa zestawów zliczania wierzchołków S ⊆ V tak, że | S | = k, a podgrupa G ograniczona do zbioru wierzchołków S dopuszcza idealne dopasowanie? Czy złożoność # P jest kompletna? Czy istnieje...
Rozważ następujący problem: biorąc pod uwagę formułę CNF i zadanie spełniające tę formułę, czy istnieje inne zadowalające przypisanie dla tej formuły? Jaka jest złożoność tego problemu? (Z pewnością jest w NP, ale czy to jest NP-trudne?) Co się stanie, jeśli nie otrzymasz zadania i chcesz po...
Dla każdego , to znaczy, że sekwencja liczb całkowitych jest -Complete , jeżeli dla każdej permutacji o , zapisane jako sekwencja odrębnych par liczb całkowitych p 1 , … , p n , sekwencja p jest podsekwencją s , tzn. istnieje 1 ≤ i 1 < i 2 < ⋯ < i n ≤ | s |n>0n>0n > 0{ 1 , … , n } n...
Czytałem w kilku artykułach, że powszechnie uważa się istnienie funkcji jednokierunkowych . Czy ktoś może wyjaśnić, dlaczego tak jest? Jakie mamy argumenty za poparciem istnienia funkcji
Przepraszamy za zadawanie pytań, które z pewnością muszą znaleźć się w wielu standardowych źródłach. Ciekawi mnie dokładnie pytanie zawarte w tytule, w szczególności myślę o obwodach boolowskich, bez ograniczeń głębokości. W cudzysłowie wstawiam „najmniejszy”, aby umożliwić istnienie wielu różnych...
Cześć chłopaki, rozumiem, że sztuczka dopełniania pozwala nam tłumaczyć klasy złożoności w górę - na przykład . Wypełnianie polega na „nadmuchiwaniu” danych wejściowych, uruchamianiu konwersji (powiedzmy od powiedzmy na ), co daje „magiczny” algorytm, który można uruchomić na wypełnionym wejściu....
Co wiadomo na temat złożoności obliczeniowej liczb całkowitych faktoringu w ogólnych polach liczbowych? Dokładniej: Nad liczbami całkowitymi reprezentujemy liczby całkowite poprzez ich binarne rozszerzenia. Jakie są analogiczne reprezentacje liczb całkowitych w ogólnych polach liczbowych? Czy...
Oczywiście niektóre wyniki złożoności mogą się zawalić w przypadku języków jednoargumentowych, ale zastanawiam się, czy istnieje gdzieś ankieta podsumowująca znane wyniki w tym przypadku: rodzaj zoo złożoności dla języków jednoargumentowych. Czy znasz takie
Pytanie: Jaka jest najbardziej znana dolna granica rozmiaru formuły dla jawnej funkcji w AC 0 ? Czy istnieje wyraźna funkcja z dolną granicą ?Ω(n2)Ω(n2)\Omega(n^2) Tło: Podobnie jak większość dolnych granic, dolne granice formuł są trudne do osiągnięcia. Interesują mnie dolne granice formuły...
Jakie są konsekwencje posiadania kompletnych problemów w NP∩coNPNP∩coNPNP\cap coNP
Czy są jakieś problemy z NP-zupełnością, dla których znany jest algorytm, że oczekiwany czas działania jest wielomianowy (dla pewnego rozsądnego rozkładu między instancjami)? Jeśli nie, to czy istnieją problemy, dla których ustalono istnienie takiego algorytmu? Czy istnienie takiego algorytmu...