Oczywiste jest, że każdy problem, który można rozstrzygnąć w deterministycznej przestrzeni logów ( ), występuje co najwyżej w czasie wielomianowym ( ). Tam jest wiele klas złożoności między i . Przykłady obejmują , , , , , . Uważa się, że .P L P N L L o g C F L N C i S A C i A C i S C i L ≠...
Zdaję sobie sprawę z bardzo konkretnego pytania i wątpię, że odpowie na nie każdy, kto nie jest zaznajomiony z zasadami Magii. Przeniesiony do Draw3Cards . Oto kompleksowe zasady gry Magic: the Gathering . Zobacz to pytanie, aby uzyskać listę wszystkich magicznych kart. Moje pytanie brzmi - czy gra...
Istnieje bogata literatura i co najmniej jedna bardzo dobra książka określająca znaną twardość wyników przybliżenia dla problemów trudnych dla NP w kontekście błędu multiplikatywnego (np. 2-przybliżenie dla pokrywy wierzchołków jest optymalne przy założeniu UGC). Obejmuje to również dobrze...
Wykres H jest rdzeniem, jeśli jakikolwiek homomorfizm z H do siebie jest bijectionem. Podgraf H dla G jest rdzeniem G, jeśli H jest rdzeniem i występuje homomorfizm od G do H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Biorąc pod uwagę wykres G, jaki jest najbardziej znany dokładny...
Zliczanie liczby idealnych dopasowań na wykresie dwustronnym można natychmiast zredukować do obliczenia wartości stałej. Ponieważ znalezienie idealnego dopasowania na grafie dwustronnym występuje w NP, istnieje pewna redukcja z grafów dwustronnych do stałych, ale może to wiązać się z nieprzyjemnym...
Biorąc pod uwagę ogromną bazę dozwolonych słów (posortowane alfabetycznie) i słowo, znajdź słowo z bazy danych, która jest najbliższa podanemu słowu pod względem odległości Levenshteina. Naiwnym podejściem jest oczywiście po prostu obliczenie odległości levenshteina między danym słowem a...
Przypuszczenie o rekonstrukcji mówi, że wykresy (z co najmniej trzema wierzchołkami) są określane jednoznacznie przez ich podgrupy usunięte z wierzchołków. Ta hipoteza ma pięć dekad. Przeszukując odpowiednią literaturę, odkryłem, że następujące klasy grafów są rekonstruowalne: drzewa wykresy...
Problem stabilnego małżeństwa: http://en.wikipedia.org/wiki/Stable_marriage_problem Zdaję sobie sprawę, że w przypadku SMP możliwe jest wiele innych stabilnych małżeństw, z wyjątkiem algorytmu Gale-Shapleya. Jeśli jednak otrzymamy tylko , liczbę mężczyzn / kobiet, zadajemy następujące pytanie: Czy...
Typy i języki programowania skupiają się dość mocno na subtypowaniu, ale o ile wiem, subtyping nie wydaje się szczególnie fundamentalny. Czy podtypowanie daje coś więcej niż typy zależne? Praca z typami zależnymi z pewnością będzie wymagała więcej pracy, więc rozumiem, dlaczego podtypy mogą być...
Chcę zrobić pierwszy solver SAT. Znam konkurs SAT i konferencję SAT i jest tak wiele artykułów na ten temat. Jestem starterem, przytłoczonym starterem. Od czego powinienem zacząć W końcu chcę wprowadzić najnowocześniejsze rozwiązania. Chcę porady ekspertów, jak zacząć, żeby nie marnować czasu na...
Biorąc pod uwagę podzbiorów z .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Sprawdź, czy istnieją zestawy z . (Jeśli tak, znajdź przykład, jeśli nie, po prostu powiedz „nie”)Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Trywialne rozwiązanie tego problemu polega na przejściu...
Dla dowolnego języka ponad zdefiniuj Słowami, składa się ze wszystkich dla których istnieje o równej długości, tak że .Σ * l 1 / 2 = { x ∈ Σ * : x y ∈ L , Y ∈ Σ | x | } . L 1 / 2 x Y x Y ∈ LL.LLΣ∗Σ∗\Sigma^*L.1 / 2= { x ∈ Σ∗: x y∈ L. , y∈ Σ| x |} .L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L_{1/2} = \{x \in \Sigma^*...
W „Wymaganiu do obliczeń kwantowych” Bartlett i Sanders podsumowują niektóre ze znanych wyników obliczeń ciągłych zmiennych kwantowych w poniższej tabeli: MOJE pytanie jest trzykrotne: Czy dziewięć lat później można wypełnić ostatnią komórkę? Jeśli kolumna zostanie dodana z tytułem „Universal...
Jest dobrze ustalone, że istnieje próg szumowy dla obliczeń kwantowych, taki że poniżej tego progu obliczenia mogą być zakodowane w taki sposób, że dają poprawny wynik z ograniczonym prawdopodobieństwem (z co najwyżej wielomianowym narzutem obliczeniowym). Próg ten zależy od zastosowanego kodowania...
Jest to związane z pytaniem Czy rozmiar członkostwa świadka dla każdego języka NP jest już znany? Niektóre naturalne problemy (-kompletne) mają świadków o długości liniowej: zadowalające przypisanie dla , ciąg wierzchołków dla itp.NPNP\mathsf{NP}SATSATSATHAMPATHHAMPATHHAMPATH Rozważ klasę...
Edycja: Najpierw źle sformułowałem moje ograniczenie (2), teraz jest poprawione. Dodałem także więcej informacji i przykładów. Z niektórymi kolegami, badającymi inne pytania algorytmiczne, byliśmy w stanie zredukować nasz problem do następującego interesującego problemu, ale nie byliśmy w stanie...
EDYCJA (v2): Dodano sekcję na końcu tego, co wiem o problemie. EDYCJA (v3): Dodano dyskusję na temat stopnia progowego na końcu. Pytanie To pytanie jest głównie prośbą o referencję. Nie wiem dużo o tym problemie. Chcę wiedzieć, czy wcześniej pracowano nad tym problemem, a jeśli tak, to czy ktoś...
Jakie konsekwencje miałby dowód hipotezy abc dla
Szukam książki o zaawansowanych strukturach danych, która wykracza poza to, co jest zawarte w standardowych podręcznikach, takich jak Cormen, Leiserson, Rivest i „Wprowadzenie do algorytmów” Steina. Książka, która może być wykorzystana do nauczania kursów na poziomie zaawansowanym na temat...
Istnieje wiele zastosowań rzeczywistych analiz w informatyce teoretycznej, obejmujących testowanie własności, złożoność komunikacji, uczenie się PAC i wiele innych dziedzin badań. Nie mogę jednak wymyślić żadnego wyniku w TCS, który opierałby się na złożonej analizie (poza obliczeniami kwantowymi,...