Wyniki teoretyczne i techniki stosowane w praktyce.
Wygląda na to, że gdziekolwiek spojrzę, struktury danych są wdrażane przy użyciu czerwono-czarnych drzew ( std::setw C ++, SortedDictionaryw C # itp.) Właśnie omawiając (a, b), czerwono-czarne i drzewa AVL w mojej klasie algorytmów, oto co wyciągnąłem (również z pytania po profesorach,...
Dlaczego firma taka jak Twitter byłaby zainteresowana koncepcjami algebraicznymi, takimi jak grupy, monoidy i pierścienie? Zobacz ich repozytorium na github: twitter / algebird . Mogłem tylko znaleźć: Implementacje Monoidów dla interesujących algorytmów aproksymacyjnych, takich jak filtr Bloom...
Widząc, że w hierarchii Chomsky'ego języki Type 3 mogą być rozpoznawane przez maszynę stanową bez pamięci zewnętrznej (tj. Skończonego automatu), Type 2 przez maszynę stanową z pojedynczym stosem (tj. Automat push-down) i typ 0 przez automat stanowy z dwoma stosami (lub równoważnie taśmą, jak w...
Na moim uniwersytecie przydzielono mi ćwiczenie. Zabrałem go do domu i próbowałem zaprogramować algorytm, aby go rozwiązać, było to coś związanego z grafami, znajdowaniem połączonych komponentów, tak myślę. Potem zrobiłem najbardziej trywialną rzecz, która przyszła mi do głowy, a następnie...
Używam solwera SAT do zakodowania problemu, a jako część instancji SAT mam zmienne logiczne gdzie jest zamierzone, że dokładnie jedna z nich powinna być prawdziwa, a reszta powinna być fałszywa . (Czasami widziałem to opisywane jako kodowanie „na gorąco”).x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n Chcę...
Automat jest abstrakcyjnym modelem komputera cyfrowego. Komputery cyfrowe są całkowicie deterministyczne; ich stan w dowolnym momencie jest wyjątkowo przewidywalny na podstawie stanu wejściowego i początkowego. Kiedy próbujemy modelować prawdziwe systemy, dlaczego włączamy niedeterminizm do teorii...
Sortowanie Radix jest teoretycznie bardzo szybkie, gdy wiesz, że klucze znajdują się w pewnym ograniczonym zakresie, np. wartości z zakresu [ 0 … n k - 1 ] . Jeśli k < lg n po prostu przekonwertujesz wartości na bazę n, co zajmuje Θ ( n ) czasu, wykonaj sortowanie podstawy n radix, a następnie...
Dzisiaj przemówienie Henninga Kerstana („Trace Semantics for Probabilistic Transition Systems”) po raz pierwszy skonfrontowało mnie z teorią kategorii. Zbudował teoretyczne ramy do opisywania probabilistycznych układów przejściowych i ich zachowania w sposób ogólny, tj. Z nieskończenie...
Rodzina funkcji skrótu h : U → { 0 , … , M - 1 } jest uniwersalna, jeśli ∀ x , y ∈ U , x ≠ y ⇒ Pr h ∈ H [ h ( x ) = h ( y ) ] ≤ 1H.H.Hh : U→ { 0 , … , M- 1 }h:U→{0,…,M.-1}h: U \rightarrow \{0,\ldots,M-1\} Więcej informacji o uniwersalnym haszowaniu można znaleźć w tymartykule naWikipedii.∀ x ,...
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...
Czy algorytm Dijkstry jest wykorzystywany w nowoczesnych systemach wyszukiwania tras, takich jak mapy Google czy satnav w samochodzie? Jeśli nie, to czym
Chcę zrozumieć teorię typów, ale najpierw muszę wiedzieć, jak ją zastosować. Czy może być więcej nieoczywistych zastosowań teorii typów poza systemami typu w programowaniu? Czy mogą być inne aplikacje, powiedzmy w profilowaniu osobowości i tym