Teoretyczne informatyka

Pytania i odpowiedzi dotyczące teoretycznych informatyków i badaczy w pokrewnych dziedzinach

2
Jakie są relacje między Alternative, MonadPlus (LeftCatch) i MonadPlus (LeftDistributive)?
Dalsze działania Jaki jest przykład Monady, która jest alternatywą, ale nie MonadPlus? : Załóżmy, że to monada. Jakie są stosunki betweem m bycia alternatywą , a MonadPlusCatch i MonadPlusDistr ? mmmmmmDla każdej z sześciu możliwych par chciałbym mieć albo dowód, że jedna implikuje drugą, lub kontrprzykład, że tak nie jest. …
1
Czy algorytmy kwantowe z przyspieszeniem wykładniczym można ponownie odczytać za pomocą programów zakresu?
Wiadomo, że dolna granica ogólnego przeciwnika charakteryzuje złożoność kwantowych zapytań z powodu przełomowej pracy Reichardta i in. Ta sama linia pracy ustanawia również połączenia ze strukturą programu zakresu do projektowania algorytmów kwantowych. Wiele interesujących algorytmów kwantowych, w tym z przyspieszeniem wykładniczym, takich jak algorytm Simona i algorytm Shora do wyszukiwania …
2
Skuteczne uniwersalne narzędzie do rozwiązywania problemów?
Zdefiniuj „problem” jako algorytm akceptujący liczbę naturalną i zwracający 0 lub 1, która zwraca na co najmniej jednym . Każde takie nazywane jest „rozwiązaniem”AAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Zdefiniuj „uniwersalne narzędzie do rozwiązywania problemów” jako algorytm przyjmujący problem i zwracający jedno z jego rozwiązań. Na przykład może działać, zapętlając wszystkie liczby naturalne …
3
Na entropii sumy
Szukam oprawionego na entropii H(X+Y)H(X+Y)H(X+Y) sumy dwóch niezależnych dyskretnych zmiennych losowych i . Oczywiście, Jednak zastosowane do sumy niezależnych zmiennych losowych Bernoulliego , daje to Innymi słowy, granica rośnie liniowo z przy wielokrotnym stosowaniu. Jednak jest obsługiwany na zestawie rozmiaru , więc jego entropia jest co najwyżejY H ( X …
2
Złożoność przestrzeni w celu obliczenia optymalnego wyrównania łańcucha dla odległości edycji Levenshteina
Jeśli otrzymamy dwa ciągi o rozmiarze n1n1n_1 i , standardowe obliczanie odległości edycji Levenshteina odbywa się za pomocą algorytmu dynamicznego o złożoności czasowej i złożoności przestrzennej . (Niektóre ulepszenia można wprowadzić w zależności od odległości edycji , ale nie zakładamy, że jest szczególnie mały.) Jeśli interesuje Cię tylko wartość odległości …
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ń …
3
Jak definiuje się dualność typów?
W Wadler's Recursive Types za darmo! [1], zademonstrował dwa typy, i i twierdził, że są podwójne . W szczególności wskazał, że typ nie jest dualistą poprzedniej. Wydaje się, że dualność, o której tu mowa, różni się logicznie od dualności De Morgana. Zastanawiam się, w jaki sposób definiuje się dualność typów, …
3
AM / MA i NP analogicznie do P i BPP
Arora i Barak pokazują, że można wyrazić jako B P ⋅ N P, tj. Zestaw języków, w których losowe obniżki do 3SAT. M jest także naturalnym randomizowane uogólnienie N P w które zastąpi deterministyczny weryfikatora przez randomizowanym jeden.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Czy istnieje sens, w którym jedno z nich jest ściślej dopasowane …
2
Ekspresyjność Büchi vs CTL (*)
Jaki jest związek między ekspresyjnością LTL , Büchi / QPTL , CTL i CTL * ? Czy możesz podać odniesienia, które obejmują tak wiele logiki czasowej, jak to możliwe (szczególnie między czasem liniowym a rozgałęzieniem)? Idealny byłby diagram Venna z logiką czasową i pewnymi praktycznymi właściwościami jako przykładami. Na przykład: …
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 …
1
Implementacja Wilfa-Zeilbergera i powiązanych metod
Książka A = B autorstwa Petkovseka, Wilfa i Zeilbergera opisuje algorytmy do obliczania różnych sum dwumianów. AFAIK, algorytmy te są wciąż ulepszane przez różnych autorów. Czy wiesz, gdzie możemy znaleźć najbardziej aktualne implementacje tych algorytmów? A czy wiesz, czy istnieją implementacje w niektórych darmowych programach, takich jak Sage ?
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 …
2
Podziel tekst równomiernie na określoną liczbę wierszy
Istnieje liniowy algorytm czasowy umożliwiający równomierne dzielenie tekstu na linie o maksymalnej szerokości. Wykorzystuje SMAWK (lub Knuth & Plass), a „równomiernie” oznacza: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Czy istnieje algorytm lub wklęsła funkcja kosztu dla algorytmu, powyżej której wziąłby pod uwagę liczbę wierszy, w których chciałbym rozbić tekst, zamiast maksymalnej szerokości linii? Również w …
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.