Pytania otagowane jako reference-request

Prośba o referencję jest wykorzystywana, gdy autor musi wiedzieć o pracy związanej z pytaniem.

1
Algebraicznie zwarte kategorie
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 …

3
Wybierz w połączeniu uporządkowanych tablic: Już znasz?
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ą , …



1
Czy istnieje książka / artykuł przeglądowy przedstawiający hierarchie klas językowych, właściwości zamknięcia itp
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 …

1
Stabilność numeryczna metody Simplex
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. …

1
Pytanie o liniowe rozszerzenia zamówień częściowych
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ń …

2
Czy automaty wielopłytkowe mogą decydować o wszystkich deterministycznych językach kontekstowych?
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 …

3
Sortowanie sekwencji „tonicznych”
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 …


1
Cytowanie pokazujące osoby niepełnoletnie są nieletnimi topologicznymi dla wykresów podrzędnych
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 …


2
Czy istnieje przegląd semantyki różnych funkcji języka programowania?
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 …

2
Odwołanie do szybkiego algorytmu dla najkrótszych ścieżek wąskich gardeł
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 …


Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.