Klasa UP jest zdefiniowana jako taka: Klasa problemów decyzyjnych rozwiązanych przez maszynę NP, taką jak Jeśli odpowiedź brzmi „tak”, akceptuje dokładnie jedną ścieżkę obliczeniową. Jeśli odpowiedź brzmi „nie”, wszystkie ścieżki obliczeniowe odrzucają. Próbuję rozwinąć intuicję dla tej...
Problem „drugiego ” to problem decydowania o istnieniu innego rozwiązania innego niż niektóre dane rozwiązanie problemu.XXX W przypadku niektórych uzupełnieniem druga wersja rozwiązania to zupełne (decydujące o istnieniu innego rozwiązania dla częściowego problemu częściowego uzupełnienia kwadratu...
Impagliazzo, Paturi i Calabro, Impagliazzo, Paturi wprowadzili hipotezę czasu wykładniczego (ETH) i hipotezę silnie wykładniczego czasu (SETH). Z grubsza, SETH mówi, że nie ma algorytmu, który rozwiązuje SAT w czasie . 1,99n1,99n1.99^n Zastanawiałem się, co to znaczy złamać SETH. Zdecydowanie...
Czy istnieje 2DFA ze stanami (gdzie n nie jest łatwe, powiedzmy co najmniej 4), które wymagają co najmniej 2 n stanów do symulacji przy użyciu dowolnego DFA?nnnnnn2)n2n2^n Dwukierunkowy DFA (2DFA) jest deterministyczny automat skończony-państwo, które może poruszać się tam iz powrotem na jej...
Szukam klasy złożoności, który dotyczy APX jako BPP dotyczy P. Już samo pytanie tutaj , ale być może będzie TCS być bardziej owocne lokalizacja odpowiedzi. Powodem tego pytania jest to, że w praktycznych problemach często trzeba znaleźć przybliżone odpowiedzi (a więc APX) z wystarczająco wysoką...
Czy znasz problemy, które są twarde W [1], nawet w przypadku wykresów o ograniczonym stopniu? Wymiar metryczny jest trudny na wykresach ze stopniem co najwyżej 3, ale ma twardość W [2]. Czerwono-niebieski Nonblocker był twardy W [1] na wykresach ze stopniem ograniczonym, ale wystąpił błąd w...
Czy istnieje udokumentowany sposób obliczania węzłów? (obwody osadzone w trójwymiarowej przestrzeni euklidesowej). Mam na myśli typ danych, który je reprezentuje, oraz algorytm określający, czy dwa wystąpienia typu danych reprezentują ten sam węzeł. Jeśli odpowiedź jest pozytywna, co ze...
Czy znane jest następujące roszczenie? Twierdzenie : Dla każdego wykresu z wierzchołkami istnieje kolorystyka tak że każdy niezależny zestaw jest zabarwiony co najwyżej kolorami .n G O ( √solGGnnnsolGGO (
Mam pytanie dotyczące czystych funkcji. Według strony Wikipedii jednym z wymogów czystej funkcji jest: Ocena wyniku nie powoduje semantycznie obserwowalnego efektu ubocznego lub wyjścia, takiego jak mutacja obiektów podlegających mutacji lub wyjście do urządzeń I / O. Co to naprawdę oznacza? A...
O ile mi wiadomo, dolna granica normy faktoryzacji podana przez Liniala i Shraibmana jest zasadniczo jedyną dolną granicą znaną ze złożoności komunikacji kwantowej (lub przynajmniej obejmuje wszystkie inne). Czy są jakieś dowody przeciwko ścisłości tego powiązania? Ograniczona normą faktoryzacji...
W twierdzeniach za darmo! , Wadler mówi, że charakterystykę parametryczności można wyrazić ponownie w kategoriach luźnych naturalnych przekształceń i będzie to przedmiotem kolejnego artykułu. Do którego referatu się odnosi? W znanym mi kategorycznie podejściu do paramteryczności stosuje się...
Po przeczytaniu powiązanego pytania dotyczącego niekonstruktywnych dowodów istnienia algorytmów, zastanawiałem się, czy istnieją metody pokazania istnienia „małych” (powiedzmy, stanowych) maszyn obliczeniowych bez ich budowania. Formalnie: załóżmy, że otrzymaliśmy język i naprawiliśmy jakiś...
Teoria typów Martina-Löfa wykorzystuje typy W do definiowania struktur indukcyjnych, takich jak liczby całkowite, listy itp. Jednak rachunek konstrukcji indukcyjnych nie używa ich w ten sam sposób, typy indukcyjne wydają się być bardziej podobne do schematów aksjomatycznych. Czy te dwa podejścia...
Oznacz przez minimalny stopień wyjściowy w G , a przez δ - ( G ) minimalny stopień wyjściowy.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) W powiązanym pytaniu wspomniałem o rozszerzeniu Ghouili-Houri twierdzenia Diraca o cyklach hamiltonowskich , co sugeruje, że jeśli to G oznacza...
Problem pokrycia zestawu jest więc trywialny, jeśli żaden z zestawów kandydujących się nie przecina. Co jednak, jeśli rozmiar przecięcia dowolnej pary zestawów kandydujących wynosił co najwyżej 1? Czy ten problem jest trudny NP? Byłbym wdzięczny za każdy wgląd. Dzięki,...
Oto problem o smaku podobnym do nauki junt: Dane wejściowe: Funkcja , reprezentowana przez wyrocznię członkowską, tzn. Wyrocznię, która dała , zwraca .x f ( x )fa: { 0 , 1 }n→ { - 1 , 1 }f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\}xxxfa( x )f(x)f(x) Cel: Znajdź podmoduł S.SS o wartości { 0 ,...
Jak wspomniano @Marzio, następująca gra jest znana jako Geografia uogólniona . Biorąc pod uwagę wykres i początkowy wierzchołek v ∈ V , grę definiuje się w następujący sposób:G = ( V, E)G=(V,E)G=(V,E)v ∈ Vv∈Vv \in V W każdej turze (dwóch graczy na przemian) gracz wybiera , a następnie dzieje się...
Standardowy dowód, że BQPSPACE jest w PSPACE, opiera się na analizie typu gry Savitcha na całkach ścieżek. Zakłada się jednak, że długość czasu BQPSPACE jest co najwyżej wykładniczo długa. Dotyczy to PSPACE, ale dla zamkniętych układów kwantowych o ustalonej liczbie stopni swobody zwykle trwa...
Staram się zrozumieć, co jest zaangażowane w teoretyczne badania informatyczne. Czym zajmują się informatycy teoretyczni? Wiem, że znaczna ilość czasu poświęcana jest na nauczanie, nadzorowanie doktorantów, ubieganie się o fundusze i obowiązki departamentalne. Odkładając je na bok, jak spędzasz...
Skrzyżowane z MO . Niech CCC będzie klasą grafu zdefiniowaną przez skończoną liczbę zabronionych indukowanych podrożników, z których wszystkie są cykliczne (zawierają co najmniej jeden cykl). Czy istnieją problemy związane z grafem trudnym dla NP, które można rozwiązać w czasie wielomianowym...