Podczas testowania właściwości wykresu algorytm wysyła zapytanie do wykresu docelowego o obecność lub brak krawędzi i musi ustalić, czy cel ma określoną właściwość, czy też jest -far od posiadania tej właściwości. (Algorytm może zostać poproszony o powodzenie z błędem 1-stronnym lub 2-stronnym.)...
Praca bezpośrednio ze złożonością czasu lub dolnymi granicami obwodu jest przerażająca. Dlatego opracowujemy narzędzia takie jak złożoność zapytań (lub złożoność drzewa decyzyjnego), aby uzyskać kontrolę nad dolnymi granicami. Ponieważ każde zapytanie zajmuje co najmniej jeden krok jednostkowy, a...
Powszechnie wiadomo, że komputery kwantowe są silniejsze niż ich klasyczne odpowiedniki pod względem złożoności zapytań . Czy istnieją inne modele (naturalne lub sztuczne), które są ściśle kwantowe i klasyczne pod względem złożoności zapytań? Separacja może być włączona specyficzne...
Załóżmy, że jest drzewem o stałym stopniu, którego struktury nie znamy. Problem polega na wyprowadzeniu drzewa T przez zadawanie zapytań o postać: „Czy węzeł x leży na ścieżce od węzła a do węzła b ?”. Załóżmy, że na każde zapytanie można odpowiedzieć w stałym czasie przez wyrocznię. Znamy wartość...
Negatywna metoda przeciwnika ( A D V±ZAreV.±ADV^\pm ) to SDP, który charakteryzuje złożoność kwantowych zapytań. Jest to uogólnienie powszechnie stosowanej metody przeciwnika ( ) i pokonuje dwie bariery, które utrudniały metodę przeciwnika:A D VZAreV.ADV Bariera testowania właściwości: jeśli...
tło Binarne drzewo decyzja TTT jest zakorzenione drzewo gdzie każdy węzeł wewnętrzny (i korzeń) jest oznaczony przez indeks w j∈{1,...,n}j∈{1,...,n}j \in \{1,..., n\} taki sposób, że żadna ścieżka od korzenia do liścia nie powtarza indeksu, liście są oznaczone wyjściami w {A,B}{A,B}\{A,B\} , a...
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...
Algorytm testowania dystrybucji dla właściwości dystrybucji P (która jest tylko pewnym podzbiorem wszystkich dystrybucji w ciągu [n]) ma dostęp do próbek zgodnie z pewną dystrybucją D i jest zobowiązany do podjęcia decyzji (whp), czy lub d ( D , P ) > ϵ ( d tutaj jest zwykle odległością ℓ 1 )....
Tło: Złożoność drzewa decyzyjnego lub złożoność zapytań to prosty model obliczeń zdefiniowany w następujący sposób. Niech będzie funkcją logiczną. Deterministyczna złożoność zapytania f , oznaczona jako D ( f ) , jest minimalną liczbą bitów wejścia x ∈ { 0 , 1 } n, które należy odczytać (w...
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,...
Dana Angluin ( 1987 ; pdf ) definiuje model uczenia się z zapytaniami o członkostwo i teoriami (kontrprzykłady do proponowanej funkcji). Pokazuje, że zwykły język reprezentowany przez minimalny DFA z stanów jest możliwy do nauczenia się w czasie wielomianowym (gdzie proponowane funkcje to DFA) z...
Program zakresu to liniowo-algebraiczny sposób określania wprowadzonej tutaj funkcji boolowskiej . Ostatnio model ten został użyty do wykazania, że metoda negatywnego przeciwnika zapewnia ścisłą charakterystykę (przynajmniej do ) złożoności kwantowych zapytań.logn/loglognlogn/loglogn\log n/...
Chociaż znane są wykładnicze separacje między złożonością kwantowych zapytań o ograniczonym ograniczeniu ( Q ( f)Q(f)Q(f) ) a złożonością deterministycznych zapytań ( D ( f)D(f)D(f) ) lub złożonością losowych zapytań o ograniczonym ograniczeniu ( R ( f)R(f)R(f) ), dotyczą one tylko niektórych...
W złożoności drzewa decyzyjnego funkcji boolowskiej bardzo dobrze znaną metodą dolnej granicy jest znalezienie (przybliżonego) wielomianu reprezentującego funkcję. Paturi podał charakterystykę symetrycznych funkcji boolowskich (częściowych i całkowitych) pod względem oznaczonej ilościΓΓ\Gamma:...