Używam solwera SAT do zakodowania problemu, a jako część instancji SAT mam zmienne logiczne gdzie jest zamierzone, że dokładnie jedna z nich powinna być prawdziwa, a reszta powinna być fałszywa . (Czasami widziałem to opisywane jako kodowanie „na gorąco”).x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n Chcę...
Gdyby ktoś zbudował uniwersalny komputer kwantowy, czy miałoby to jakikolwiek wpływ na problem P i
Masz jedną monetę. Możesz go obrócić tyle razy, ile chcesz. Chcesz wygenerować losową liczbę taką, że gdzie .a ≤ r < b r , a , b ∈rrrza≤r<ba≤r<ba \leq r < br , a , b ∈ Z+r,a,b∈Z+r,a,b\in \mathbb{Z}^+ Rozkład liczb powinien być jednolity. Łatwo jest, jeśli :b - a = 2nb−a=2nb -a = 2^n r...
WP ma odpowiednią dyskusję na temat stronicowania , którą, jak sądzę, rozumiem. Jednak zdumiewają mnie powtarzające się artykuły z ramką strony . Myślałem, że ramki i strony to różne rzeczy. Czy ktoś mógłby wyjaśnić
Dość proste jest zrozumienie, dlaczego problem zatrzymania jest nierozstrzygalny w przypadku nieczystych programów (tj. Tych, które mają operacje we / wy i / lub stany zależne od stanu globalnego maszyny); ale intuicyjnie wydaje się, że zatrzymanie czystego programu na idealnym komputerze byłoby...
Jednym z hiperparametrów dla sieci LSTM jest temperatura. Co to
Jeśli problem dwóch generałów jest nierozwiązywalny, jak my, ludzie, możemy się zgodzić na różne rzeczy? Chodzi mi o to, że komunikujemy się codziennie i mamy takie same ograniczenia jak każdy problem komunikacyjny obsługiwany przez informatykę. Dlaczego nas to nie...
Oto pytanie z poprzedniego egzaminu, który próbuję rozwiązać: Dla niekierowanego wykresu z dodatnimi wagami w ( e ) ≥ 0 staram się znaleźć minimalne cięcie. Nie znam innych sposobów na zrobienie tego poza wykorzystaniem twierdzenia o maksymalnym przepływie min-cut. Ale wykres nie jest...
Mam problem ze zrozumieniem dowodu nierozstrzygalności problemu zatrzymania. Jeśli zwraca, czy program a zatrzymuje się na wejściu b , dlaczego musimy przekazać kod P zarówno dla a, jak i b ?H.( a , b )H(a,b)H(a,b)zaaabbbP.PPzaaabbb Dlaczego nie możemy karmić z P i jakimś arbitralnym...
Czy istnieje struktura danych umożliwiająca utrzymanie uporządkowanej listy, która obsługuje następujące operacje w zamortyzowanym czasie ?O(1)O(1)O(1) GetElement (k) : zwraca ty element listy.kkk InsertAfter (x, y) : Wstaw nowy element y do listy natychmiast po x. Usuń (x) : Usuń x z listy. W...
Jakiś facet powiedział: Każdy, kto próbuje generować losowe liczby za pomocą deterministycznych środków, oczywiście żyje w stanie grzechu. To zawsze oznacza, że nie można wygenerować prawdziwych liczb losowych za pomocą samego komputera. Powiedział też, że gdy komputery były równoważnej...
Szukam algorytmu do dystrybucji wartości z listy, aby powstała lista była jak najbardziej „zrównoważona” lub „równomiernie rozłożona” (w cudzysłowie, ponieważ nie jestem pewien, czy są to najlepsze sposoby na opisanie jej ... później przedstawię sposób pomiaru, czy wynik jest lepszy niż inny). Tak...
Zakładając, że P NP, problemy z kompletnością NP są „trudne do rozwiązania, ale mają odpowiedzi, które można łatwo sprawdzić”. Czy ma sens rozważenie czegoś przeciwnego, to znaczy problemów, dla których łatwo jest poprawnie obliczyć prawidłową odpowiedź, ale trudno jest zweryfikować dowolne rzekome...
Zastanawiam się, czy są jakieś eksperymenty, które pokazują istnienie lub brak korelacji między użyciem dynamicznego języka (takiego jak Python, Ruby, a nawet języków, które działają na platformie Java, takiej jak Groovy, Clojure) w język statyczny (taki jak C / C ++) i różnica w...
Nie do końca rozumiem, dlaczego rotacja w strukturze danych drzewa splay uwzględnia nie tylko element nadrzędny węzła oceniającego, ale także dziadka (operacja zygzak i zig-zig). Dlaczego następujące elementy nie działają: Gdy wstawiamy na przykład nowy węzeł do drzewa, sprawdzamy, czy wstawiamy...
Szukam struktury danych, która obsługuje efektywne przybliżone wyszukiwanie kluczy (np. Odległość Levenshteina dla ciągów znaków), zwracając możliwie najbliższe dopasowanie dla klucza wejściowego. Najlepszą strukturą danych, jaką do tej pory znalazłem, są drzewa Burkhard-Keller , ale zastanawiałem...
Znalazłem kilka narzędzi do programowania wizualnego typu open source, takich jak Blockly i przyjaciele oraz inne projekty hostowane w Github, ale nie mogłem znaleźć żadnego, który działałby bezpośrednio z abstrakcyjnym drzewem składni. Dlaczego? Pytam, ponieważ kiedy odkryłem, że każdy...
Oto przypuszczenie dotyczące wyrażeń regularnych: Dla wyrażenia regularnego , niech długość | R | być liczbą w nim symboli, ignorując nawiasy i operatory. np | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2RRR|R||R||R||0∪1|=|(0∪1)∗|=2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup 1)^*| = 2 Domysł: Jeśli i L ( R )...
Najwyraźniej nie ma żadnych nierozstrzygalnych problemów w NP. Jednak według Wikipedii : NP jest zbiorem wszystkich problemów decyzyjnych, dla których przypadki, w których odpowiedź brzmi „tak”, mają […] dowody, które są] weryfikowalne w czasie wielomianowym przez deterministyczną maszynę...
Filtr Bloom pozwala efektywnie śledzić, czy różne wartości zostały już napotkał podczas przetwarzania. Gdy jest wiele elementów danych, filtr Bloom może spowodować znaczne oszczędności pamięci w tabeli skrótów. Główną cechą filtra Bloom, który dzieli z tabelą skrótów, jest to, że zawsze mówi „nie...