Chciałbym przykład quine w czystym rachunku lambda . Byłem dość zaskoczony, że nie znalazłem go przez google. Strona quine zawiera listę quinów dla wielu „prawdziwych” języków, ale nie dla rachunku lambda. Oczywiście oznacza to zdefiniowanie, co mam na myśli przez quine w rachunku lambda, co robię...
Powszechnie wiadomo, że „Korelacja nie jest równoznaczna z przyczynowością”, ale uczenie maszynowe wydaje się prawie w całości oparte na korelacji. Pracuję nad systemem do oceny wyników uczniów na podstawie pytań na podstawie ich poprzednich osiągnięć. W przeciwieństwie do innych zadań, takich jak...
Czytałem w Wikipedii i innych tekstach, które Problem zatrzymania jest [...] rozstrzygalny dla automatów z ograniczeniami liniowymi (LBA) [i] deterministycznych maszyn ze skończoną pamięcią. Ale wcześniej napisano, że problem zatrzymania jest problemem nierozstrzygalnym, a zatem TM nie może go...
Odpowiada sugestii Rafaela dotyczącej przecięcia dwóch NPDA : Niech i NPDA dla języków odpowiednio i . Zakładając, że wiemy, że jest kontekstu, czy możemy (skutecznie) skonstruować NPDA dla ?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L=L1∩L2L=L1∩L2L = L_1 \cap L_2AAALLL Każdy typ algorytmu byłby do przyjęcia,...
Strona wikipedii na temat algorytmów mnożenia wspomina o interesującym autorstwa Donalda Knutha . Zasadniczo polega na połączeniu mnożenia transformacji Fouriera ze wstępnie obliczoną tabelą mnożenia wielkości logarytmicznych. Działa w czasie liniowym. Artykuł działa tak, jakby ten algorytm jakoś...
Myślałem, że to pytanie jest lepiej obsługiwane w części CS programu Stack Exchange. Teraz, gdy mamy GPGPU z takimi językami jak CUDA i OpenCL, czy rozszerzenia multimediów SIMD (SSE / AVX / NEON) nadal spełniają swoje zadanie? Niedawno przeczytałem artykuł o tym, jak można zastosować instrukcje...
Nasze obecne komputery używają bitów, więc używają systemu liczb binarnych. Ale słyszałem, że przyszłe komputery kwantowe będą używać kubitów zamiast prostych bitów. Ponieważ w słowie „qubit” znajduje się słowo „bi”, najpierw pomyślałem, że oznacza to, że komputery kwantowe będą używać binarnych...
Gdy wystąpi przerwanie, procesor wstrzymuje bieżący proces i wywołuje kod jądra, aby obsłużyć przerwanie. Skąd procesor wie, gdzie wejść do jądra? Rozumiem, że istnieją procedury obsługi przerwań, które można zainstalować dla każdej linii przerwań. Ale ponieważ procesor wykonuje tylko „logikę...
Niektóre hiperwizory optymalizują użycie pamięci za pomocą metody nazywanej balonowaniem (przynajmniej tak ją nazywa KVM), ta metoda deduplikuje pamięć między maszynami wirtualnymi i ustawia wspólne strony na tylko do odczytu z kopiowaniem przy zapisie. Jest to swego rodzaju przeciwieństwo...
Pewnego dnia wygłupiałem się na tej stronie: http://regexcrossword.com/ i zastanawiałem się, jaki był najlepszy sposób rozwiązania tego problemu. Czy potrafisz rozwiązać następujący problem w czasie wielomianowym, czy jest to trudne NP? Biorąc pod uwagę siatkę NxM z N wyrażeniami regularnymi...
Nadal jestem trochę mylony z terminami „długość wejściowa” i „rozmiar wejściowy”, gdy są używane do analizy i opisu bezobjawowej górnej granicy algorytmu Wydaje się, że długość wejściowa dla algorytmu zależy od rodzaju danych i algorytmu, o którym mówisz. Niektórzy autorzy odnoszą się do długości...
Wydaje się, że strona problemu z izomorfizmem grafu w Wikipedii wskazuje, że nie, nie została rozwiązana. Jednak mój przyjaciel zwrócił uwagę na algorytm wielomianu czasowego dla izomorfizmu grafowego . Nie jestem wystarczająco wyrafinowany, aby podążać za rozumowaniem zawartym w artykule. Mam...
Myślałem, że dobrze rozumiem pisanie zależne (DT), ale odpowiedź na to pytanie: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% Teoria typu B6f do tworzenia-intuicyjnego typu kazała mi myśleć inaczej. Po przeczytaniu DT i próbie zrozumienia, czym one są, zastanawiam się, co zyskujemy dzięki...
W 1962 r. Możesz wygrać nagrodę w wysokości 10 000 USD (około 80 000 USD w dzisiejszych pieniądzach), jeśli znajdziesz rozwiązanie problemu euklidesowego sprzedawcy podróżującego zdefiniowanego w 33 miastach. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html Patrząc na zdjęcie,...
Czytam książkę na temat informatyki, ale brakuje mi wstępnych podstaw. Zwykle, gdy spotykam się z terminami, nie rozumiem, że po prostu je wyszukuję, ale dla Universal Search po prostu nie byłem w stanie znaleźć wyjaśnienia odpowiedniego dla czytelnika bez doświadczenia w statystyce /...
tło \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr...
Zastanawiam się, czy decydowanie o rozstrzygalności problemu jest problemem rozstrzygalnym. Chyba nie, ale po wstępnych poszukiwaniach nie mogę znaleźć literatury na ten
Próbuję zrozumieć istnienie języków nierozpoznawalnych. Aby to uzyskać, muszę wiedzieć, dlaczego maszyna Turinga rozpoznaje tylko jeden język, a nie wiele. Dlaczego
Mam problem z tym ćwiczeniem: Niech G będzie następującą dwuznaczną gramatyką dla rachunku λ: E → v | λv.E | EE | (E) gdzie E jest pojedynczym nieterminalnym symbolem, λv.E oznacza abstrakcję względem zmiennej v w E, a EE oznacza aplikację. Zdefiniuj gramatykę LL (1) G ′, tak aby L...
Funkcja zliczania liczb pierwszych , zdegradowana , jest zdefiniowana jako liczba liczb pierwszych mniejsza lub równa x .π(x)π(x)\pi(x)xxx Możemy zdefiniować problem decyzyjny z w następujący sposób:π(x)π(x)\pi(x) Biorąc pod uwagę dwie liczby i n , zapisane binarnie, zdecyduj, czy π ( x ) = n...