Słyszałem od niektórych starszych naukowców zajmujących się informatyką teoretyczną, że praca w branży niezwiązanej z badaniami, nawet przez kilka lat, zabije twoją karierę jako badacz TCS. Jestem jednak podejrzliwy wobec twierdzenia, że droga od bycia badaczem TCS do pracy niezwiązanej z...
Definiujemy zwykły język drzewa, tak jak w książce TATA : Jest to zestaw drzew akceptowany przez niedeterministyczny automat skończonego drzewa (rozdział 1) lub, równoważnie, zbiór drzew wygenerowany przez zwykłą gramatykę drzewa (rozdział 2). Oba formalizmy są bardzo podobne do znanych analogów...
Mądrzy inni redaktorzy Wikipedii odrzucili moją prośbę o przeniesienie artykułu z Wikipedii na temat algorytmu Rabin – Karp do tego, co moim zdaniem powinno się nazywać, algorytm Karp – Rabin, ponieważ częściej używa się nazwy Rabin – Karp ( fałsz, jeśli ktoś idzie według liczb uczonego Google) lub...
Niektóre problemy trudne NP, które są wykładnicze na grafach ogólnych, są sub wykładnicze na grafach płaskich, ponieważ szerokość wynosi co najwyżej i są wykładnicze w szerokości.4,9 | V.( G ) |------√4.9|V(G)|4.9 \sqrt{|V(G)|} Zasadniczo jestem zainteresowany, czy istnieją algorytmy...
RP to klasa problemów rozstrzyganych przez niedeterministyczną maszynę Turinga, która kończy się w czasie wielomianowym, ale dopuszczalny jest również błąd jednostronny. P jest zwykłą klasą problemów rozstrzyganych przez deterministyczną maszynę Turinga, która kończy się w czasie wielomianowym. P...
Przecięcie dwóch (minimalnych) DFA ze stanami n można obliczyć przy użyciu O (n 2 ) czasu i przestrzeni. Jest to ogólnie optymalne, ponieważ otrzymany (minimalny) DFA może mieć n 2 stanów. Jeśli jednak wynikowy minimalny DFA ma stany z, gdzie z = O (n), czy można go obliczyć w przestrzeni n 2-eps ,...
Czy są jakieś referencje na ten
Ranga znaku macierzy A z wpisami + 1, -1 jest najmniejszą rangą (ponad rzeczywistymi) macierzy B, która ma taki sam wzór znaków jak A (tj. dla wszystkich i , j ). Pojęcie to jest ważne w złożoności komunikacji i teorii uczenia się.AijBij>0AijBij>0A_{ij}B_{ij}>0i,ji,ji,j Moje pytanie brzmi:...
Powszechnie wiadomo, że każdy dowód rozwiązujący pytanie P vs NP musi pokonać relatywizację , dowody naturalne i bariery algebrizacyjne . Poniższy schemat dzieli „przestrzeń próbną” na różne regiony. Na przykład RNRNRN odpowiada zestawowi dowodów relatywizujących i naturalizujących. GCTGCTGCT...
Rozważ to pytanie rozwiązane. Nie wybiorę najlepszej odpowiedzi, ponieważ wszystkie one przyczyniły się do mojego zrozumienia tego tematu. Nie jestem pewien, jakie korzyści przyniesie nam formalne zdefiniowanie semantyki logiki predykatów. Ale widzę wartość posiadania formalnego rachunku próbnego....
Rozważ następujący problem: biorąc pod uwagę formułę CNF i zadanie spełniające tę formułę, czy istnieje inne zadowalające przypisanie dla tej formuły? Jaka jest złożoność tego problemu? (Z pewnością jest w NP, ale czy to jest NP-trudne?) Co się stanie, jeśli nie otrzymasz zadania i chcesz po...
Czy zbadano złożoność następującego problemu? Dane wejściowe : sześcienny (lub nieregularny) wykres G = ( V , E ) , naturalna górna granica t333G=(V,E)G=(V,E)G=(V,E)ttt Pytanie : czy istnieje podział na | E | / 3 części rozmiaru 3, tak że suma rzędów (niepotrzebnie połączonych) odpowiednich...
Ostatnio uczyłem ekspanderów i wprowadziłem pojęcie grafów ramanujańskich. Michael Forbes zapytał, dlaczego tak się nazywają, i musiałem przyznać, że nie wiem.
1) Jaki, jeśli w ogóle, jest związek między pisaniem statycznym a gramatyką formalną? 2) Czy w szczególności byłoby możliwe, aby automat z ograniczeniem liniowym sprawdził, czy, powiedzmy, program C ++ lub SML był dobrze napisany? Automat zagnieżdżonego stosu? 3) Czy istnieje naturalny sposób na...
Cześć chłopaki, rozumiem, że sztuczka dopełniania pozwala nam tłumaczyć klasy złożoności w górę - na przykład . Wypełnianie polega na „nadmuchiwaniu” danych wejściowych, uruchamianiu konwersji (powiedzmy od powiedzmy na ), co daje „magiczny” algorytm, który można uruchomić na wypełnionym wejściu....
Przepraszamy za zadawanie pytań, które z pewnością muszą znaleźć się w wielu standardowych źródłach. Ciekawi mnie dokładnie pytanie zawarte w tytule, w szczególności myślę o obwodach boolowskich, bez ograniczeń głębokości. W cudzysłowie wstawiam „najmniejszy”, aby umożliwić istnienie wielu różnych...
W świetle ostatnich wyników Arory , Baraka i Steurera , Subexponential Algorytmy dla unikalnych gier i powiązanych problemów , interesują mnie problemy z grafem, które mają algorytmy czasu podwykładniczego, ale uważam, że nie jest to rozwiązanie wielomianowe. Znanym przykładem jest izomorfizm...
Zwykle buduje się wykres, a następnie zadaje pytania o rozkład macierzy przylegania (lub niektórych bliskich krewnych, takich jak Laplacian ), rozkład wartości własnych (zwany także widmami wykresu ). Ale co z problemem odwrotnym? Biorąc pod uwagę wartości własne, można (efektywnie) znajduje się...
Czytałem to . To mówi ... Nie będziesz głodować funduszy takich jak Pure Mathematics. (Nadal zawsze będziesz głodował po fundusze.) ... Dlaczego czystej matematycy potrzebują finansowania? (Ooops, pytanie o przepływ matematyki) Dlaczego ktoś prowadzący badania teoretyczne potrzebuje...
Jest deterministycznym algorytmem czasu wielomianowego znanym z następującego problemu: Dane wejściowe: liczba naturalna (w kodowaniu binarnym)nnn Wyjście: liczba pierwsza .p > np>np > n (Według listy otwartych problemów Leonarda Adlemana problem był otwarty w 1995 r.)...