Szukam szybkiego algorytmu do obliczenia maksymalnego przepływu na wykresach dynamicznych. tzn. biorąc pod uwagę wykres i , mamy maksymalny przepływ w od do . Następnie nowy / stary węzeł dodane / usunięty z jego odpowiednich krawędziach, tworząc krzywą . Jaki jest maksymalny przepływ na nowo...
Biorąc pod uwagę filtr Blooma o rozmiarze N-bitów i funkcjach skrótu K, w których ustawionych jest M-bitów (gdzie M <= N) filtra. Czy jest możliwe przybliżenie liczby elementów wstawionych do filtra Bloom? Prosty przykład Zastanawiam się nad poniższym przykładem, zakładając BF 100 bitów i 5...
Czy istnieją rozstrzygalne problemy, takie że dla żadnego algorytmu, który nie rozwiązałby problemu, możemy wyznaczyć limit czasowy jako funkcję długości n instancji wejściowej? Doszedłem do tego pytania, ponieważ myślałem o następujących kwestiach: Załóżmy, że mamy rekurencyjnie wymienny, ale...
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...
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...
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...
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...
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...
Jestem bardziej facetem od optyki kwantowej niż facetem od informacji kwantowych i zajmuję się głównie równaniami mistrzowskimi. Interesuje mnie forma sumy operatora i chciałbym wyprowadzić błędy w tej formie dla małego układu kwantowego, który symuluję. Haczyk: układ kwantowy jest napędzany przez...
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...
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...
Biorąc pod uwagę ukierunkowany wykres z n węzłami, tak że każdy wierzchołek ma dokładnie dwie krawędzie wychodzące, a liczbę naturalną N zakodowaną dwójkowo, dwa wierzchołki s i t, Chcę policzyć liczbę (niekoniecznie prostych) ścieżek od s do t w obrębie N kroków. Czy to trudny problem # P? Lub...
Wiemy np. Z Koutis-Miller-Peng (na podstawie pracy Spielmana i Tenga), że możemy bardzo szybko rozwiązać układy liniowe dla macierzy które są wykresem macierzy Laplaciana dla niektórych rzadkich wykresów z nieujemnymi wagami krawędzi .Ax=bAx=bA x = bAAA Teraz (pierwsze pytanie) rozważ użycie...
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,...
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...
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...
Tutaj: http://www.planarity.org/Klein_elementary_graph_theory.pdf (w osadzeniach rozdziałów) podano definicję kombinatorycznego osadzania wykresu płaskiego. (z definicją ścian i tak dalej) Choć można go łatwo zastosować do dowolnego wykresu, definiują wykres płaski jako wykres, dla którego...
Czy ktoś może podać przykład dwóch równoważnych (rozpoznających ten sam język) minimalnych niedeterministycznych automatów (NFA), które nie są
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...
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ę...