Wierzę, że odpowiedzi na to pytanie dają takie klasy, że dla wszystkich wielomianówppp, w klasie występuje problem, który nie ma obwodów wielkościp ( n )p(n)p(n). Pytam jednak o rozmiar obwoduω( n )ω(n)\omega \hspace{.02 in}(n). (⟨00,11,2)2),3)1,44,51,66,71,88,91, . ....
Wikipedia [1] stwierdza, że najlepiej znana dolna granica dla wielkości dowodów Frege jest kwadratowa i że nie ma znanych dolnych granic superliniowych dla liczby linii dowodów Frege. Pytania: 1) Jaka jest najbardziej znana dolna granica dla liczby linii rozszerzonych proofów Frege? 2) Jaka...
Nie wiadomo, czy NEXP jest zawarty w P / poli. Rzeczywiście udowodnienie, że NEXP nie jest w P / poli, miałoby pewne zastosowania w derandomizacji. Jaka jest najmniejsza jednolita klasa C, dla której można udowodnić, że C nie jest zawarte w P / poli? Czy wykazanie, że ko-NEXP nie jest zawarty w P...
Pozwolić L⊆A∗L⊆A∗L \subseteq A^* być językiem i zdefiniować fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} przez fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 iff x⋅y∈Lx⋅y∈Lx\cdot y \in L. Szukam referencji dla: Propozycja. LLL jest regularna w deterministycznej złożoności komunikacji fLfLf_L...
Mamy problem i znaleźliśmy algorytm, który wydaje się być 2-sekundowy. Chciałbym znaleźć znane problemy z niepełnym czasem 2, aby znaleźć dolną granicę. W literaturze znalazłem głównie dwa takie problemy: czy PCP jako rozwiązanie o rozmiarze mniejszym niż 2)2)n2)2)n2^{2^n} i problem uprawy roli...
Biorąc pod uwagę silne generatory dla grupy działającej na ciągach bitów o długości i elemencie , jak trudno jest obliczyć leksykograficznie minimalny element , orbity w ?( G ≤S.n, ∗ )(sol≤S.n,∗)(G \leq S_n, *)nnns ∈ { 0 , 1}ns∈{0,1}ns \in \{0, 1\}^nG .
Pozwolić CC\mathcal{C} być klasą złożoności i BP-CBP-C\textrm{BP-}\mathcal{C} być randomizowanym odpowiednikiem CC\mathcal{C} zdefiniowane w taki sam sposób jak BPPBPP\textrm{BPP} jest zdefiniowany w odniesieniu do PP\textrm{P}. Bardziej formalnie zapewniamy wielomianowo wiele losowych bitów i...
Jaka jest metoda przybliżenia Razborowa? Czy ktoś może dać ogólny przegląd i
Jestem naukowcem, który pracuje w teorii algorytmów i złożoności, do pewnego stopnia używam sparametryzowanej złożoności. Wydaje mi się, że badacze o sparametryzowanej złożoności są bardzo aktywni (nie mam na myśli, że inni nie) pod względem liczby prac badawczych. Widziałem, że badacze ze...
Ciekawi mnie, w jaki sposób niejednorodność okazała się przydatna w obliczeniach. Jednym ze sposobów jest losowość, jak wBPP⊆P/polyBPP⊆P/polyBPP \subseteq P/poly, a kolejnym są tabele przeglądowe, które służą do pokazania, że wszystkie języki mają niejednolite obwody. W szczególności interesują...
W przypadku wielu problemów algorytm o największej złożoności asymptotycznej ma bardzo duży stały współczynnik, który jest ukryty przez dużą notację O. Dzieje się tak w przypadku mnożenia macierzy, mnożenia liczb całkowitych (w szczególności najnowszego algorytmu mnożenia liczb całkowitych O (n log...