Czy istnieje jakiś naturalny lub znaczący sposób na powiązanie lub połączenie grup matematycznych i języków formalnych CS lub jakieś inne podstawowe pojęcie CS, np. Maszyny Turinga? Szukam referencji / aplikacji. Zauważ jednak, że jestem świadomy związku między półgrupami a językami CS...
Wydaje się, że strona problemu z izomorfizmem grafu w Wikipedii wskazuje, że nie, nie została rozwiązana. Jednak mój przyjaciel zwrócił uwagę na algorytm wielomianu czasowego dla izomorfizmu grafowego . Nie jestem wystarczająco wyrafinowany, aby podążać za rozumowaniem zawartym w artykule. Mam...
Zastanawiałem się, czy ktoś znał pochodzenie modelu serwera klienta. Skąd pochodzi ten termin (papier, aplikacja,
Ciągle słyszę o tym, jak należy nauczyć się teorii kategorii, aby naprawdę zrozumieć teorię języka programowania. Do tej pory nauczyłem się sporo PL bez wchodzenia w sferę kategorii. Uznałem jednak, że nadszedł czas, aby zrobić krok, aby zobaczyć, co straciłem. Niestety, żadne ze źródeł, które...
Zastanawiam się, jaka jest złożoność czasowa określania pustki dla dwukierunkowych DFA? Oznacza to, że skończone automaty mogą przesuwać się wstecz na swojej taśmie wejściowej tylko do odczytu. Według Wikipedii są one równoważne DFA, chociaż równoważny DFA może być wykładniczo większy. Znalazłem...
Nie wiem, czy to był żart, ale kiedy przeczytałem coś, co nazywano formalną definicją pliku w systemie kontroli wersji, takim jak git, hg lub svn. To było coś w rodzaju przedmiotu matematycznego, takiego jak homeomorfizm. Czy to był żart, czy naprawdę istnieje teoria informatyki na temat systemów...
Jeśli chodzi o najgorszy przypadek asymptotycznego środowiska uruchomieniowego, który problem NP-zupełny ma najszybszy znany (dokładny) algorytm i jaki jest algorytm? Czy jest coś znanego, co jest szybsze niż ?O ( n2)∗
Istnieje popularny problem [1] [2] w informatyce, który polega na znalezieniu minimalnej liczby linii prostych pokrywających dany zestaw punktów w 2D. Mimo że zeskanowałem wiele artykułów, żaden z nich nie ma wyraźnej motywacji do rozwiązania problemu. Jaki jest pożytek z rozwiązania tego...
Próbuję rozwiązać problem SAT z 25k klauzul 5k zmiennych. Ponieważ działa od godziny (precosat), a potem chciałbym rozwiązać większe, szukam wielordzeniowego SAT-Solvera. Ponieważ wydaje się, że jest wiele rozwiązań SAT, jestem całkiem zagubiony. Czy ktoś mógłby wskazać mi najlepszy dla mojej...
Wszyscy znają „Garey & Johnson”, który jest moim głównym punktem odniesienia, gdy potrzebuję problemu z transformacją na dowód odporności na NP. Jednak ostatnio potrzebuję dowodu na odporność na APX i zastanawiam się, czy istnieje podobny (i bardziej aktualny ...?) Zbiór problemów, które...
Moje pytanie dotyczy tych, którzy zajmują się algorytmami biologii obliczeniowej. Mam zamiar wziąć udział w kursie z bioinformatyki tej jesieni; Problemem jest jednak to, że mam zbyt małe doświadczenie w biologii i chemii, aby czuć się przygotowanym na ten cykl wykładów (byłem raczej słaby na te...
Zastanawiam się, czy są jakieś problemy twarde typu , które w przeciętnym przypadku są `` wielomianowe ''. Sądzę, że istnieją dwa sposoby interpretacji tego?N.P.N.P.NP Jeśli , czy może istnieć algorytm rozwiązujący problem twardości N P z zamortyzowanym (przypadkiem średnim) czasem pracy O ( n k...
W pracy miałem za zadanie wnioskować o pewnych typach informacji o dynamicznym języku. Przepisuję sekwencje instrukcji na letwyrażenia zagnieżdżone , tak jak poniżej: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T;...
Czy możesz podać mi sugestie dotyczące dobrej wstępnej (ale wyczerpującej) książki o logice i obliczeniach? Niektóre rozmyte tematy, które mam na myśli to: Presburger artihm., PA, ZF, ZFC, HOL Teoria zbiorów, teoria typów Obliczenia modelowe (maszyny Turinga) w różnych teoriach Linki o...
Zgodnie z artykułem Wikipedii na temat schematów aproksymacji czasu wielomianowego : Wszystkie problemy w FPTAS są możliwe do rozwiązania ze stałymi parametrami. Ten wynik mnie zaskakuje - te klasy wydają się zupełnie różne od siebie. FPTAS charakteryzuje problemy na podstawie ich łatwości do...
Powiedziano mi, że komputery kwantowe nie są obliczeniowo mocniejsze niż maszyny Turinga. Czy ktoś mógłby pomóc w udzieleniu referencji literaturowych wyjaśniających ten
Potrzebuję zwięzłej definicji „stanu obiektu” w programowaniu obiektowym (na papierze). Przez około pół dnia szukałem artykułu, który mogę zacytować na ten temat, ale nie mogłem go znaleźć. Wszystkie artykuły, które znalazłem, były w większości ogólnymi artykułami na temat programowania...
Algorytm Brzozowskiego można rozszerzyć na automaty Moore'a, ale jego złożoność czasowa jest generalnie wykładnicza. Czy istnieje jakiś inny algorytm minimalizacji automatów Moore? Jakie są czasy działania tych algorytmów, jeśli takie
Chcesz poprawić ten post? Podaj szczegółowe odpowiedzi na to pytanie, w tym cytaty i wyjaśnienie, dlaczego Twoja odpowiedź jest poprawna. Odpowiedzi bez wystarczającej ilości szczegółów mogą być edytowane lub usuwane. Zadanie polegało na zbudowaniu biblioteki książek na...
Biorąc pod uwagę zadań każde zadanie wymaga czasu czasu.J 1 , J 2 , . . . , J n T i > 0 , T i ∈ NnnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Każde zadanie musi być wstępnie przetworzone i przetworzone przez pojedynczą maszynę M, która może obsłużyć tylko...