-hierarchy hierarchia klas złożoność w sparametryzowanej złożoności patrz Zoo złożoność definicje. Alternatywna definicja definiuje przy użyciu ważonej definiowalności Fagina dla logiki pierwszego rzędu, patrz podręcznik Fluma i Grohe .W [ t ] W [ t ] Π
Mówimy, że funkcja jest konstruowalna w czasie , jeśli istnieje deterministyczna wielopasmowa maszyna Turinga M, która na wszystkich wejściach długości n wykonuje co najwyżej f ( n ) kroki i dla każdego n istnieje pewien wkład długość n, na której M wykonuje dokładnie f ( n ) kroki.fa: N →...
Niech będzie funkcją większościową, tj. F ( x ) = 1 wtedy i tylko wtedy, gdy ∑ n i = 1 x i > n / 2 . Zastanawiałem się, czy istnieje prosty dowód na następujący fakt (przez „prosty” mam na myśli to, że nie polegałem na metodzie probabilistycznej, jak Valiant 84, ani na sieciach sortujących;...
Przypomnijmy, że szerokość o rozdzielczości odrzucenia o wzorze CNF jest maksymalna liczba literałach w klauzuli występującego w . Dla każdego istnieją niezadowalające wzory w 3-CNF st. Każde odrzucenie rozdzielczości wymaga szerokości co najmniej .F.RRRfaFFw F F wRRRwwwfaFFfaFFwww Potrzebuję...
Motywacja: Współautor redaguje manuskrypt i chciałbym zobaczyć jasne podsumowanie edycji. Wszystkie narzędzia podobne do „diff” są zwykle bezużyteczne, jeśli zarówno przenosisz tekst (np. Reorganizując strukturę), jak i edytujesz lokalnie. Czy to naprawdę takie trudne? Definicje: Chciałbym...
Niech będzie funkcją boolowską zmiennych boolowskich. Niech będzie oczekiwaną wartością gdy jest uzyskane z poprzez odwrócenie każdej współrzędnej z prawdopodobieństwem .n g ( x ) = T ϵ ( f ) ( x ) f ( y ) y x ϵ / 2faffnnnsol( x ) = Tϵ( f) ( x )g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x)fa(...
Wiadomo, że w przypadku następnie wielomian hierarchia zapada się Ď P 2 i M A = A M .N.P.⊆ P./ PO l rNP⊆P/PolyNP\subseteq P/PolyΣP.2)Σ2P\Sigma_2^{P}M.= MMA=AMMA = AM Jakie są najsilniejsze znane upadki, jeśli ?N.miXP.⊆ P./ PO l rNEXP⊆P/PolyNEXP\subseteq
Mam część próbnej próby ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}. Próba dowodowa polega na zmniejszeniu karpu z⊕P⊕P\oplus \mathbf{P}-kompletny problem ⊕⊕\oplus3-REGULARNA POKRYWA VERTEX do SAT. Biorąc pod uwagę sześcienny wykres GGG, redukcja generuje wzór CNF FFF posiadający obie...
Niech { 0 , . . . , N - 1 }, a ∘ : S x S → S . Chcę obliczyć złożoność komunikacji przy podejmowaniu decyzji, czy ∘ jest skojarzone.S=S=S=0,...,n−10,...,n−10,...,n-1∘:S×S→S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ Model jest następujący. podano jako matrycy M . Alice (lub. Bob) otrzymuje...
Papier Lauri Hella i José María Turull-Torres, Obliczanie zapytań z logiką wyższego rzędu , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 proponuje logikę VO, logikę zmiennego rzędu. Umożliwia to kwantyfikację zamówień ponad zmiennymi. VO jest dość potężny i może wyrażać niektóre...
Jednym z głównych problemów w TCS jest problem wyrażania stałego jako wyznacznika. Czytałem artykuł Agrawala Determinant vs. Permanent i w jednym akapicie twierdzi, że odwrotny problem jest łatwy. Łatwo jest zauważyć, że wyznacznikiem macierzy można wyrazić jako stałe powiązanego macierzy X ,...
Jaka jest minimalna szerokość drzewa obwodu powyżej {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} do obliczenia MAJ? Tutaj MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} wyprowadza 1, jeśli co najmniej połowa jego danych wejściowych to 111 . Dbam tylko o rozmiar obwodu (powinien być...
Możemy myśleć o złożoności łańcucha Kołmogorowa jako długości najkrótszego programu P i wprowadzić y tak, że x = P ( y ) . Zazwyczaj programy te są pobierane z jakiegoś kompletnego zestawu Turinga (np. P może być opisem maszyny Turinga lub może to być program w LISP lub C). Nawet gdy patrzymy na...
Biorąc pod uwagę ukierunkowany wykres z n węzłami, tak że każdy wierzchołek ma dokładnie dwie krawędzie wychodzące, a liczbę naturalną N zakodowaną dwójkowo, dwa wierzchołki s i t, Chcę policzyć liczbę (niekoniecznie prostych) ścieżek od s do t w obrębie N kroków. Czy to trudny problem # P? Lub...
Wiadomo, że dolna granica ogólnego przeciwnika charakteryzuje złożoność kwantowych zapytań z powodu przełomowej pracy Reichardta i in. Ta sama linia pracy ustanawia również połączenia ze strukturą programu zakresu do projektowania algorytmów kwantowych. Wiele interesujących algorytmów kwantowych,...
ETH stwierdza, że SAT nie może być rozwiązany w najgorszym przypadku w czasie podwykonawczym. Co z przeciętną sprawą? Czy istnieją naturalne problemy związane z NP, które są przypuszczalnie trudne w przeciętnym przypadku? Średni przypadek oznacza średni czas pracy z równomiernym rozkładem na...
W słynnym kontrprzykładzie dla izomorfizmu grafów metodą Weisfeiler-Lehman (WL) następujący gadżet został skonstruowany w tym artykule przez Cai, Furer i Immerman. Konstruują wykres podany przezXk= ( Vk, Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) V.k= Ak∪ B.k∪ M.k gdzie ZAk= { aja∣ 1 ≤ i ≤ k } ,bk= { bja∣ 1 ≤...
Napraw problem wyszukiwania NP-complete, np. Formularz wyszukiwania SAT. Wyszukiwanie Levin zapewnia algorytm do rozwiązywania który jest w pewnym sensie optymalny. Konkretnie, algorytm jest „Wykonanie wszystkich możliwych programów w zazębianie na wejściowego , gdy niektórzy powraca odpowiedzieć...
b a b azaaabbbzaaabbbzaaabbbO ( m logm loglogm )O(mlogmloglogm)O(m\log m\log\log m)mmmΩ ( m log m log log m )max { a , b }max{a,b}\max\{a,b\}Ω ( m logm loglogm )Ω(mlogmloglogm)\Omega(m\log m\log\log m) dolna granica tego problemu? Dziękuję i pozdrawiam, i przepraszam, jeśli to takie naiwne...
Zdefiniuj jako klasę języków, które mogą być akceptowane przez (wielopasmową) maszynę Turinga w czasie f ( n ) + 1 . („ + 1 ” ma jedynie na celu uproszczenie notacji i uniknięcie pomyłek.) Zauważ, że nie ma O ( ⋅ ) wokół f ( n ) + 1 .D T I M E (f( n ) )DTIME(f(n))\mathsf{DTIME}(f(n))fa( n ) +...