Najczęstszy sposób, w jaki wyrocznie występują w teorii złożoności, jest następujący: Stała wyrocznia jest udostępniana, powiedzmy, maszynie Turinga z pewnymi ograniczonymi zasobami, i jedna bada, w jaki sposób wyrocznia zwiększa moc obliczeniową maszyny. Istnieje jednak inny sposób, w jaki...
Po tym, jak tego lata Emo Welzl przemawia na ten temat, wiem, że liczba triangulacji zbioru punktów na płaszczyźnie wynosi między około Ω ( 8,48 n ) a O ( 30 n ) . Przepraszam, jeśli jestem nieaktualny; aktualizacje mile widziane.nnnΩ ( 8,48n)Ω(8.48n)\Omega(8.48^n)O ( 30n)O(30n)O(30^n) Wspomniałem...
Przeszukałem to, ale i tak nie znalazłem odpowiedzi. Huck odpowiedział na to w pełni. Dzięki
Wiem, że PNP[logn]PNP[logn]\mathsf{P}^{\mathsf{NP}[\log n]} (logarytmicznie wiele wywołań do NP oracle) jest równoważne PNP||PNP||\mathsf{P}^{\mathsf{NP}||}(wielomianowa liczba równoległych zapytań do NP oracle). Zastanawiałem się, czy wersja „funkcyjna” tych klas również jest równoważna, to...
To pytanie jest związane z jednym z moich wcześniejszych pytań, trudnymi NP na drzewach . Szukam problemów, które są kompletne P na
Czy byłyby jakieś poważne konsekwencje, gdyby SAT miał co najwyżej podwykładnicze dowody niesatysfakcjonujące, a jeszcze silniej, SAT miałby algorytmy podwykładniczego
Mam poważne problemy ze zrozumieniem jednego kroku w pracy Dobkina i Kirkpatricka o rozdzieleniu wielościanów. Próbuję zrozumieć tę wersję: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf Twierdzi się, że gdy znamy najlepsze oddzielenie PiPiP_{i} i SSS ,...
To pytanie jest inspirowane komentarzem Jukki Suomeli do innego pytania . Jakie są przykłady nieskończenie dużych, ale lokalnie skończonych problemów obliczeniowych (i algorytmów)? Innymi słowy, jakie są przykłady obliczeń, które zatrzymują się w skończonym czasie, w których każda Maszyna...
Zastanów się nad problemem znalezienia maksymalnej liczby rycerzy, którzy mogą zostać postawieni na szachownicy bez atakowania się dwóch z nich. Odpowiedź brzmi 32: nie jest zbyt trudno znaleźć idealne dopasowanie (wykres wywołany ruchami rycerza jest dwustronny, i istnieje idealne dopasowanie dla...
Oświadczenie badawcze JM Siskinda stwierdza: Stalin jest optymalizującym kompilatorem programu Scheme, który wykonuje analizę statyczną całego programu i wykorzystuje wyniki tej analizy do generowania wyjątkowo wydajnego kodu. Stalin wykorzystuje duży zbiór technik analizy statycznej. Wykonuje...
Wdrażam część systemu, która wymaga pomocy. Dlatego kadruję go jako problem graficzny, aby uczynić go niezależnym od domeny. Problem: Otrzymujemy ukierunkowany wykres acykliczny . Bez utraty ogólności załóżmy, że G ma dokładnie jeden wierzchołek źródłowy s i dokładnie jeden wierzchołek tonący ;...
Problem przepustowości wykresu jest zdefiniowany następująco. Biorąc pod uwagę wykres G=(V,E)G=(V,E)G=(V,E) , A układ fff z jest mapowanie jeden do jednego z wierzchołków na całkowite . Pasma określa się jakoG { 1 , … , | V | } fGGGGGG{1,…,|V|}{1,…,|V|}\{1, \ldots,...
Pytanie. W swoim artykule Ulepszona symulacja obwodów stabilizatora , Aaronson i Gottesman twierdzą, że symulacja obwodu CNOT jest zakończona w ⊕L (przy zmniejszeniu przestrzeni logarytmicznej). Oczywiste jest, że jest on zawarty w ⊕L ; jak zachowuje się wynik twardości? Równoważnie: czy...
W pracy Ben-Dor / Halevi [1] podano kolejny dowód na to, że stały jest -kompletny. W dalszej części artykułu pokazano łańcuch redukcji IntPerm ∝ NoNegPerm ∝ 2PowersPerm ∝ 0/1-Perm, podczas gdy wartość stała jest zachowana wzdłuż łańcucha. Ponieważ liczba satysfakcjonujących przypisań wzoru 3SAT...
Interesuje mnie wczesna historia opublikowanych wyników dotyczących kompromisów czasoprzestrzennych ogólnego przeznaczenia. W szczególności chcę wiedzieć, kto jako pierwszy opisał następujący typ algorytmu do oceny obliczeń posiadających dowolny wykres przepływu danych z O-stopniem (1),...
To nie jest praca domowa, choć na to wygląda. Wszelkie odniesienia są mile widziane. :-) Scenariusz: Istnieje nnn różnych piłek i nnn różnych pojemników (oznaczonych od 1 do nnn , od lewej do prawej). Każda piłka jest rzucana niezależnie i równomiernie do koszy. Niech f(i)f(i)f(i) będzie liczbą...
Zastanawiam się, jak znaleźć obwód rzadkiego niekierowanego wykresu. Przez rzadki mam na myśli . Przez optymalne rozumiem najmniejszą złożoność czasową.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Myślałem o pewnej modyfikacji algorytmu Tarjana dla niekierowanych grafów, ale nie znalazłem dobrych wyników....
(już pytałem na głównej stronie , ale proszę również tutaj o lepszy zasięg, przepraszam) Ponieważ wiedziałem o zwięzłych strukturach danych, rozpaczliwie potrzebuję dobrego przeglądu najnowszych osiągnięć w tej dziedzinie. Poszukałem google i przeczytałem wiele artykułów, które mogłem zobaczyć na...
O ile wiem, prawie wszystkie implementacje QKD wykorzystują algorytm CASCADE Brassarda i Salvaila do korekcji błędów. Czy to naprawdę najbardziej znana metoda poprawiania błędów we wspólnej sekwencji losowych kubitów, czy może jest lepsza propozycja, aby zamiast tego stosować implementacje...
Jaka jest złożoność obliczeniowa optymalizacji różnych funkcji w grupie jednolitej ?U(n)U(n)\mathcal{U}(n) Typowe zadanie, często wynikające z teorii informacji kwantowej byłoby maksymalizując ilość typu (lub wyższych wielomiany rzędu w U ) w stosunku do wszystkich macierze jednostkowe U . Czy...