Pytania otagowane jako cc.complexity-theory

P a NP i inne obliczenia ograniczone do zasobów.

1
Poprawiasz ogólną redukcję Cooka dla Clique do SAT?
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 ustalonego k, więc „powinna” być skuteczna redukcja przynajmniej dla …
2
Łatwy w optymalizacji, ale trudny do oceny
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 x, zminimalizuj ”, gdzie f : { 0 , 1 } ∗ × …
2
Algorytm mnożenia wektora macierzy przy użyciu minimalnej liczby dodatków
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ą mnożenia macierzy). Co wiadomo o tym problemie? Czy są jakieś interesujące …
1
Na czym polegają twierdzenia o dychotomii?
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 twierdzeń o dychotomii nie jest naprawdę łatwe. …
1
Kanoniczna reprezentacja binarnego drzewa decyzyjnego w czasie?
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 funkcję logiczną w oczywisty sposób. Dwa BDT są równoważne ( …
1
Problemy z komunikacją, o których nie wiadomo, że istnieje deterministyczne twierdzenie o sumie bezpośredniej
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 negatywny: istnieje funkcja częściowa (z powodu [O90]), której deterministyczna złożoność komunikacji wynosi , ale obliczenie jej w …
1
Czy możemy skonstruować k-mądrą niezależną permutację na [n], używając tylko stałego czasu i przestrzeni?
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ę i∈[n]i∈[n]i\in[n] , σ(i)σ(i)\sigma(i) można obliczyć w stałym czasie i przestrzeni. …
2
Które problemy z grafem są trudne dla na wykresach skierowanych (/ ważonych), ale FPT na wykresach niekierowanych (/ nieważonych)?
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 grafach bezkierunkowych?NPNPNPW[1]W[1]W[1] Które problemy z twardym grafem są trudne …
1
Czy równania różniczkowe można zaklasyfikować do własnych klas złożoności?
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ż, powiedzmy, równanie jednorodne 100 rzędu, czy można je zaklasyfikować jako osobne klasy wypukłości, biorąc …
3
Wykres teoretyczne ograniczenie do dowodów w teorii złożoności dowodu
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 formalnych modeli dowodów. Moje pytanie dotyczy dalszego ograniczenia tego modelu. …
1
Hipoteza Hartmanisa-Stearnsa i obliczalne liczby transcendentalne
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 obliczalna liczba transcendentalna, która nie jest obliczalna …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.