Jaka jest standardowa definicja Planar 3-SAT? Widziałem wiele różnych definicji. Jaki był oryginalny dokument, który go zdefiniował i udowodnił, że jest
W Zaawansowanych tematach w typach i językach programowania w rozdziale o podstrukturalnych systemach typów wspomniano, że „starannie spreparowany” rachunek afiniczny lambda z kombinatorem rekurencyjnym dla list może wpisywać tylko terminy, które mają wielomianowy czas działania (nie przedstawić...
Interesuje mnie następujący problem. Jako dane wejściowe podano „permutację docelową” , a także uporządkowaną listę indeksów . Następnie, zaczynając od listy (tj. Permutacja tożsamości), przy każdym kroku zamieniamy element w z element, z niezależnym prawdopodobieństwem . Niech będzie...
Czy są jakieś problemy, które można rozwiązać w czasie wielomianowym tylko wtedy, gdy P! = NP, a w innym przypadku rozwiązać (powiedzmy) ?O ( 2n)O(2)n)O(2^n) Prostym przykładem byłoby: Jeśli P! = NP, oblicz test pierwszeństwa dla losowej liczby n-bitowej, w przeciwnym razie oceń losową pozycję...
Korzystając z modelu rzeczywistej pamięci RAM / BSS, mamy klasę NP R (gdzie BSS to model Blum-Shub-Smale komputera z operacjami nad rzeczywistością). Mamy kompletne problemy z NP R. Pytanie zatem, czy istnieje analogia do hipotezy Bermana Hartmanisa dla klasy NP R ? Oczywiście postawione tutaj...
Skrzyżowane z MO . Izomorfizm kolorowego wykresu (krawędzi) to GI, który zachowuje kolory (krawędzi, jeśli jest w kolorze krawędzi). Istnieje kilka obniżek przy użyciu transformacji / gadżetów GI (krawędzi) w kolorze do GI. W przypadku GI w kolorze krawędzi najprostsze jest zastąpienie kolorowej...
Załóżmy, że mamy funkcję boolowską od . Oczywiste jest, że prawdziwy wielomianowy wielomian p ( x ) taki, że f ( x ) = p ( x ) na x ∈ { 0 , 1 } n może być wieloliniowy. Jakie są ciekawe klasy funkcji boolowskich, dla których minimalny stopień p ( x )fa: { 0 , 1 }n→ { 0 , 1...
Usiłuję znaleźć rozkład na losowych wektorów, powiedzmy , na sferze jednowymiarowej (gdzie ), która minimalizuje zastrzeżeniem ograniczenia \ mathbb {E} [x_i ^ Tx_j] = 0 .nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T...
Babai i Seress okazało się , że ze względu podgrupa i agregatem S z G , każdy permutacyjny G może być zapisana jako produkt generatorów i ich odwrotności długości e ( 1 + O ( 1 ) ) √G≤SnG≤SnG \leq S_nSSSGGGGGG . Ta granica jest optymalna, ponieważSnma element rzędue(1+o(1))...
Powiedzmy, że pracuję w teorii typów homotopii, a moim jedynym przedmiotem badań są kategorie konwencjonalne. Równoważności są podane przez funktory i które zapewniają równoważność kategorii . Istnieją naturalne izomorfizmy i więc ten funktor i „odwrotny” funktor są przekształcane w funktor...
W szczególności rozumiem przez dodanie, że to alfabet . Podane języki regularne i pod jakimś alfabetu , spojrzenie na . { 0 , 1 , 2 , . . . , i } A B Σ i A × BΣjaΣi\Sigma_i{ 0 , 1 , 2 , . . . , ja }{0,1,2,...,i}\{0, 1, 2, ..., i\}ZAAAbBBΣjaΣi\Sigma_iA × BA×BA\times B Dla każdej uporządkowanej pary...
Ponad ~ 1,5-letnia hipoteza Riemanna ma głębokie implikacje w matematyce, a duży gmach teorii matematycznej jest teraz warunkowo udowodniony i liczne warianty. Ostatnio natknąłem się na odniesienie do wyniku warunkowego w TCS opartego na hipotezie Riemanna. Zastanawiam się zatem jakie są główne...
Tło: Przetwarzanie transakcji jest tradycyjnym tematem badań w teorii baz danych. Obecnie transakcje rozproszone są popularyzowane przez wielkoskalowe rozproszone systemy pamięci masowej, które zazwyczaj obejmują partycjonowanie danych (zwane także shardingiem) i replikację danych . Jakie są...
Moje pytanie dotyczy algorytmów kwantowych do obliczeń QED (elektrodynamiki kwantowej) związanych ze stałymi drobnych struktur. Takie obliczenia (jak mi wyjaśniono) sprowadzają się do obliczenia szeregu podobnego do Taylora gdzie α jest stałą drobnej struktury (około 1/137), a c k jest wkładem...
Jakie jest standardowe podejście do minimalizacji Büchi-Automata (lub także Müller-Automata)? Przeniesienie zwykłej techniki ze słów skończonych, tj. Ustawienie dwóch stanów na równe, jeśli słowa „wyczerpania” stanów, które są akceptowane, są takie same, nie zadziała. Na przykład rozważmy, że...
W artykule z 1965 r. „ O złożoności algorytmów ” autorstwa Hartmanisa i Stearnsa autorzy przypuszczają, że jeśli maszyna Turinga w czasie rzeczywistym oblicza liczbę rzeczywistą na przykład w podstawie 10, to r jest albo liczbą wymierną, albo liczbą liczba transcendentalna.rrrrrr Czy istnieje...
Odpowiednio, czy istnieje znana semantyka denotacyjna dla probabilistycznych funkcjonalnych języków programowania wyższego rzędu? Konkretnie, czy istnieje model domenowy czystego nietypowego -kalkultu rozszerzony o symetryczną operację losowego wyboru binarnego.λλ\lambda Motywacja Kartezjańskie...
Złożoność dowodu jest najbardziej podstawowym obszarem teorii złożoności obliczeniowej. Ostatecznym celem tego obszaru jest udowodnienie , co oznacza, że żaden z proverów nie może dać dowodu na niezadowolenie danej formuły wejściowej. N.P.≠ c o NP.N.P.≠dooN.P.NP\neq coNP Wykres jest jednym z...
Jest to dość dobrze znany fakt, że wywodzenie sprzeczności z nierówności (na przykład ) w teorii typu Martina-Loefa wymaga wszechświata.(0=1)→⊥(0=1)→⊥(0=1) \to \bot Dowód jest również dość prosty - w przypadku braku wszechświatów możemy usunąć zależności od dowolnego typu zależnego, aby uzyskać...
Problem z izomorfizmem grafów jest jednym z najdłużej utrzymujących się problemów, które opierały się klasyfikacji do problemów kompletnych lub N P. Mamy dowody, że to nie może być N P -Complete. Po pierwsze, wykres Izomorfizm nie może być N P -Complete chyba że wielomian hierarchii [1] opada do...