Powszechnie wiadomo, że wnioskowanie typu Hindleya-Milnera (prosty typ calculus z polimorfizmem) ma rozstrzygające wnioskowanie: można zrekonstruować typy zasad dla dowolnych programów bez adnotacji.λλ\lambda Dodanie klas typu Haskell wydaje się zachowywać tę rozstrzygalność, ale dalsze dodawanie...
Być może moje ograniczone rozumienie tematu jest nieprawidłowe, ale rozumiem do tej pory: Programowanie funkcjonalne oparte jest na rachunku Lambda Calculus opracowanym przez Alonzo Church. Programowanie imperatywne oparte jest na modelu maszyny Turinga, stworzonym przez Alana Turinga, ucznia...
Na stronie internetowej Sorting Algorytmy wysunięto następujące oświadczenie: Idealny algorytm sortowania miałby następujące właściwości: Stabilny: nie zmienia się kolejności klawiszy równych. Działa w miejscu, wymagając dodatkowej przestrzeni.O ( 1 )O(1)O(1) Porównania klawiszy w...
Niedawno natknąłem się na następujący interesujący artykuł, który twierdzi, że skutecznie kompresuje losowe zestawy danych o zawsze ponad 50%, niezależnie od rodzaju i formatu danych. Zasadniczo używa liczb pierwszych do unikalnego skonstruowania reprezentacji 4-bajtowych fragmentów danych, które...
Znajdź najmniejszą liczbę porównań potrzebną do posortowania (uporządkowania) pięciu elementów i opracuj algorytm, który sortuje te elementy przy użyciu tej liczby porównań. Rozwiązanie : Jest ich 5! = 120 możliwych wyników. Dlatego drzewo binarne do procedury sortowania będzie miało co najmniej...
Pytanie: Czy istnieje ustalona procedura lub teoria generowania kodu, która skutecznie stosuje mnożenie macierzy-wektora, gdy matryca jest gęsta i wypełniona tylko zerami i zerami? Najlepiej byłoby, gdyby zoptymalizowany kod systematycznie wykorzystywał wcześniej obliczone informacje w celu...
Wiem, że w imperatywnych językach programowania pętla while-do jest wystarczająca jako konstrukcja przepływu sterowania, aby uzupełnić język Turinga (jeśli chodzi o przepływ sterowania - oczywiście potrzebujemy również nieograniczonej pamięci i niektórych operatorów ...) . Istota mojego pytania...
Rozważ następujące zadanie algorytmiczne: Dane wejściowe: dodatnia liczba całkowita wraz z podstawową faktoryzacją Znajdź: dodatnie liczby całkowite które minimalizują , z zastrzeżeniem ograniczenia, żennnx,y,zx,y,zx,y,zxy+yz+xzxy+yz+xzxy+yz+xzxyz=nxyz=nxyz=n Jaka jest złożoność tego problemu?...
Biorąc pod uwagę ważony, niekierowany wykres G: Które warunki muszą być spełnione, aby istniało wiele drzew minimalnych obejmujących G? Wiem, że MST jest wyjątkowy, gdy wszystkie wagi są różne, ale nie można odwrócić tego stwierdzenia. Jeśli na wykresie jest wiele krawędzi o tej samej masie, może...
Przygotowuję się do wywiadu na temat programowania i naprawdę nie mogę znaleźć najbardziej skutecznego sposobu rozwiązania tego problemu. Załóżmy, że mamy dwie tablice składające się z liczb nieposortowanych. Tablica 2 zawiera liczbę, której nie ma tablica 1. Obie tablice mają losowo rozmieszczone...
Kiedy duże O po raz pierwszy zastosowano w informatyce i kiedy stało się standardem? Strona Wikipedii na ten temat cytuje Knuth, Big Omicron i Big Omega And Big Theta , SIGACT kwiecień-czerwiec 1976 r., Ale na początku tego artykułu czytamy: Większość z nas przyzwyczaiła się do używania notacji...
Chciałbym wiedzieć, czy istnieje zasada, aby to udowodnić. Na przykład, jeśli użyję prawa dystrybucyjnego, dostanę tylko (A∨A)∧(A∨¬B)(ZA∨ZA)∧(ZA∨¬b)(A \lor A) \land (A \lor \neg B)
Rozważ typ indukcyjny, który ma pewne rekurencyjne zdarzenia w zagnieżdżonej, ale ściśle dodatniej lokalizacji. Na przykład drzewa ze skończonymi rozgałęzieniami z węzłami używającymi ogólnej struktury danych listy do przechowywania elementów potomnych. Inductive LTree : Set := Node : list LTree...
Według mojej wiedzy istnieją trzy główne algebry procesowe, które zainspirowały szeroki zakres badań nad formalnymi modelami współbieżności. To są: CCS i -calculus oba autorstwa Robina Milneraππ\pi CSP Tony Hoare i ACP: Jan Bergstra i Jan Willem Klop Wydaje się, że wszyscy trzej mają do dzisiaj...
Wiem, że od ~ 2004 r. Prawo Moore'a przestało działać na taktowanie procesora. Szukam wykresu pokazującego to, ale nie jestem w stanie go znaleźć: większość wykresów pokazuje liczbę tranzystorów lub pojemność rocznie. Gdzie mogę znaleźć dane pokazujące częstotliwość procesorów komputerów (wszystko...
W skrypcie, który obecnie czytam na rachunku lambda, równoważność beta jest zdefiniowana następująco: ββ\beta -equivalence ≡β≡β\equiv_\beta jest najmniejszym równoważności, który zawiera →β→β\rightarrow_\beta . Nie mam pojęcia co to znaczy. Czy ktoś może to wyjaśnić w prostszy sposób? Może z...
Jaka jest dobra książka informacyjna dla początkujących dla młodego dorosłego, powiedzmy, 15-latka? Chcę zacząć w CS, ale nie mam pojęcia, od czego zacząć. Mam ograniczone doświadczenie w
Chcę udowodnić lub obalić istnienie algorytmu, który, biorąc pod uwagę tablicę ZAZAA liczb całkowitych, znajduje trzy indeksy ja , jja,joti, j i kkk takie, że i < j < kja<jot<ki < j < k i A [ i ] < A [ j ] < A [ k ]ZA[ja]<ZA[jot]<ZA[k]A[i] < A[j] < A[k] (lub stwierdza, że...
Jeśli wykres ważony ma dwa różne minimalne drzewa i , to prawda, że dla dowolnej krawędzi w liczba krawędzi w ma taką samą wagę jak (w tym sam ) jest taki sam jak liczba krawędzi w o tej samej wadze co ? Jeśli stwierdzenie jest prawdziwe, to jak możemy to udowodnić?T 1 = ( V 1 , E 1 ) E 1 e e E 2...
Skończyłem większość materiału w książce Cormen's Intro to Algorytmy i szukam książki o algorytmach, która obejmowałaby materiał poza książką Cormana. Czy są jakieś rekomendacje? UWAGA: Zapytałem o to przy przepełnieniu stosu, ale nie byłem zbyt zadowolony z odpowiedzi. UWAGA: Patrząc na...