Teoretyczne informatyka

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...

Być może głównym źródłem problemów z wydajnością w Haskell jest przypadek, gdy program nieumyślnie tworzy masę nieograniczonej głębokości - powoduje to wyciek pamięci i potencjalne przepełnienie stosu podczas oceny. Klasycznym przykładem jest definiowanie sum = foldr (+) 0w Haskell. Czy są jakieś...

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ż,...

P . Jaka jest złożoność znalezienia największej komórki ograniczonej objętością w układzie hiperpłaszczyzn w wymiarze d ?nnnrered Wydaje mi się, że powinienem to wiedzieć ... Ale nie znajduję ostatecznego odniesienia. Czy to ? Co powiesz na specjalizację d = 2 : Największy obszar ograniczony...

Istnieje problem otwarty w językach formalnych znany jako problem oddzielający; co jest krótko określone jako dane dwa odrębne ciągi o długości , jak duży jest DFA, aby je „rozdzielić”, co oznacza przyjęcie jednego ciągu, ale odrzucenie drugiego.nnn Oto kilka odpowiednich dokumentów 1 , 2 . (Mam...

Jaka jest złożoność następującego problemu ( P? NP-trudny?):∈∈\in Dane wejściowe: ukierunkowany wykres acykliczny , zestaw tylnych krawędzi E ′ ⊂ V × V i dwa odrębne węzły sD=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsss i .ttt Pytanie: Niech oznacza wykres utworzony przez dodanie do D...

W teście tożsamości wielomianowej szukamy algorytmu deterministycznego, aby wnioskować o równości dwóch wielomianów . Ważnym otwartym problemem jest derandomizacja znanych skutecznych algorytmów randomizowanych i wytwarzanie wydajnego algorytmu deterministycznego. Czy istnieje kompletny problem dla...

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...

Ten blog mówi o generowaniu „krętych małych labiryntów” za pomocą komputera i ich liczeniu. Wyliczenia można dokonać za pomocą algorytmu Wilsona, aby uzyskać UST , ale nie pamiętam wzoru na ich

Niech zostanie podana liczba . Rozważ następujący język .nnnL.n= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} słowy, jest zbiorem ciągów kopii o długości . 2 nL.nLnL_n2 n2n2n Rozważmy następujący stan złożoność funkcji takie, że jest liczbą stanów w...

Niech będzie dziedziczną klasą grafów. (Dziedziczne = zamknięte w odniesieniu do pobierania indukowane subgraphs). Let oznacza zbiór wykresów -Vertex w . Powiedzmy, że zawiera prawie wszystkie wykresy, jeśli ułamek wszystkich wykresów -vertex przypadających na zbliża się do 1, jako...

Kombinatory interakcji były wcześniej proponowane jako cel kompilacji dla rachunku λ. Ten papier implementuje pełny rachunek λ. Wiadomo również, że możliwe jest zoptymalizowanie kodowania sieci interakcji rachunku λ dla podzbioru terminów λ, który jest typowy dla EAL. W tym artykule...

Twierdzenie Borsuka-Ulama mówi, że dla każdej ciągłej funkcji nieparzystej sfery n do e-przestrzeni istnieje punkt taki, że .x 0 g ( x 0 ) = 0solsolgx0x0x_0sol( x0) = 0sol(x0)=0g(x_0)=0 Simmons i Su (2002) opisują metodę aproksymacji punktu za pomocą lematu Tuckera . Jednak nie jest jasne, jaka...

Na stronie http://www.dharwadker.org/tevet/isomorphism/ znajduje się prezentacja algorytmu do określania, czy dwa wykresy są izomorficzne. Biorąc pod uwagę wiele „powiedzmy” interesujących twierdzeń A Dharwadkera, nie jestem skłonny w to uwierzyć. W trakcie mojego dochodzenia stwierdziłem, że...

Następujący termin λ, tutaj w formie normalnej: sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) Implementuje algorytm sortowania dla list zakodowanych w kościele. Oznacza to, że wynik: sort...

Z artykułu na temat strategii oceny w Wikipedii: Pojęcie strategii redukcji w rachunku lambda jest podobne, ale wyraźne. Z artykułu na temat strategii redukcji na Wikipedii: Jest podobny, ale nieznacznie różni się od pojęcia strategii oceny w informatyce. Jakie jest subtelne rozróżnienie...

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ą...