Przeczytałem artykuł Freyda „Algebraicznie kompletne kategorie” w słynnym Como90 i mam dwa pytania dotyczące pojęcia zwartości algebraicznej zdefiniowanej w tym artykule. (Jeśli nie znasz tej definicji, oto ona: Kategoria nazywa się zwartą algebraicznie, jeśli każdy endofunkor ma początkową algebrę i końcową koalgebrę, które są kanonicznie izomorficzne.) Jakie są przykłady kategorii …
Szukam odniesień bibliograficznych dla następującego algorytmu / problemu: nazwałem go „BiSelect” lub „t-ary Select” lub „Select in Union of Sorted Arrays”, ale myślę, że został wprowadzony wcześniej pod inną nazwą? Problem Rozważ następujący problem: Biorąc pod uwagę kkk rozłożonych tablic posortowanych , o odpowiednich rozmiarach , oraz liczbę całkowitą , …
Próbuję zrozumieć, do której klasy złożoności należy następujący problem: Wykładniczy wielomianowy problem z korzeniem (EPRP) Niech będzie wielomianem o deg ( p ) ≥ 0 ze współczynnikami wyciągniętymi z pola skończonego G F ( q ) z q liczbą pierwszą, a r pierwotnym pierwiastkiem dla tego pola. Określ rozwiązania: p …
Czy wiemy, że hierarchia się nie zwija ( dla wszystkich d )?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Wpis do zoo dla TC0TC0\mathsf{TC^0} wspomina tylko o separacji między głębokością 2 i 3. Czy istnieje również standardowe odniesienie do faktu, że hierarchia AC0dACd0\mathsf{AC^0_d} się nie zwija?
Obecnie prowadzę badania nad językiem formalnym, które obejmują klasy języków powyżej zwykłego, ale poniżej kontekstowego. Patrzę na takie rzeczy, jak maszyny zliczające z odwróceniem, maszyny liczące na jednym stosie, deterministyczne CFL itp. Zastanawiam się, czy ktokolwiek wie o dobrej książce lub opracowaniu, które opisuje właściwości tych języków. Większość tego, na …
Algorytm simpleksowy jest często traktowany albo w ramach rzeczywistej arytmetyki, albo w świecie dyskretnym z dokładnymi obliczeniami. Wydaje się jednak, że jest najczęściej wdrażany za pomocą arytmetyki zmiennoprzecinkowej. Prowadzi to do pytania, czy algorytm simpleks należy traktować jako algorytm numeryczny, w szczególności w jaki sposób błędy zaokrąglenia wpływają na obliczenia. …
Jeśli otrzymujesz zbiór zamówień częściowych, sortowanie topologiczne powie ci, czy istnieje rozszerzenie zbioru do zamówienia całkowitego (w tym przypadku rozszerzenie jest zamówieniem całkowitym zgodnym z każdym z zamówień częściowych). Natknąłem się na odmianę: Naprawić zestaw . Dostajesz sekwencje σ 1 , … σ k elementów narysowanych z V bez powtórzeń …
MPA (automat multipebble) to 2DFA (dwukierunkowy deterministyczny automat skończony), który może wykorzystywać dowolną liczbę otoczek (w rzeczywistości najwyżej otoczki na danym wejściu - wejście jest zapisywane na taśmie między dwoma końcami -markery jak ). Podczas obliczeń MPA może wykryć, czy symbol pod głową ma kamyk, a następnie może umieścić kamyk …
Mam nadzieję, że ktoś wie o tym, więc nie muszę czytać literatury ... Rozważ ciąg liczb . Pomyśl o sekwencji jako interwałach . Oczywiście, oryginalna sekwencja jest bitoniczna, jeśli jakikolwiek punkt na prawdziwej linii dźgnie co najwyżej 2 interwały. Będziemy odnosić się do sekwencji, w której punkt dźgnie w większości …
Unikalny SAT jest dobrze znanym problemem: biorąc pod uwagę wzór CNF , czy to prawda, że F ma dokładnie jeden model?FFFFFF Interesuje mnie problem «Dokładnie SAT»: biorąc pod uwagę wzór F CNF i liczbę całkowitą m > 1 , czy to prawda, że F ma dokładnie m modeli?mmmFFFm>1m>1m>1FFFmmm Oba problemy …
Jeśli jest wykresem w stopniu maksymalnie 3 i jest minor H , a G jest topologiczna minor H .solGGH.HHsolGGH.HH Wikipedia cytuje ten wynik z „Teorii grafów” Diestela. Jest wymieniony jako Prop 1.7.4 w najnowszej wersji książki. W książce brakuje dowodu lub cytowania. Czy miejsce pobytu znane jest z (oryginalnego) dowodu …
Możemy myśleć o złożoności łańcucha Kołmogorowa jako długości najkrótszego programu P i wprowadzić y tak, że x = P ( y ) . Zazwyczaj programy te są pobierane z jakiegoś kompletnego zestawu Turinga (np. P może być opisem maszyny Turinga lub może to być program w LISP lub C). Nawet …
Czy istnieje ankieta (z artykułu, rozdziału książki, samouczka, linków, ...) semantyki różnych funkcji języka programowania? Początkowo byłem przytłoczony funkcjami D tutaj http://www.digitalmars.com/d/2.0/comparison.html Chciałbym zobaczyć, co mógłbym stąd uzyskać, chociaż zadałem podobne pytanie na temat przepełnienia stosu i rozumiem, że te dwie witryny mają różne perspektywy. Naprawdę doceniam twoją odpowiedź! Dzięki …
Szukam dobrego odniesienia do najkrótszych ścieżek wąskich gardeł. W szczególności, biorąc pod uwagę wierzchołki si na grafie bezkierunkowym z wagami krawędzi, potrzebujesz najkrótszej ścieżki od s do t, gdzie długość ścieżki jest maksymalną krawędzią na tej ścieżce. Można to rozwiązać w czasie O (n + m), znajdując środkową masę krawędzi …
Co wiadomo na temat następującego problemu? Biorąc pod uwagę zbiór funkcji f : { 0 , 1 } n → { 0 , 1 } , znajdź największą podkolekcję S ⊆ C z zastrzeżeniem ograniczenia, że VC-Wymiar ( S ) ≤ k dla jakiejś liczby całkowitej k .CCCf:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆CS⊆CS \subseteq C(S)≤k(S)≤k(S) …
Używamy plików cookie i innych technologii śledzenia w celu poprawy komfortu przeglądania naszej witryny, aby wyświetlać spersonalizowane treści i ukierunkowane reklamy, analizować ruch w naszej witrynie, i zrozumieć, skąd pochodzą nasi goście.
Kontynuując, wyrażasz zgodę na korzystanie z plików cookie i innych technologii śledzenia oraz potwierdzasz, że masz co najmniej 16 lat lub zgodę rodzica lub opiekuna.