W Concepts in Programming Languages John Mitchell pisze, że statyczne sprawdzanie typów jest z konieczności konserwatywne (zbyt surowe) z powodu problemu zatrzymania. Podaje jako przykład: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else...
Używam odmiany 5-krzyżowego filtra środkowego na danych obrazu w małym systemie osadzonym, tj x x x x x Algorytm jest naprawdę prosty: odczytaj 5 liczb całkowitych bez znaku, uzyskaj najwyższe 2, wykonaj kilka obliczeń i zapisz wynik na liczbach całkowitych bez znaku. Ładne jest to, że 5...
Jest to kontynuacja kolejnego pytania tutaj i mam nadzieję, że nie jest to zbyt filozoficzne. Jak zauważył Raphael w komentarzu do mojego poprzedniego pytania, tak naprawdę nie rozumiem definicji „obliczalnego”, ale zgodnie z niektórymi artykułami, które czytam, definicja nie jest również bardzo...
Obecnie czytam kilka artykułów na temat wypychania łańcucha Markowa i nie dostrzegam różnicy między łańcuchem Markowa a zwykłym, ważonym wykresem. Na przykład w artykule Optymalne zbieranie przestrzeni stanu w łańcuchach Markowa podają następującą definicję CTMC (ciągły łańcuch Markowa w...
Rozważ następujący problem. Biorąc pod uwagę: Pełny wykres z rzeczywistymi nieujemnymi wagami na krawędziach. Zadanie: znajdź płaski wykres podrzędny o maksymalnej masie. („Maksimum” wśród wszystkich możliwych płaskich wykresów podrzędnych.) Uwaga: Podgraf maksymalnej wagi będzie triangulacją;...
Wydaje mi się, że pamiętam z klasy licencjackiej, że dla Maszyny Turinga ze skończoną taśmą zawsze będą istniały odpowiednie Automaty Skończone, ale nie udało mi się znaleźć tego potwierdzonego nigdzie w Internecie. Czy tak jest w rzeczywistości, czy źle
Według mojej wiedzy nie istnieje algorytm najgorszego przypadku, który rozwiązuje następujący problem:O ( n )O(n)O(n) Biorąc pod uwagę ciąg długości składający się ze skończonych liczb całkowitych, znajdź permutację, w której każdy element jest mniejszy lub równy jego następcy.nnn Ale czy...
Słyszałem kilka możliwych wyjaśnień, dlatego chciałbym uzyskać pewne wiarygodne odniesienia. Aktualizacja 05.19: Interesuje mnie to pytanie, ponieważ jeden z moich studentów napisał w swojej pracy, że nazwa pochodzi od poniższego wyjaśnienia (1). Do tej pory myślałem / słyszałem, że pochodzi z...
Myślę o językach jednoargumentowych LkL.kL_k, gdzie LkL.kL_k jest zbiorem wszystkich słów, których długość jest sumą kkkkwadraty. Formalnie: Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}L.k={zan∣n=∑ja=1knja2),nja∈N.0(1≤ja≤k)}L_k=\{a^n\mid n=\sum_{i=1}^k {n_i}^2,\;\;n_i\in\mathbb{N_0}\;(1\le i\le k)\} Łatwo to...
Na stronie wikipedia tutaj całkiem dobrze opisuje algorytm CDCL (i wydaje się, że zdjęcia zostały zrobione ze slajdów stworzonych przez Sharada Malika z Princeton). Jednak przy opisywaniu sposobu cofania wszystko mówi „do właściwego punktu”. MiniSAT wykorzystuje również wariant algorytmu CDCL, więc...
Istnieje więc algorytm konwertujący warunki rachunku lambda na logikę kombinatoryczną za pomocą kombinatorów SK. Produkuje rzeczy, które eksplodują wielkością. Chciałbym dowiedzieć się więcej o tej eksplozji w rozmiarze. Nie mogę jednak wymyślić lepszego algorytmu. Słyszałem, że języki funkcjonalne...
Mam zestaw punktów, które są zdefiniowane w przestrzeni metrycznej - więc mogę zmierzyć „odległość” między punktami, ale nic więcej. Chcę znaleźć najbardziej centralny punkt w tym zestawie, który definiuję jako punkt o minimalnej sumie odległości do wszystkich innych punktów. Obliczenia metryczne...
Czy istnieje charakterystyka wykresów, których zestaw krawędzi rozkłada się w rozłączny związek idealnych dopasowań? Jedną trywialną klasą takich grafów są ddd-nieregularne -obustronne wykresy. Ich zestaw krawędzi rozpadnie się na rozłączne idealne dopasowania....
W algorytmie Welcha-Berlekampa do dekodowania kodów Reeda-Solomona podaje się listę punktów reprezentujących komunikat z błędami na w nieznanych lokalizacjach (i otrzymuje się do algorytmu). Wyjście jest wielomianem przechodzącym przez wszystkie podane punkty z wyjątkiem tych, w których wystąpiły...
Próbuję teraz zmierzyć wiele niepotrzebnych (rzeczywistych) informacji, które zawiera mój plik. Niektórzy nazywają to wielkością entropii. Oczywiście istnieje standardowy p (x) log {p (x)}, ale myślę, że Shannon rozważał go tylko z punktu widzenia transmisji przez kanał. Dlatego formuła wymaga...
Niech łańcuch wejściowy będzie podany jako w1w2...wnw1w2...wnw_1w_2...w_n. Następnie, jeśli NFA jest obecnie w stanierrr (i przeczytał wejście do alfabetu wiwiw_i ), a następnie przed odczytaniem następnego symbolu wejściowego NFA dzieli się na dwa NFA, z których jeden jest w stanie rrr i inne...
Dobry wieczór! Właśnie odbywam staż w Archives Nationales of France i napotkałem sytuację, którą chciałem rozwiązać za pomocą wykresów ... I. Zakurzona sytuacja Chcemy zoptymalizować rozmieszczenie książek w mojej bibliotece zgodnie z ich wysokością, aby zminimalizować koszty archiwizacji....
Załóżmy, że mam dwie funkcje i i jestem zainteresowany ustaleniem, czyFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Załóżmy, że moje funkcje składają się z funkcji elementarnych (wielomiany, wykładnicze, logi i funkcje trygonometryczne), ale nie, powiedzmy, szereg Taylora. Czy można...
Zastrzeżenie: Jestem biologiem, więc przepraszam za (być może) podstawowe pytanie sformułowane w tak surowych terminach. Nie jestem pewien, czy powinienem zadać to pytanie tutaj, czy na DS / SC, ale CS jest największym z trzech, więc proszę. (Po tym, jak opublikowałem, przyszło mi do głowy, że...
Czasami słyszymy: „Swift nie robi klasycznego (śledzącego) GC, używa ARC”. Ale nie jestem pewien, czy w semantyce Swift jest coś, co wymaga zliczania referencji. Wygląda na to, że można zbudować własny kompilator i środowisko wykonawcze Swift, aby korzystać ze śledzenia GC. Czym dokładnie jest...