Patrzę na Rachunek Konstrukcji i jego miejsce w Kostce Lambda . Jeśli dobrze rozumiem, każdą oś sześcianu można uznać za dodanie innej operacji obejmującej typy do rachunku zwykłego, . Pierwsza oś dodaje operatory typu „typ do terminu”, drugie operatory typu „typ do typu”, a trzecia zależna...
Czy istnieje formalna definicja średniej wysokości drzewa binarnego? Mam pytanie instruktażowe dotyczące znalezienia średniej wysokości drzewa binarnego przy użyciu następujących dwóch metod: Naturalnym rozwiązaniem może być przyjęcie średniej długości wszystkich możliwych ścieżek od korzenia do...
Poprosiłem (nasion) pytanie o sumach Landau warunkach przed , próbując ocenić niebezpieczeństwa nadużywania notacji asymptotyka w arytmetyce, z mieszanym powodzeniem. Teraz, tutaj nasz guru ds. Nawrotów, JeffE , zasadniczo robi to: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n...
Czy zaakceptowanie oznacza, że TM odczyta i rozpozna znak z komórki, z której obecnie czyta? I czy tak się dzieje, że TM zatrzymuje się, jeśli dane wejściowe są
Czytałem na Wikipedii, że zjednoczenie jest procesem rozwiązywania problemu satysfakcji. Jednocześnie wiem, że takie solwery nazywane są „solverami SAT” lub „solverami SMT”. Czy są to różne nazwy dla tej samej rzeczy? Jeśli powiesz, że się różnią, proszę wskazać wadę mojego leczenia....
Czasem jest oszałamiająca tablica symboli używanych w papierach matematycznych i CS. Jednak wielu zakłada podstawową znajomość, która wydaje się rzadko nauczana w jednym miejscu. Szukam słownika podobnego do następującego, szczególnie z perspektywy CS. Wymienia wszystkie podstawowe symbole...
Z punktu widzenia zachowania asymptotycznego, co jest uważane za „wydajny” algorytm? Jaki jest standard / powód rysowania linii w tym punkcie? Osobiście uważałbym, że wszystko, co naiwnie nazwałbym „sub-wielomianem”, takie jakfa( n ) = o (n2))f(n)=o(n2)f(n) = o(n^2) Jak na przykład n1 +...
Trudno mi wyraźnie rozróżnić programowanie wielozadaniowe i wielozadaniowość. Moim głównym źródłem była Wikipedia , ale artykuł WP wydaje się być trochę sprzeczny z niektórymi mniej renomowanymi źródłami (jak mój profesor). Kiedy czytam WP, multiprogramowanie jest podstawowym sposobem na...
Jakiej notacji używa się do omawiania współczynników funkcji w notacji big-O? Mam dwie funkcje: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Oczywiście obie funkcje to , a właściwie Θ ( x 2 ) , ale to nie pozwala na dalsze porównania. Jak omówić...
W przypadku funkcji lub obliczeń mamy terminy takie jak: Deterministyczny - Determinizm Czysta - czystość Jaki jest teraz odpowiedni rzeczownik dla bez skutków ubocznych ? „Wolność efektów ubocznych”? „Swoboda efektów ubocznych”?
Według Petera Selinger , Lambda Rachunek jest algebraiczna (PDF). Na początku tego artykułu mówi: Kombinacyjna interpretacja rachunku lambda jest znana jako niedoskonała, ponieważ nie spełnia reguły ξξξ : zgodnie z interpretacją M=NM=NM = N nie oznacza λx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N...
Podczas lektury artykułu opisującego różnice w OO i programowaniu funkcjonalnym natknąłem się na wskaźniki funkcji. Minęło trochę czasu, odkąd ukończyłem studia informatyczne (2003), więc szukałem wskazówek, aby odświeżyć moją pamięć. Wskaźniki to zmienne, które zawierają odniesienie do adresu...
Nie znam poprawnej terminologii do zadawania tego pytania, dlatego opiszę to wieloma słowami, proszę o wyrozumiałość. Tło , więc jesteśmy na tej samej stronie: programy często zawierają pamięci podręczne - kompromis czas / pamięć. Częstym błędem programisty jest zapomnienie o aktualizacji pamięci...
Otrzymujesz tablicę o długości . Każdy element tablicy należy do jednej z klas. Powinieneś zmienić układ tablicy za pomocą minimalnej liczby operacji wymiany, aby wszystkie elementy z tej samej klasy były zawsze pogrupowane razem, tj. Tworzą ciągłą pod-tablicę. Na przykład: Pozostały trzy inne...
Z grubsza, wykres bezkierunkowy jest bardzo podobny do wykresu skierowanego, gdzie dla każdej krawędzi (v, w) zawsze jest krawędź (w, v). To sugeruje, że akceptowalne może być wyświetlanie nieukierunkowanych wykresów jako podzestawu kierowanych wykresów (być może z dodatkowym ograniczeniem, że...
Studiuję Bootstrapping z Red Dragon Book Compilers i znalazłem schemat T dla kompilatora krzyżowego dość mylący. Nie rozumiem, co należy rozumieć przez „Uruchamianie kompilatora 1 do kompilatora 2”. Czy ktoś może podać jakieś lepsze wyjaśnienie, analogię lub przykład odnoszący się do jakiegoś...
Przeczytałem wiele dokumentów na temat splotu w przetwarzaniu obrazu i większość z nich mówi o jego formule, kilku dodatkowych parametrach. Nikt nie wyjaśnia intuicji i prawdziwego znaczenia robienia splotu na obrazie. Na przykład intuicja wyprowadzania na wykresie sprawia, że jest on na przykład...
Walczę z kilkoma definicjami reprezentacji wiedzy i szukam wiarygodnej pomocy w ich rozróżnieniu. Szukałem na wikipedii i wielu stronach internetowych różnicy między ontologiami a sieciami semantycznymi (nie mylić z siecią semantyczną). Chociaż strona wikipedii w sieci semantycznej nigdy nie...
W rozdziale 1 Praktycznych podstaw języków programowania autor wspomina, że abstrakcyjne drzewa składniowe są powiązane z sortowaniem . Intuicyjnie, rodzaje są jak typy, ale chciałbym wiedzieć, czy mają precyzyjną definicję. Byłbym zadowolony, gdyby podano również niektóre...
Wydaje mi się dziwne, że TSP zaprzecza możliwości powtarzania się miast. Celem tego podróżującego sprzedawcy jest pójść jak najszybciej i odwiedzić wszystkie miasta, prawda? Co jeśli szybsze jest podróżowanie przez miasto, w którym już