DFA lub NFA odczytuje ciąg wejściowy z pojedynczą głowicą, przesuwając się od lewej do prawej. Naturalne wydaje się zastanawianie się nad maszynami o skończonym stanie, które mają wiele głowic , z których każda porusza się po wejściu od lewej do prawej, ale niekoniecznie w tym samym miejscu na...
Znamy i kochamy wiele zagnieżdżonych klas koncepcji rozwiązań: PN: Równowaga Pure Nasha MN: Mixed Nash Equilibrium CE: Skorelowana równowaga CCE: kurs skorelowana równowaga. Związek między tymi zestawami jest następujący: PN⊂MN⊂CE⊂CCEPN⊂MN⊂CE⊂CCEPN \subset MN \subset CE \subset CCE Możemy...
Mam więc problem z klastrowaniem danych na żywo i ciągłego przesyłania strumieniowego. Ponieważ mam stale rosnący zestaw danych, nie jestem pewien, jaki jest najlepszy sposób na wydajne i wydajne tworzenie klastrów. Wymyśliłem kilka możliwych rozwiązań, w tym: Ustawienie limitu liczby punktów...
(Powoli) piszę recenzję Podręcznika algorytmów chemoinformatycznych dla SIGACT News. Jeden rozdział omawia bieżące implementacje oprogramowania, a wyszukiwania w bazie danych (i inne aplikacje) wydają się nie wykorzystywać tak dużej ilości informacji o wykresach, jak mogłyby. Z drugiej strony być...
Czy są jakieś znane wyniki wskazujące, że istnienie (lub nieistnienie) grafów skończonych o określonych właściwościach obliczeniowych implikuje pewne wyniki złożoności (takie jak P = NP)? Oto jeden całkowicie hipotetyczny wynik: jeśli istnieje skończony wykres z rozłożonymi krawędziami A, B, C i...
IP (2pfa) i AM (2pfa) to klasy języków rozpoznawane z błędem granicznym odpowiednio w prywatnych i publicznych wersjach monet, interaktywnych systemów dowodzenia z weryfikatorami, które są probabilistycznymi automatami skończonymi z dwukierunkową głowicą wejściową. Czy znane są jakieś właściwości...
Mam na myśli w szczególności rodziny języków, które dopuszczają dowolnie długie ciągi znaków - a nie koniunkcje na n bitach lub listach decyzyjnych lub jakimkolwiek innym „prostym” języku zawartym w {0,1} ^ n. Pytam o zwykłe języki „teoretyków automatycznych”, a nie teoretyków „logicznych”: coś w...
Załóżmy, że mamy zmienną losową, która przyjmuje wartości nienumeryczne a, b, c i chce określić ilościowo, w jaki sposób rozkład empiryczny nnnpróbki tej zmiennej odbiegają od rozkładu rzeczywistego. W tym przypadku obowiązuje następująca nierówność (z Cover & Thomas ). Twierdzenie 12.4.1...
Mnożenie macierzy przy użyciu techniki regularnej (iloczyn wewnętrzny rzędów i kolumn) O (n3))O(n3))O(n^{3}) mnożenia i O (n3))O(n3))O(n^{3})wzbogacenie. Jednak przy założeniu, że wpisy o jednakowej wielkości (liczba bitów w każdym wpisie obu macierzy jest mnożona) o wielkościmmm bitów, operacja...
Zamknięte. To pytanie jest nie na temat . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby było tematem wymiany stosów teoretycznych w informatyce. Zamknięte 3 lata temu . Czy istnieje krótka wyraźna konstrukcja...
Dobrze wiadomo, że NP-Complete Problem o nazwie Subset Sum ma FPTAS. Zastanawiałem się, czy istnieje problem z PSPACE Complete, który ma także FPTAS? Z góry
Niech będzie alfabetem, czyli niepustym zbiorem skończonym. Łańcuch to dowolna skończona sekwencja elementów (znaków) z . Na przykład to alfabet binarny, a to ciąg znaków dla tego alfabetu.ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Zazwyczaj, dopóki zawiera więcej niż 1 element, dokładna...
Ostatnio pomyślałem o „zaimportowaniu” niektórych pytań związanych z fizyką do kwantowego CS: Pojęcie zjawiska prawa obszarowego w układach hamiltonowskich zwykle oznacza lokalnego hamiltonianu na pewnej sieci, którego stan naziemny wykazuje właściwość, w której uwikłanie dowolnego zamkniętego...
Załóżmy, że otrzymaliśmy wykres GGG i parametry k,ϵk,ϵk,\epsilon. Czy istnieją zakresy wartości dlakkk (czy jest to wykonalne dla wszystkich kkk), dla których można sprawdzić, czy GGG jest ϵϵ\epsilon-dużo posiadania niezależnego zestawu przynajmniej wielkości kkk w samą porę...
Teoria złożoności obliczeniowej klasyfikuje problemy według ich nieodłącznej trudności. Teoria złożonych systemów dotyczy systemów, które wykazują zachowania, które oczywiście nie wynikają z właściwości poszczególnych części systemu. Przykłady obejmują systemy chaotyczne, złożone systemy...
To jest wyspecjalizowana wersja poprzedniego pytania: Złożoność znalezienia składowej macierzy . W przypadku macierzy symetrycznych NxN wiadomo, że czas O (N ^ 3) wystarcza do obliczenia rozkładu własnego. Pytanie brzmi: czy możemy osiągnąć sub-sześcienną złożoność?...
Na ogół algorytm nazywamy „dobrym algorytmem”, jeśli jego czas działania jest w najgorszym przypadku wielomianowy. Ale w niektórych przypadkach (na przykład algorytm Simplex), chociaż najgorszy przypadek algorytmu ma charakter wykładniczy, może on działać bardzo dobrze w praktyce. Czy są jakieś...
Alice i Bob dzielą majątek zmarłego wuja Charliego (zbiór skończony XXXelementów dyskretnych) zgodnie z jego życzeniem. Najpierw A wybiera przedmiot, potem B, potem A i tak dalej. Alice i Bob mają dodatkowe funkcje narzędziowe uZA,ubuA,uBu_A, u_B, więc jeśli Alice skończy z zestawem Y⊆ XY⊆XY...
Szukam struktury danych, która jest w zasadzie drzewem map, w których mapa w każdym węźle zawiera nowe elementy, a także elementy w mapie jego węzła nadrzędnego. Przez mapę rozumiem tutaj mapę programowania z kluczami i wartościami, taką jak mapa w STL lub dict w python. Na przykład może istnieć...
Najpierw zapytany na stronie math.SE bez odpowiedzi Załóżmy, że mam wykres płaski z osadzeniem planarnym, jak znaleźć rozkład drzewa? Jaki jest optymalny rozkład drzewa siatki kwadratowej -by- ? Nie do końca pewny, jak zdefiniować „optymalny”, ale powinien odróżniać rozkład z jedną dużą torbą od...