Czytając artykuł „ Teoria aplikacyjna dla FPH ”, można natknąć się na następujący fragment: Biorąc pod uwagę teorie charakteryzujące klasy złożoności obliczeniowej, istnieją trzy różne podejścia: w jednym funkcje, które można zdefiniować w teorii, są „automatycznie” w ramach pewnej klasy...
Mam politotop P.PP zdefiniowany przez { x : A x ≤ b , x ≥ 0 }{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Pytanie: Z uwagi wierzchołek vvv z P.PP , czy istnieje algorytm wielomianowy czas równomiernie próbki od sąsiadów vvv na wykresie P.PP ? (Wielomian w wymiarze, liczba równań i reprezentacja bbb...
Jak wszyscy wiedzą, słynna książka Garey i Johnsona (i wiele innych) stanowi doskonałe odniesienie do techniki redukcji w scenerii klasycznej. Czy są jakieś ankiety lub książki na temat techniki redukcji w sparametryzowanym algorytmie, powiedzmy redukcja
Kiedy otrzymujemy rozkład drzewa wykresu o szerokości , istnieje kilka sposobów, dzięki którym możemy go uczynić „ładnym”. W szczególności wiadomo, że można go przekształcić w rozkład drzewa, w którym drzewo jest binarne, a jego wysokość wynosi . Można to osiągnąć przy zachowaniu szerokości...
To pytanie dotyczy logiki zdań i wszystkie wystąpienia „rozstrzygania” należy interpretować jako „rozstrzyganie zdań”. To pytanie jest bardzo proste, ale od dłuższego czasu mnie niepokoi. Widzę, że ludzie twierdzą, że rozwiązanie zdań jest kompletne, ale widzę też, że ludzie twierdzą, że...
Czy istnieje algorytm tasowania karabinu liniowego w czasie? Jest to algorytm, który niektóre szczególnie sprawne ręce są w stanie wykonać: równomierne dzielenie tablicy wejściowej o równej wielkości, a następnie przeplatanie elementów dwóch połówek. Mathworld ma krótką stronę na temat losowania...
Biorąc pod uwagę macierz m×nm×nm \times n (przy założeniu, że m≥nm≥nm \ge n ), jaki jest najszybszy algorytm obliczający swoją pozycję i podstawę kolumn? Wiem, że można to rozwiązać za pomocą liniowego przecięcia macierzy, co implikuje algorytm deterministyczny czasowy i algorytm randomizowany...
Złożoność informacji jest bardzo przydatnym narzędziem w złożoności komunikacji, stosowanym głównie w celu ograniczenia złożoności komunikacyjnej rozproszonych problemów. Czy istnieje analogia złożoności informacji dla złożoności zapytań? Istnieje wiele podobieństw między złożonością zapytań a...
Chciałbym zapytać o dobre teksty wprowadzające złożoność obwodu. Pomocne będą również wszelkie wskazówki dotyczące ostatnich postępów i otwartych problemów w tej
Każdy monotoniczny obwód arytmetyczny , tj. Obwód , oblicza pewną wielomianową wielomian z nieujemnymi współczynnikami całkowitymi. Biorąc pod uwagę wielomian , obwódF ( x 1 , … , x n ) f ( x 1 , … , x n
W złożoności obwodu mamy rozdzielenia mocy różnych modeli obwodów. W złożoności dowodu mamy rozróżnienia między mocami różnych systemów dowodu. Ale w algorytmie wciąż mamy tylko kilka różnic między potęgami paradygmatów algorytmicznych . Moje pytania poniżej mają na celu dotknięcie tego...
Problem z utrzymaniem porządku (lub „utrzymaniem porządku na liście”) polega na obsłudze operacji: singleton: tworzy listę z jednym elementem, zwraca do niej wskaźnik insertAfter: dany wskaźnik do elementu wstawia nowy element po nim, zwracając wskaźnik do nowego elementu delete: dany wskaźnik do...
tło Formuła „read-once” na zbiorze bramek (zwana również podstawą) to formuła, w której każda zmienna wejściowa pojawia się jeden raz. Formuły do odczytu raz są powszechnie badane na podstawie De Morgana (która ma 2-bitowe bramki AND i OR oraz 1-bitową bramkę NOT) i pełnej bazy binarnej (która...
Czy innymi słowy, czy mamy to dla każdego języka i B , A ≤ p B lub B ≤ p A ?ZAZAAbbBA ≤pbZA≤pbA \leq_p BB ≤pZAb≤pZAB \leq_p
Dwa dokumenty, które chciałbym załączyć to: D. Kozen, „Indeksowanie klas subrekursywnych” , STOC, 1978. R. Ladner, „O strukturze wielomianowej redukcji czasu” , JACM,
Problem #SAT jest kanonicznym problemem # P-zupełnym. Jest to raczej problem funkcji niż problem decyzyjny. Pyta, biorąc pod uwagę wartość logiczną formuła w rachunku zdań, ilu spełniających zadania F ma. Jakie są najlepsze dolne granice na
Biorąc pod uwagę dwa CNF, jeśli mają taką samą liczbę zadań, aby były prawdziwe, odpowiedz „Tak”, w przeciwnym razie odpowiedz „Nie”. Łatwo zauważyć, że jest to w , ponieważ jeśli znamy dokładną liczbę rozwiązań dla tych dwóch CNF, po prostu je kampanujemy i odpowiadamy „Tak” lub...
W swojej pracy odległości około Oracles , Thorup i Zwick wykazały, że dla każdego wykresu ważonej nieukierunkowane, możliwe jest skonstruowanie struktury danych o rozmiarze , które mogą powrócić do -approximate odległość między dowolną parą wierzchołków na wykresie.O ( k n1 + 1 / k)O(kn1+1/k)O(k...
Czy znane są wyniki, które wykluczają istnienie struktur danych „zbyt dobrych, by były prawdziwe”? Na przykład: czy można dodać funkcjonalność SplitSplitSplit i do struktury danych obsługi zamówień (patrz Dietz i Sleator STOC '87 ) i nadal uzyskiwać operacje czasowe...
Wynik 1: Twierdzenie Linial-Mansour-Nisan mówi, że czteroliniowa waga funkcji obliczonych przez obwody jest skoncentrowana na podzbiorach małych rozmiarów z dużym prawdopodobieństwem.AC0AC0\mathsf{AC}^0 Wynik 2: ma czterokierunkową wagę skoncentrowaną na współczynniku stopnia...