Biorąc pod uwagę wykres , musimy znaleźć liczność największego zestawu wierzchołków, aby każdy z nich był obecny w każdym możliwym maksymalnym dopasowaniu.GGG Czy istnieje rozwiązanie obok oczywistego usunięcia każdego wierzchołka i znalezienia maksymalnego dopasowania, aby zobaczyć, że zmniejsza...
w 1979 r. Hopcroft / Ullman napisał, że L ⊆ P ⊆ NP ⊆ PSpace jest znany, ale L ⊊ PSpace jest jedynym właściwym (i trywialnym) zabezpieczeniem znanym, chociaż wszystkie są przypuszczane, że są odpowiednimi zabezpieczeniami i „tam, gdzie rzeczy nadal istnieją” ~ 4 dekady później . od tego czasu...
'Biorąc pod uwagę , czy jest , ' jest -kompletny. x , y ∈ N a x 2 + b y = c N Pa,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} Do której klasy złożoności należy „Biorąc pod uwagę , czy istnieje , '? x , y ∈ N a x 2 + b y 2 = ca,b,c∈Na,b,c∈Na,b,c\in\Bbb...
Niech s i zmisjazmisize z λλ\lambda -terms być zdefiniowana w następujący sposób: s i ze ( x ) = 1sjazmi(x)=1size(x) = 1 , s i ze ( λ x . t ) = s i ze ( t ) + 1sjazmi(λx.t)=sjazmi(t)+1size(λx.t) = size(t) + 1 , s i ze ( t s ) = s i ze ( t ) + s i ze ( s ) + 1sjazmi(ts)=sjazmi(t)+sjazmi(s)+1size(t...
Redukcja karp jest wielomianową obliczalną w czasie wielokrotnością redukcji między dwoma problemami obliczeniowymi. Wiele redukcji Karp jest w rzeczywistości funkcjami jeden-jeden. Rodzi to pytanie, czy każda redukcja Karp jest iniekcyjna (funkcja jeden do jednego). Czy istnieje naturalny...
Zastanawiam się, co by się stało, gdyby w definicji (wielomianowa hierarchia, patrz np. Tutaj ) rola zostałaby zastąpiona przez ?PHPHPHNPNPNPRPRPRP Wydaje się, że można jeszcze zbudować hierarchię, tak samo jak jest zbudowany, tylko za pomocą wszędzie zamiast i zamiast . Nazwijmy to Randomized...
Biorąc kompozytu Pole numeru sita ogólnie najlepiej znane algorytm faktoryzacji całkowitymi faktoryzacji N . Jest to algorytm randomizowany i otrzymujemy oczekiwaną złożoność O ( e √N∈NN∈NN\in\Bbb NNNNdo
Biorąc pod uwagę ciąg , okładka palindromu jest sekwencją słów tak że i takie, że każdy jest palindromem.w=σ1σ2…σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯pmp1p2⋯pmp_1p_2\cdots p_mpipip_ip1p2⋯pm=wp1p2⋯pm=wp_1p_2\cdots p_m = wpipip_i Jak trudno jest znaleźć minimalną wielkość palindromu?...
Jestem głównym matematykiem zainteresowanym TCS. Chcę samemu przestudiować algorytmy i ich złożoność w celu rozwiązania grupowych problemów teoretycznych, takich jak znajdowanie porządku elementów, wyliczanie zbioru, wyszukiwanie generatora, testowanie, czy dany podzbiór generuje grupę. Jaką...
Jak mogę rozwiązać następującą relację powtarzalności? fa( n ) = f( n - 1 ) + f( n - logn )fa(n)=fa(n-1)+fa(n-logn) f(n) = f(n-1) + f(n - \log
dodoC jest prostokątem równoległym do osi. do1, … , Cndo1,…,donC_1,\dots,C_ndo1∪ ⋯ ∪ C.n⊊ C.do1∪⋯∪don⊊doC_1\cup\dots\cup C_n \subsetneq C Prostokąta zachowaniem podziału na jest partycja , tak że The są parami-Wnętrze rozłączne równoległoosiowym prostokąty, a każdy : , tj. każdy istniejący...
Greibach pokazowo zdefiniował język , tzw niedeterministycznych wersję z , tak że każdy CFL odwrotna morficznego obraz . Czy istnieje podobne stwierdzenie dotyczące DCFL, być może z dopuszczalnymi ograniczeniami morfizmów?HHHD2D2D_2HHH (Patrz np. M. Autebert, J. Berstel i L. Boasson. Języki...
Niech oznacza minimalny rozmiar (niemonotonowego) arytmetycznego obwodu obliczającego dany wielomianowy wielomian i oznaczają minimalny rozmiar ( obwodu logicznego obliczającego wersję logiczną z zdefiniowane
Szukam pracy ankietowej na temat ważnych pojęć w dziedzinie automatów kwantowych. Znalazłem teorię automatów kwantowych - recenzję Hirvensalo, ale brzmi to zbyt zwięźle, by zrozumieć ten temat. Czy istnieje dość kompleksowa ankieta na temat automatów kwantowych? Czy mógłbyś również wskazać mi...
Powiedzmy, że wykres ma właściwość M, jeśli jego wierzchołki można uporządkować v 1 , v 2 , … v n w taki sposób, że wykres H i indukowany przez wierzchołki { v 1 , … , v i } ma d i s t H i ( v j , v k ) = d i s t G ( v j , vsolGGM.MMv1, v2), … Vnv1,v2,…vnv_1, v_2, \ldots v_nH.jaHiH_i{ v1, … ,...
Załóżmy, że chcemy pomnożyć macierzy. Algorytm powolnego mnożenia macierzy działa w czasie O ( n 3 ) i wykorzystuje pamięć O ( n 2 ) . Najszybsze mnożenie macierzy przebiega w czasie n ω + o ( 1 ) , gdzie ω jest stałą algebry liniowej, ale co wiadomo o jej złożoności pamięci?n×nn×nn \times...
W notatkach z wykładu Oli Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf mówi się, że nie wiemy, czy Euclidean TSP jest w NP: Powodem jest to, że nie wiemy, jak skutecznie obliczać pierwiastki kwadratowe. Z drugiej strony jest ten artykuł Papadimitriou:...
Rozważam język wszystkich zadowalających formuł logicznych zdań, SAT (aby upewnić się, że ma to skończony alfabet, będziemy kodować litery zdań w odpowiedni sposób [edytuj: odpowiedzi wskazały, że odpowiedź na pytanie może nie być solidna pod różne kodowania, więc trzeba być bardziej szczegółowym -...
Łatwe spostrzeżenie, że, jeżeli problem jest rozstrzygalne przez wielomian czasu niedeterministycznych programu przy O ( log n ) niedeterministycznych bitów (czyli wszystkie świadków logarytmiczna długości), a następnie ∈ P .ZAAAO(logn)O(logn)O(\log n)A∈PA∈PA \in \mathsf{P} Jeśli ktoś zadaje...
Gęstość języka jest funkcją zdefiniowano jako Załóżmy, i są to języki na pewną skończoną alfabetu wielu jeden logspace redukuje się do , a jest w . Funkcje są wielomianowo powiązane, jeśli istnieją wielomiany i takie, że dla wszystkich , id X : N → N d X ( n ) = | { x ∈ X ∣ | x | ≤ n } | . A B A B...