Background––––––––––––––Background_\underline{\bf Background} W 2005 r. Regev [1] wprowadził problem uczenia się z błędami (LWE), uogólnienie problemu parzystości uczenia się z błędem. Założenie o twardości tego problemu dla niektórych wyborów parametrów leży obecnie u podstaw dowodów...
Moje pytanie dotyczy teorii modeli skończonych / złożoności opisowej, więc FO(R)FO(R)FO(R) będzie oznaczać „pierwszy rząd nad skończonymi słowami binarnymi, przy użyciu predykatów Rs i jednoargumentowego predykatu P true na pozycji 1 w słowie”. Chciałbym wiedzieć, czy jest jakakolwiek...
Książka Arory i Baraka zawiera uwagi do rozdziału na temat PCP Zauważamy, że ogólna strategia Dinura przypomina nieco zygzakowatą konstrukcję wykresów ekspanderów i deterministyczny algorytm przestrzeni logicznej Reingolda dla połączeń bezkierunkowych opisany w rozdziale 20, co sugeruje, że...
Dobrze wiadomo, że złożoność kwantowej kwerendy błędu ograniczonego funkcji to . Teraz pytanie brzmi: czy chcemy, aby nasz algorytm kwantowy odniósł sukces dla każdego wejścia z prawdopodobieństwem a nie ze zwykłą . Jeśli chodzi o jakie byłyby odpowiednie górne i dolne granice?O R (x1,x2), ......
Zaintrygowany ciekawym pytaniem Chrisa Presseya na temat funkcji elementarno-rekurencyjnych badałem więcej i nie mogłem znaleźć odpowiedzi na to pytanie w Internecie. Te podstawowe funkcje rekurencyjne odpowiadają dobrze wykładniczemu hierarchii .DTIME (2)n) ∪ DTIME (2)2)n) ∪...
Poniższe wydaje mi się naturalną definicją i zastanawiam się, czy gdzieś to zbadano Rozważać X⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}zestaw języków. NastępnieK⊂{0,1}ωK⊂{0,1}ωK \subset \lbrace 0, 1 \rbrace^\omega nazywa się "XX\mathsf{X}-weryfikowalne informacje ”, gdy są...
Czy każdy rozpoznawalny przez Turinga niezdecydowany język ma podzbiór NP? Pytanie to może być postrzegane jako silniejsza wersja faktu, że każdy nieskończony rozpoznawalny język Turinga ma nieskończony decydujący
W artykule Adi Shamira [1] z 1979 r. Pokazuje, że faktoring można wykonać w wielomianowej liczbie kroków arytmetycznych . Fakt ten został powtórzony i dlatego zwrócił moją uwagę w niedawnej pracy Borweina i Hobarta [2] w kontekście programów liniowych (SLP). Ponieważ byłem raczej zaskoczony, gdy...
Pozwolić ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n)) być klasą języków ustaloną przez naprzemienne maszyny Turinga, które zatrzymują się w czasie f(n)f(n)f(n) używając przestrzeni g(n)g(n)g(n). PozwolićAALTSP(f(n),g(n))AALTSP(f(n),g(n))\mathsf{AALTSP}(f(n), g(n)) być klasą języków...
Zamknięte. To pytanie jest nie na temat . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby było tematem wymiany stosów teoretycznych w informatyce. Zamknięte 7 lat temu . Jak możemy wyrazić „ ” jako formułę...
Znaczna część literatury obliczeń kwantowych koncentruje się na modelu obwodu. Adiabatyczne obliczenia kwantowe nie polegają na zastosowaniu sekwencji operatorów jednostkowych, ale na zmianie zależnego od czasu hamiltonianu. Szukam wglądu w którekolwiek z poniższych. Czy adiabatyczne obliczenia...
Załóżmy, że działamy w polu skończonym. Otrzymujemy duży stały wielomian p (x) (powiedzmy stopnia 1000) nad tym polem. Ten wielomian jest znany wcześniej i możemy wykonywać obliczenia przy użyciu dużej ilości zasobów w „fazie początkowej”. Wyniki te mogą być przechowywane w stosunkowo małych...
Rozważ formułę Monotone 3CNF mającą oba następujące dodatkowe ograniczenia: Każda zmienna występuje dokładnie w klauzulach.2)22 Biorąc pod uwagę dowolne klauzule, mają one maksymalnie zmienną.2)22111 Chciałbym wiedzieć, jak ciężko jest liczyć satysfakcjonujące zadania takiej...
Pozwolić faFF być rodziną redd-elementowe podzbiory skończonego wszechświata UUUprzedmiotów. RodzinaH.HH z kkkpodzbiory elementów UUU, z 1 ≤ k < d1≤k<d1 \le k < d, jest ( k , d)(k,d)(k,d)- trafienie ustawione odfaFF jeśli dla każdego V.∈ F.V∈FV \in F istnieje co najmniej jeden zestaw W∈HW∈HW...
Szukam złożoności spełniania formuły ∀y1,…,yn,∃x1,…,xm,ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi lub o wzorze ∃x1,…,xm∀y1,…,yn,ϕ∃x1,…,xm∀y1,…,yn,ϕ \exists x_1,\dots,x_m \forall y_1, \dots,y_n,\phi gdzie ϕϕ\phi jest formuła formularza:...
Powszechnie wiadomo, że istnienie funkcji jednokierunkowych jest konieczne i wystarczające dla dużej części kryptografii (podpisy cyfrowe, generatory pseudolosowe, szyfrowanie kluczem prywatnym itp.). Moje pytanie brzmi: jakie są teoretyczne konsekwencje istnienia funkcji jednokierunkowych? Na...
Czy naturalne dowody , relatywizacja i algebriacja wpływają również na separację innych klas złożoności, takich jakL≠NL≠NP≠coNP≠PH≠PSPACEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE itp? Na przykład bariera naturalnego dowodu powinna wpływać na każdy dowód NP≠CoNPNP≠CoNPNP\neq...
Wszyscy wiemy, że minimalną złożonością algorytmu sortowania opartego na porównaniu są porównania . Próbuję wykonać sortowanie w ciemno , tzn. Biorąc pod uwagę liczbę wyjdź z obwodu (z bramkami logicznymi, arytmetycznymi i „porównawczymi”), który sortuje listę elementów.Ω ( n logn...
Jakie są jedne z najlepszych źródeł (książek i artykułów), które same w sobie motywują i uczą się złożoności komunikacji oraz w związku z jej relacją do teorii złożoności
W przypadku problemu sadzonej kliki należy odzyskać kkk-klinka posadzona na losowym wykresie Erdosa-Renyi G ( n , p )G(n,p)G(n,p). To było głównie rozpatrywanep =12)p=12p=\frac{1}{2}, w którym to przypadku wiadomo, że można rozwiązać czas wielomianowy, jeśli k >n--√k>nk > \sqrt{n} i...