Liczby naturalne są definiowane indukcyjnie jako (na przykładzie składni Coq) Inductive nat: Set := | O: nat | S: nat -> nat. Czy istnieje standardowy sposób konstruktywnego definiowania liczb całkowitych (a może innych zbiorów, takich jak racjonalne i
Typowe przykłady problemów trudnych dla NP (klika, 3-SAT, osłona wierzchołków itp.) Są tego typu, w którym nie wiemy, czy odpowiedź brzmi „tak” czy „nie” wcześniej. Załóżmy, że mamy problem, w którym wiemy, że odpowiedź brzmi tak, a ponadto możemy zweryfikować świadka w czasie wielomianowym. Czy...
W odniesieniu do wątku Udowodnienie, że konwersja z CNF do DNF jest NP-twarda (i powiązany wątek matematyczny ): Co powiesz na inny kierunek, od DNF do CNF? Czy to jest łatwe czy trudne? Na stronie 2 tego artykułu wydają się sugerować, że oba kierunki są równie trudne, gdy mówią: „ Jesteśmy...
Wiem, że skwantyfikowany problem z formułą logiczną dla formuły gdzie nie zawiera kwantyfikatorów i tylko zmienne jest przykładem . Zastanawiam się jednak, czy są jakieś naturalne problemy, o których wiadomo, że są , tak jak obwodu jest naturalnym (szczegóły w hierarchii wielomianowej )?ψ = ∀...
Próbuję znaleźć odpowiedzi na dwa pytania dotyczące uniwersalnej maszyny Turinga. Jak uniwersalna maszyna Turinga może symulować maszynę Turinga, jeśli symulowana ma większą liczbę stanów? Jak uniwersalna maszyna Turinga może symulować maszynę Turinga, jeśli symulowana ma większą liczbę znaków...
Co oznacza „w pozycji dodatniej” i „w pozycji ujemnej” w kontekście teorii typów? Jedyne, co zrozumiałem z postu na blogu Boba Harpera na ten temat , to istnienie związku między biegunowością w tym sensie w teorii typów a biegunowością w logice, ale nie wiem, co to za...
W parserze LR (0) każdy stan składa się z kolekcji elementów LR (0), które są produkcjami opatrzonymi adnotacją pozycją. W parserze LR (1) każdy stan składa się z kolekcji elementów LR (1), które są produkcjami opatrzonymi adnotacją pozycją i znakiem z wyprzedzeniem. Wiadomo, że biorąc pod uwagę...
Istnieje sposób wykonywania rozmytego parsowania (akceptuje ciągi nawet w literówkach do określonej odległości edycji), z DFA i skonstruowanymi w czasie wykonywania automatami Levenshtein słowa wejściowego. Czy coś podobnego można zrobić z parserem Earley? Trudno mi zrozumieć algorytm, a co dopiero...
Po przeczytaniu osiągnięć Google Deepmind w grach Atari , próbuję zrozumieć q-learning i q-sieci, ale jestem trochę zdezorientowany. Zamieszanie powstaje w koncepcji współczynnika dyskontowego. Krótkie streszczenie tego, co rozumiem. Głęboka splotowa sieć neuronowa służy do oszacowania wartości...
Czytam „Duszę nowej maszyny” Tracy Kidder, w której zespół Data General projektuje nową maszynę (o kryptonimie „Eagle”, później nazwaną MV / 8000). Jest to 32-bitowe rozszerzenie poprzedniej architektury (16-bitowe środowisko Eclipse). Jednym z motywów obrotowych wydaje się być to, że nie chcą...
Czytałem Systemy operacyjne Galvina i natrafiłem na poniższy wiersz, Jednak nie wszystkie niebezpieczne stany są w impasie. Niebezpieczny stan może doprowadzić do impasu Czy ktoś może wyjaśnić, jak impas! = Stan niebezpieczny ? Tutaj też złapałem tę samą linię Jeśli bezpieczna sekwencja nie...
Próbuję zrozumieć, jak działa alokacja płyty i dlaczego jest ona inna lub lepsza niż zwykłe stronicowanie. I uznał ten schemat , który uważam byłoby pomocne, gdyby miał więcej wyjaśnień. Parę pytań: Co reprezentują pozycje 3KB i 7KB? Czy muszą być jakoś powiązane? Dlaczego są pakowane w ten...
To pytanie jest nieco odwrotne do poprzedniego pytania dotyczącego zestawów utworzonych z operacji na zestawach na zestawach NP-complete: Jeśli zbiór wynikający ze związku, przecięcia lub iloczynu kartezjańskiego dwóch rozstrzygalnych zbiorów L1L1L_1 i jest NP-kompletny, to czy przynajmniej jeden...
Jest to prawdopodobnie głupia myśl, ale załóżmy, że mamy komputer, który jest zaprogramowany do wykonywania nieskończonej sekwencji obliczeń i załóżmy, że wykonanie obliczenia zajmuje sekundy sekundę. Następnie ten komputer może wykonać nieskończoną liczbę obliczeń w skończonym...
Próbowałem rozwiązać następujące ćwiczenie, ale utknąłem podczas próby znalezienia wszystkich krytycznych par . Mam następujące pytania: Skąd mam wiedzieć, która para krytyczna stworzyła nową regułę? Skąd mam wiedzieć, że znalazłem wszystkie krytyczne pary? Niech gdzie jest binarny, jest...
Niedawno przeczytałem naprawdę ciekawy wpis na blogu Google Research Blog o sieci neuronowej. Zasadniczo wykorzystują te sieci neuronowe do rozwiązywania różnych problemów, takich jak rozpoznawanie obrazów. Używają algorytmów genetycznych do „ewolucji” ciężarów aksonów. Więc w zasadzie mój pomysł...
Jeśli P.=NPP=NP\mathbf{P} = \mathbf{NP} , to czy L =NLL=NL.\mathbf{L} = \mathbf{NL} ? Zadaję to pytanie, ponieważ dla innych niedeterministycznych klas wydaje się, że P = N PP=NP.\mathbf{P} = \mathbf{NP} zawsze ustala, że są one równe ich deterministycznym
Wiem, że języki, które można zdefiniować za pomocą wyrażeń regularnych i te rozpoznawane przez DFA / NFA (automaty skończone) są równoważne. Nie istnieje również DFA dla języka . Ale nadal może być napisane przy użyciu wyrażeń regularnych (zresztą każdy non-język regularny może być) jako . Wiemy...
Biorąc pod uwagę zbiór punktów x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2 i promień . Co jest złożonością znalezienia punktu o większej liczbie punktów w odległości mniejszej niż . Np. Ten, który maksymalizuje ?rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq...
Wikipedia twierdzi, że związek według rangi bez kompresji ścieżki daje zamortyzowaną złożoność czasu O(logn)O(logn)O(\log n)oraz że zarówno połączenie według kompresji rang, jak i ścieżki zapewnia zamortyzowaną złożoność czasową O(α(n))O(α(n))O(\alpha(n)) (gdzie αα\alphajest odwrotnością funkcji...