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.
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ą rozstrzygalne?
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 liścia avh1(T)=1# leaves in T⋅∑v leaf of Tdepth(v)avh1(T)=1# leaves in T⋅∑v leaf of Tdepth(v)\qquad \displaystyle …
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 \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Chociaż wynik końcowy jest prawidłowy, myślę, że to źle. Dlaczego? Jeśli dodamy całe …
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 pamięci. Można je uznać za wskazujące na dane zawarte w tym adresie …
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 zwiększenie przepustowości procesora poprzez przełączanie kontekstu, gdy proces czeka na We / …
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 + ϵn1+ϵn^{1+\epsilon} byłby wydajny i wszystko, co jest …
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 matematyczne oraz podaje ich znaczenia i przykłady. Mówiłby o symbolach, które są czasami …
Dwustronny wykres jest płaski, jeśli nie ma nieletnich lub .K.3 , 3K3,3K_{3, 3}K.5K5K_5 Szukam koniecznych i / lub wystarczających warunków, aby umożliwić rysunki planarne bez krawędzi „przechodzących” przez zestawy wierzchołków. Są to rysunki spełniające: Wszystkie wierzchołki jednej części są rysowane na jednej linii pionowej. Wierzchołki drugiej części są rysowane na …
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 wyjaśnienia (2). Byłoby mi przykro zarówno z powodu pozostawienia …
Czy ktoś mógłby mi wyjaśnić, czym dokładnie jest pamięć RAM? Znalazłem następujące wyjaśnienie, które wydaje mi się dość jasne, ale chciałbym poznać aspekty techniczne: Szyfrowanie nie zawsze wystarcza do zapewnienia prywatności. Jeśli przeciwnik może obserwować twoje wzorce dostępu do zaszyfrowanej pamięci, nadal może dowiedzieć się poufnych informacji o tym, co …
Jeden z moich seniorów odbył rozmowę kwalifikacyjną i zapytano go, dlaczego nazywa się to dynamicznym. Nie mógł odpowiedzieć, a po tym, jak zrezygnował z wywiadu, powiedział, że nie ma w tym nic dynamicznego, po prostu tak to się nazywa. Trudno mi w to uwierzyć. Czy odnosi się to do faktu, …
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ż byłeś?
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 referencje.
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 odwołuje się do ontologii, wydają się one bardzo podobne i mają …
Używamy plików cookie i innych technologii śledzenia w celu poprawy komfortu przeglądania naszej witryny, aby wyświetlać spersonalizowane treści i ukierunkowane reklamy, analizować ruch w naszej witrynie, i zrozumieć, skąd pochodzą nasi goście.
Kontynuując, wyrażasz zgodę na korzystanie z plików cookie i innych technologii śledzenia oraz potwierdzasz, że masz co najmniej 16 lat lub zgodę rodzica lub opiekuna.