Teoretyczne informatyka

Pytania i odpowiedzi dotyczące teoretycznych informatyków i badaczy w pokrewnych dziedzinach

3
Praktyczne konsekwencje
tło Obwód złożoność C 0 jest zdefiniowany jako zbiór rodzin obwodu (tj sekwencje obwodów, po jednym dla każdej wielkości wejściowej) o ograniczonej głębokości i wielomianu wielkości zbudowany przy użyciu nieograniczona fan-in AND, OR i NOT.AC0ZAdo0AC^0 Funkcja parzystości z wejściem n- bitowym jest równa XOR bitów na wejściu.⊕⊕\oplusnnn Jednym z pierwszych …
1
Twierdzenie o bezpośredniej sumie dla złożoności przestrzeni klauzuli rozdzielczości?
Rozwiązanie to program mający na celu wykazanie niezadowalającej wartości CNF. Dowodem na rozwiązanie jest logiczne odjęcie pustej klauzuli dla klauzul początkowych w CNF. W szczególności każdy punkt początkowy można wywnioskować, i dwóch punktach ∨ x i B ∨ Kontakty x klauzula ∨ B można wywnioskować, jak również. Odrzucenie jest sekwencją …
1
Obliczeniowe konsekwencje twierdzenia Friedmana (nie do udowodnienia) na temat przesunięcia górnego o stałym punkcie?
Harvey Friedman wykazał, że istnieje dokładny wynik punktu stałego, którego nie można udowodnić w ZFC (zwykła teoria mnogości Zermelo-Frankela z Axiom of Choice). Wiele współczesnych układów logicznych opiera się na operatorach stałoprzecinkowych, więc zastanawiałem się: czy są znane konsekwencje twierdzenia o przesunięciu górnego przesunięcia dla teoretycznej informatyki? Nie do udowodnienia …
3
Problem wyboru słowa kluczowego w aukcji marketingu w wyszukiwarkach
Po pierwsze, wciąż nie jestem pewien, czy cstheory jest dobrze przystosowana do tego pytania, więc nie obrażę się, jeśli tłum uzna, że ​​tak nie jest ... W marketingu w wyszukiwarkach interesujących jest kilka problemów. Zaprojektowanie uczciwych (i rentownych) mechanizmów aukcyjnych oraz obliczenie optymalnych strategii licytacji w ramach ograniczonych zasobów pieniężnych …
1
Czy przewidywanie (w granicach) sekwencji obliczalnych jest tak trudne, jak problem zatrzymania?
Pytanie : Czy przewidywanie (jak zdefiniowano poniżej) sekwencji obliczalnych jest tak trudne, jak problem zatrzymania? Opracowanie : „Przewidywanie” oznacza pomyślne przewidywanie, co oznacza popełnienie tylko skończonej liczby błędów w zadaniu próby przewidzenia n-tego bitu sekwencji, który ma dostęp do poprzednich bitów n-1 (zaczynając od pierwszego bitu i przechodząc przez cała …
1
Zależne poprawki w opartym na pomiarach uniwersalnym ślepym obliczeniu kwantowym
W Universal Blind Quantum Computation autorzy opisują protokół oparty na pomiarach, który pozwala prawie klasycznemu użytkownikowi wykonać dowolne obliczenia na serwerze kwantowym bez ujawniania prawie niczego na temat treści obliczeń. W opisie protokołu autorzy wspominają o „zestawach zależności” powiązanych z każdym kubitem, które mają być obliczone za pomocą metody opisanej …
1
Jednolita hierarchia problemów obejmujących złożoność i hierarchie obliczeniowe
Czy ktoś zna zestaw problemów, które różnią się równomiernie i obejmują jedną z „interesujących” hierarchii złożoności i obliczalności? Przez interesujące rozumiem na przykład Hierarchię Wielomianową, Hierarchię Arytmetyczną lub Hierarchię Analityczną. A może (N) P, (N) EXP, 2 (N) EXP, ……\ldots 0 , 0′, 0′¯¯¯¯, 0′ ′, 0′ ′¯¯¯¯¯, …0,0′,0′¯,0″,0″¯,…0, 0', …
1
Skończona jednokierunkowa permutacja z nieskończoną domeną
Niech będzie permutacją. Zauważ, że chociaż działa w nieskończonej domenie, jego opis może być skończony. Przez opis rozumiem program, który opisuje funkcjonalność . (Jak w złożoności Kołmogorowa.) Zobacz wyjaśnienia poniżej. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Na przykład funkcja NOT jest jedną z takich permutacji: funkcja NOT (x) Niech y …
1
Relaks
Mam pytanie wykonalności, które można sformułować w następujący sposób. Ja dany punkt w -wymiarowej przestrzeni wektorowej i chcę, aby znaleźć najbliższy punkt do że spełnia zestaw „ ograniczeń” formularzadpppreddp ℓ 0qqqpppℓ0ℓ0\ell_0 Biorąc pod uwagę zestaw , co najwyżej jeden z może być niezerowy.S.∈ [ 1 … d]S∈[1…d]S \in [1\ldots d]{ …
2
Złożoność ukrytej łamigłówki wielokątów na kwadratowych siatkach?
Hiroimono jest popularną łamigłówką . Interesuje mnie złożoność obliczeniowa powiązanej układanki.N.P.NPNP Problemem jest: Dane wejściowe : Biorąc pod uwagę zestaw punktów na siatce kwadratowej x i liczbie całkowitejn knnnnnnkkk Pytanie : Czy istnieje wielokąt prostoliniowy (jego boki równoległe do osi lub ) taki, że liczba punktów na rogach wielokąta wynosi …
1
Jakie algorytmy / dane do czytania poleciłbyś przy rozwiązywaniu transakcji / blokad odczytu i zapisu?
Uproszczoną klasyczną transakcję bazy danych można wyświetlić jako: czytanie M. pozycji wykonanie pewnych obliczeń na podstawie tych odczytów zapisywanie niektórych wyników N na podstawie tych obliczeń, które mogą obejmować pierwotnie odczytane elementy. Podczas wykonywania tych transakcji (jednocześnie) należy zachować właściwości ACID . Dokładnie takie same wymagania (N aktualizacji na podstawie …
1
Przycinanie silnie połączonego digrafa
Biorąc pod uwagę silnie połączony wykres G z ważonymi krawędziami, chciałbym zidentyfikować krawędzie, które prawdopodobnie nie są częścią żadnego minimalnie silnie połączonego podgrupy (MSCS) G. Jedną z metod znajdowania takich krawędzi jest zmodyfikowany algorytm Floyda-Warshalla. Korzystając z algorytmu Floyda-Warshalla, można określić, które krawędzie nigdy nie są najlepszą opcją przejścia od …
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.