W 1975 r. Miller pokazał, jak zmniejszyć faktoryzację liczby całkowitej do znalezienia okresu r funkcji f ( x ) = a xN.NNrrr taki, że f ( x + r ) = f ( x ) z niektórymi losowo wybranymi a < N . Dobrze wiadomo, że algorytm Shora możeefektywnieznajdować r na komputerze kwantowym, podczas gdy uważa...
Pozwólmy naprawić 0<E<10<E<10 E \}{i | ci≤E}{i | ci≤E}\{ i ~|~ c_i \leq E \} Udowodnij to lub znajdź błąd! mając nadzieję, że może to być dla ciebie zabawna gra! Motywacja pytania : Załóżmy, że masz losową zmienną , typową miarą „ile losowości” jest w jest...
Obecnie szukam dobrych materiałów referencyjnych dotyczących nielokalnych gier o korzystnych aspektach w komunikacji kwantowej. Na przykład jestem świadomy, że gry nielokalne są dobre w ograniczaniu złożoności komunikacji, a także w zapewnieniu bezpieczeństwa protokołów QKD. Chciałbym wiedzieć,...
Szukam struktury danych zajmującej mało miejsca, która przechowuje zestawy (bez powtórzeń) elementów wordize i obsługuje szybkie wstawianie (amortyzowane O (1)). Przez „oszczędny przestrzennie” rozumiem idealnie, słów do przechowywania n elementów.n + o ( n )n+o(n)n + o(n)nnn Bycie zestawem jest...
Byłbym bardzo zainteresowany odniesieniami do teorii funkcji podmodularnych (od podstaw po zaawansowane). W szczególności studiuję aproksymacje do problemów z twardą optymalizacją i chcę rozwinąć swoje podstawy w funkcjach podmodularnych, ponieważ są one istotne dla problemów optymalizacji, które...
Chciałbym wiedzieć, czy w (niedeterministyczny obszar logów) można rozstrzygnąć następujący problem :N L.NL\mathsf{NL} Biorąc pod uwagę ukierunkowany wykres z dwoma wyróżnionymi wierzchołkami s i t , czy istnieje unikalna ścieżka od s do t w G ?solGGssstttssstttsolGG Czuję, że to może być w...
Rozstrzyga się następujący problem: Biorąc pod uwagę bezkontekstową gramatykę , czy ?L ( G ) = ∅solGGL ( G ) = ∅L(G)=∅L(G) = \varnothing Następujący problem jest nierozstrzygalny: Biorąc pod uwagę bezkontekstową gramatykę , czy L (G) = A ^ {\ ast} ?L ( G ) = A ∗solGGL ( G ) = A∗L(G)=A∗L(G) =...
Co wiadomo na temat przejścia fazowego w problemach # P-Complete? W szczególności, czy istnieje inne przejście fazowe dla # DNF-k-SAT i # CNF-k-SAT? Aktualizacja: Jak wiemy, w Random k-SAT występuje przejście fazowe, w którym rozwiązanie problemu staje się łatwe i trudne. Chciałbym również...
Jak spojrzeć na problem i powód, dla którego jest to NP-średniozaawansowany, a nie NP-pełny? Często dość łatwo jest spojrzeć na problem i stwierdzić, czy jest to prawdopodobnie NP-Complete, czy nie, ale wydaje mi się, że znacznie trudniej jest stwierdzić, czy problem dotyczy NP-Intermediate,...
To pytanie jest związane z ostatnim pytaniem przez Janoma . tło Programowania więzów, A regularne globalny ograniczenie docc przez domeny reDD jest parą ( s , M)(s,M)(s, M) z sss krotki zmiennych (zakres, w) oraz M.MM DFA na obszarze reDD . Przypisanie θθ\theta do sss spełnia warunek docc jeśli...
Chyba nazywa się to # P-Space, ale znalazłem tylko jeden artykuł niejasno o tym wspominając. Co powiesz na liczącą się wersję problemów EXP-TIME-Complete, NEXP-Complete oraz EXP-SPACE-Complete? Czy są jakieś wcześniejsze prace, które można przytoczyć w odniesieniu do tego lub dowolnego rodzaju...
Problem z tradycyjną galerią sztuki tworzy region i strażników z pewnym pojęciem widoczności i prosi o minimalną liczbę strażników, którzy muszą być umieszczeni, aby zobaczyć cały region. Czy ktoś kiedykolwiek oglądał warianty galerii sztuki, w których obszar widoczności jest definiowany przez...
Załóżmy, że mamy półgrupę z elementami . Naszym celem jest obliczanie produktów .(S,∘)(S,∘)(S,\circ)S={s1,s2,…,sn}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesi∘si+1∘⋯∘sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j W swoim artykule „Optymalne przetwarzanie wstępne dla odpowiedzi na...
W rozproszonych systemach kontroli wersji (takich jak Mercurial i Git ) istnieje potrzeba skutecznego porównywania ukierunkowanych wykresów acyklicznych (DAG). Jestem programistą Mercurial i bardzo chcielibyśmy usłyszeć o pracy teoretycznej, która omawia złożoność czasową i sieciową porównywania...
Biorąc pod uwagę ważony niekierowany wykres z krawędziami m = o ( n2))m=o(n2))m = o(n^2) , chciałbym obliczyć odległości aproksymacji mniejsze niż 2 między dowolną parą wierzchołków. Oczywiście chciałbym użyć przestrzeni subkwadratowej i podliniowego czasu zapytania. Jestem świadomy wyniku Zwicka,...
Czy istnieją problemy, których średnia złożoność przypadków jest taka sama jak ich najgorsza złożoność? Jakie są podstawowe właściwości tych problemów, które pozwalają zredukować najgorszy przypadek do przeciętnego
Interesuje mnie odmiana SAT, w której wzór CNF jest monotoniczny (żadnych zmiennych nie neguje się). Taka formuła jest oczywiście zadowalająca. Ale powiedzmy, że liczba prawdziwych zmiennych jest miarą tego, jak dobre jest nasze rozwiązanie. Mamy więc następujący problem: MINIMALNY PRAWDZIWY...
To pytanie może nie mieć charakteru technicznego. Jako nie-native speaker i TA dla klasy algorytmów zawsze zastanawiałem się, co oznacza gadżet w „gadżet klauzulowy” lub „gadżet zmienny”. Słownik mówi, że gadżet jest maszyną lub urządzeniem, ale nie jestem pewien, co to kolokwialne znaczenie ma w...
Niech 1 , 2 , ... , m jest ciągiem liczb całkowitych, gdzie każdy J ∈ { 1 , 2 , ... , N } . Dla i ∈ { 1 , 2 , … , n } , niech m i = | { j : a j = i } | . K th chwili częstotliwości określa sięza1, a2), … , Ama1,a2,…,ama_1, a_2,\dotsc, a_mzajot∈ { 1 , 2 , … , n }aj∈{1,2,…,n}a_j \in \{1,2,\dotsc,n\}i...
Algorytmy aproksymacyjne mogą dawać wynik do pewnego stałego współczynnika. Jest to nieco mniej satysfakcjonujące niż dokładne algorytmy. Jednak stałe czynniki są ignorowane w złożoności czasowej. Zastanawiam się więc, czy następująca sztuczka jest możliwa lub została zastosowana, aby rozwiązać...