Problem programowania liniowego: znajdź algorytm silnie wielomianowy, który dla danej macierzy A ∈ Rm × n i b ∈ Rm decyduje, czy istnieje x ∈ Rn z Ax ≥ b. Wiem, że Steve Smale wymienia niektóre nierozwiązane problemy matematyki. Ale czy taki liniowy problem programowania jest do tej pory...
W praktycznych podstaw dla języków programowania , Robert Harper mówi Jeśli twierdzenie, które jest prawdziwe, oznacza posiadanie dowodu, co to znaczy, że twierdzenie jest fałszywe? Oznacza to, że mamy obalenie go, pokazując, że nie można tego udowodnić. Oznacza to, że twierdzenie jest fałszywe,...
Lub: Czy potrzebujemy Ruperta, aby w ogóle otrzymać prezenty? Pomijając problemy z routingiem, Święty Mikołaj napotyka następujący problem (wiele, wiele razy): Biorąc pod uwagę torbę o pojemności¹ i zestaw prezentów , każdy o rozmiarze , chce uszczęśliwić dzieci . Ze wszystkich list życzeń wie,...
Obecnie piszę kod do generowania danych binarnych. W szczególności muszę wygenerować liczby 64-bitowe przy określonej liczbie ustawionych bitów; dokładniej, procedura powinna zająć około i zwrócić pseudolosową 64-bitową liczbę z dokładnie bitami ustawionymi na , a resztą ustawioną na 0.0 < n...
Pochodzi z perspektywy dużych zbiorów danych. Zasadniczo wiele frameworków (takich jak Apache Spark) „kompensuje” brak operacji relacyjnych, zapewniając interfejsy podobne do Functor / Monad, i podobny ruch w kierunku konwersji kotów na SQL (Slick in Scala). Na przykład, potrzebujemy naturalnego...
Co to znaczy, kiedy mówimy, że algorytm XXX jest asymptotycznie bardziej wydajny niż YYY ? XXX będzie lepszym wyborem dla wszystkich danych wejściowych. XXX będzie lepszym wyborem dla wszystkich danych wejściowych oprócz małych danych wejściowych. XXX będzie lepszym wyborem dla wszystkich danych...
Mówi się, że w uzupełnieniu 2 0 ma tylko jedną wartość, podczas gdy w uzupełnieniu 1 zarówno +0, jak i -0 mają osobne wartości. Czym oni
W wywiadzie otrzymałem następujący problem (którego już nie udało mi się rozwiązać, nie próbując oszukać mojej przeszłości): Gra rozpoczyna się od dodatniej liczby całkowitej . (Np. ) Liczba ta jest konwertowana na reprezentację binarną, a jest liczbą bitów ustawioną na . (Np. , )A 0 = 1234 N 1 A 0...
Jestem nowy w uczeniu maszynowym. Przeczytałem kilka artykułów, w których wykorzystali głębokie uczenie się do różnych zastosowań i użyli terminu „wcześniej” w większości przypadków modelowych, powiedzmy wcześniej w ocenie ciała ludzkiego. Czy ktoś może wyjaśnić, co to właściwie znaczy. W...
Studiuję twierdzenie smn, a koncepcja przypominała mi curry. Z artykułu w Wikipedii o twierdzeniu smn : twierdzenie mówi, że dla danego języka programowania i dodatnich liczb całkowitych m i n istnieje szczególny algorytm, który przyjmuje jako dane wejściowe kod źródłowy programu z m + n...
Czytałem pytanie Spójność i kompletność oznaczają solidność? a pierwsze oświadczenie zawiera: Rozumiem, że solidność oznacza konsekwencję. Byłem dość zdziwiony, ponieważ uważałem, że dźwięk jest słabszym stwierdzeniem niż spójność (tj. Myślałem, że spójne systemy muszą być zdrowe, ale wydaje...
Próbuję zbudować listę algorytmów / problemów, które są „wyjątkowo przydatne”, jak w przypadku rozwiązywania problemów, które „wydają się” z natury bardzo wykładnicze, ale mają jakiś szczególnie sprytny algorytm, który ostatecznie je rozwiązuje. Przykłady tego, co mam na myśli: Programowanie...
Wiem, że różni autorzy używają różnych notacji do reprezentacji semantyki języka programowania. W rzeczywistości Guy Steele rozwiązuje ten problem w ciekawym filmie . Chciałbym wiedzieć, czy ktoś wie, czy wiodący operator bramki obrotowej ma dobrze rozpoznane znaczenie. Na przykład nie rozumiem...
Zakładając, że mamy problem i pokazaliśmy, że dolną granicą rozwiązania jest .ppppppΩ(2n)Ω(2n)\mathcal{\Omega}(2^n) czy dolna granica oznacza problem w
Biorąc pod uwagę dwa ciągi , piszemy dla ich konkatenacji. Biorąc pod uwagę ciąg i liczba całkowita , napisać dla złączonych kopii . Teraz biorąc pod uwagę ciąg, możemy użyć tego zapisu do „skompresowania” go, tzn. można zapisać jako . Nazwijmy ten ciężar kompresji liczba znaków w niej...
Brainfuck to kompletny język programowania Turinga, który używa tylko 8 symboli (6, jeśli zignorujesz I / O). Dwa najbardziej godne uwagi te, które popychają go do Kompletność Turinga są [i ]zasadniczo etykieta i goto brainfuck użytkownika. Zwykle programy w Brainfuck używają wielu zestawów [],...
Definicje maszyn Turinga zawsze wyrażają jasno, że pusty symbol nie jest częścią alfabetu wejściowego. Zastanawiam się, co poszło nie tak, kiedy byłoby uczynić go częścią alfabetu wejściowego, ponieważ skutecznie pusty symbol już wydaje się być częścią wejścia. Aby wyjaśnić, że „wydaje się” w...
Zamknięte. To pytanie jest nie na temat . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby było tematem dotyczącym wymiany stosów w informatyce. Zamknięte 11 miesięcy temu . Python dość dobrze wykorzystuje wcięcia...
Na wiki haskell znajduje się następujący przykład warunkowego użycia monady IO (patrz tutaj) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Zauważ, że w tym przykładzie IO aprzyjęto definicję, RealWorld -> (a,...
Jeśli funkcja ma typ zwracany ⊥ ( typ dolny ), oznacza to, że nigdy nie zwraca. Może na przykład wyjść lub rzucić, obie dość zwyczajne sytuacje. Przypuszczalnie jeśli funkcja miała parametr typu ⊥, nigdy nie mogłaby (bezpiecznie) zostać wywołana. Czy są kiedykolwiek jakieś powody, by zdefiniować...