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...
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...
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...
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...
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...
Po równoważnych pytaniach dotyczących kompletności NP (patrz pytanie wagi i pytanie kierowane ) zastanawiałem się, w jaki sposób atrybuty te wpływają na sparametryzowane problemy. Które problemy z twardym grafem są trudne dla na grafach ukierunkowanych, ale stały parametr można traktować na...
Problemy zostały sklasyfikowane jako całość dzięki złożoności obliczeniowej. Ale czy w równaniach różniczkowych można klasyfikować równania różniczkowe w zależności od ich struktury obliczeniowej? Na przykład, jeśli równanie niejednorodne pierwszego rzędu jest stosunkowo trudne do rozwiązania niż,...
Biorąc pod uwagę dwie permutacje i nad elementami (tj. ), jaka jest złożoność obliczania kolejności podgrupy generowanej przez ? Albo po prostu decydując, czy podgrupa jest rzędu(tj. wszystkie )?h n S n g , h n ! S nsolgghhhnnnS.nSnS_nsol, hg,hg,hn
Jest to stary otwarty problem, czy bezpośrednim suma twierdzenie zachodzi dla deterministycznego złożoności komunikacyjnej, to znaczy, czy rozwiązywania niezależnych instancji problemu jest razy twardszy niż rozwiązywanie pojedynczą instancję. [FKNN95] wykazał następujące wyniki:ttttttt Wynik...
Niech k>0k>0k>0 będzie stałą stałą. Biorąc pod uwagę liczbę całkowitą nnn , chcemy skonstruować permutację σ∈Snσ∈Sn\sigma \in S_n tak aby: Konstrukcja wykorzystuje stały czas i przestrzeń (tj. Wstępne przetwarzanie zajmuje stały czas i przestrzeń). Możemy użyć randomizacji. Biorąc pod uwagę...
Zastanawiam się, czy może istnieć sposób na nadanie pewnego rodzaju „normalnej formy” binarnym drzewom decyzyjnym (BDT) w sposób możliwy do wdrożenia. Mówiąc dokładniej: BDT jest drzewem z wewnętrznymi węzłami oznaczonymi zmiennymi logicznymi i liśćmi oznaczonymi przez lub . BDT reprezentuje...
Rozważ następujący problem: Biorąc pod uwagę macierz , chcemy zoptymalizować liczbę dodatków w algorytmie mnożenia do obliczania .MMMv↦Mvv↦Mvv \mapsto Mv Uważam ten problem za interesujący ze względu na jego związek ze złożonością mnożenia macierzy (ten problem jest ograniczoną wersją...
Powszechnie wiadomo, że pewne klasy NP -Problemy Have dychotomia twierdzeń, które gwarantują, że każde zadanie w klasie jest albo NP -Complete lub jest w P . Najbardziej znanym takim wynikiem jest twierdzenie Schaefera o dychotomii wraz z szeregiem uogólnień. Rozumiem, że udowodnienie tych...
Następujący termin (przy użyciu indeksów bruijn): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Po zastosowaniu do numeru kościoła Nszybko ocenia się w normalnej formie u kilku istniejących ewaluatorów, w tym naiwnych . Jeśli...
Czy są znane naturalne przykłady problemów z optymalizacją, dla których znacznie łatwiej jest stworzyć optymalne rozwiązanie niż ocenić jakość danego rozwiązania kandydującego? Ze względu na konkretność możemy rozważyć rozwiązania problemów optymalizacji w postaci wielomianowej w postaci: „biorąc...
Jestem zainteresowany zredukowaniem kliki do SAT bez powiększania instancji.kkk Klika jest w NP, więc można ją zredukować do SAT za pomocą przestrzeni logarytmicznej. Prosta redukcja podręcznika Garey / Johnson wysadza instancję do sześciennej wielkości. Jednak Klika jest w P dla każdego...
Niech będzie symetrycznym wielomianem , tj. Wielomianem takim, że f ( x ) = f ( σ ( x ) ) dla wszystkich x ∈ K n i wszystkich permutacji σ ∈ S n . Dla wygody możemy założyć, że K jest polem skończonym, aby uniknąć rozwiązywania problemów z modelem obliczeniowym.fa: Kn→ Kfa:K.n→K.f:\mathbb{K}^n \to...
Odwrotne włączenie jest oczywiste, podobnie jak fakt, że każdy samonredukowalny język NP w BPP jest również w RP. Czy znane jest to również w przypadku języków NP
Pozwól probabilistycznej maszynie Turinga mieć dostęp do nieuczciwej monety, która pojawia się z prawdopodobieństwem (trzepnięcia są niezależne). Zdefiniuj jako klasę języków rozpoznawalnych przez taki komputer w czasie wielomianowym. Standardowym ćwiczeniem jest wykazanie, że:B P P...
Pozwolić HALTnHALTnHALT_n oznacz ciąg długości 2n2n2^n odpowiadający tabeli prawdy problemu zatrzymania dla danych wejściowych długości nnn. Jeśli sekwencja złożoności Kołmogorowa K(HALTn)K(HALTn)K(HALT_n) byli O(1)O(1)O(1), wtedy jeden z ciągów porad byłby używany nieskończenie często, a TM z tym...