I ustalić język regularny na alfabetem , i rozważmy następujący problem, który ja nazywam się harmonogram dla . Nieoficjalnie, dane wejściowe dają mi liter i odstępy dla każdej litery (tj. Minimalną i maksymalną pozycję), a moim celem jest umieszczenie każdej litery w tym przedziale, tak aby żadne...
Minęło ponad rok od wycofania i korekty w styczniu 2017 r. Czy są jakieś wiadomości? Jeśli nie, czy to normalne, że walidacja trwa tak długo? Spodziewałbym się, że zyska dużo uwagi. Czy ktoś z ważnych osób wypowiedział się, by poprzeć / wątpić w quasi-wielomianowy...
Najnowszy i niezwykle zręczny dowód domniemania wrażliwości opiera się na wyraźnej * konstrukcji macierzy An∈{−1,0,1}2n×2nAn∈{−1,0,1}2n×2nA_n\in\{-1,0,1\}^{2^n\times 2^n} , zdefiniowanej rekurencyjnie w następujący sposób: A1=(0110)A1=(0110)A_1 = \begin{pmatrix} 0&1\\1&0\end{pmatrix} oraz dla...
Dokładne sformułowanie tytułu należy do Ananda Kulkarniego (który zaproponował utworzenie tej strony). To pytanie zostało zadane jako przykładowe, ale jestem niesamowicie ciekawy. Wiem bardzo mało o geometrii algebraicznej, a tak naprawdę posiadam jedynie pobieżne, licencjackie rozumienie przeszkód...
x∈Rnx∈Rnx \in \mathbb{R}^nA x A R n R ≪ n A k∥x∥0<k‖x‖0<k\|x\|_0 < kAxAxAxAAARRRnnnR≪nR≪nR \ll nAAAkkk- rzadkie z tak małym jak . Mogę nie mieć najlepiej znanych parametrów, ale to jest ogólny pomysł.R O ( k n o ( 1 ) )xxxRRRO(kno(1))O(kno(1))O(k n^{o(1)}) Moje pytanie brzmi: czy istnieją...
Scott Aaronson zaproponował interesujące wyzwanie : czy możemy dziś wykorzystać superkomputery, aby pomóc rozwiązać problemy z CS w taki sam sposób, w jaki fizycy używają zderzaczy dużych cząstek? Mówiąc konkretniej, moja propozycja polega na poświęceniu części światowej mocy obliczeniowej na...
Jest to zgodne z „ Algorytmami z książki ”. Chociaż redukcje są również algorytmami, pomyślałem, że wątpliwe jest, aby pomyśleć o redukcji w odpowiedzi na pytanie o algorytmy z książki. Stąd osobne zapytanie! Wszelkie redukcje są mile widziane. Zacznę od bardzo prostej redukcji od osłony...
Oryginalne twierdzenie o niedeterministycznej hierarchii czasu wynika z Cooka (link do S. Cooka, Hierarchia niedeterministycznej złożoności czasu , JCSS 7 343–353, 1973). Twierdzenie to stwierdza, że dla dowolnych liczb rzeczywistych i , jeśli wówczas NTIME ( ) jest ściśle zawarty w NTIME ( ).r 2...
Oto kilka sposobów analizy czasu działania algorytmu: 1) Analiza najgorszego przypadku: czas działania w najgorszym przypadku. 2) Analiza średnich przypadków: oczekiwany czas działania w przypadkowej instancji. 3) Amortyzowana analiza: średni czas działania w najgorszej sekwencji przypadków. 4)...
Jakie są podstawowe odniesienia? Czy są jakieś dobre, wysokopoziomowe ankiety dotyczące SGT i jego zastosowań w CS w ogóle, a bardziej konkretnie w uczeniu
W 1999 r. Petra Schuurman i Gerhard J. Woeginger opublikowali artykuł „Wielomianowe algorytmy aproksymacji czasu dla szeregowania maszynowego: dziesięć otwartych problemów” . Od tego czasu, o ile mi wiadomo, nie pojawiły się recenzje, które dotyczyłyby tej samej listy problemów. Byłoby więc...
Nie do końca rozumiem, dlaczego prawie wszystkie solwery SAT używają CNF zamiast DNF. Wydaje mi się, że rozwiązywanie SAT jest łatwiejsze przy użyciu DNF. W końcu musisz tylko przejrzeć zestaw implantów i sprawdzić, czy jeden z nich nie zawiera zarówno zmiennej, jak i jej negacji. W przypadku CNF...
Co wiadomo na temat złożoności czasowej następującego problemu, który nazywamy 3-MUL? Biorąc pod uwagę zestaw z liczb całkowitych, czy są elementami taki sposób, że ?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Ten problem jest podobny do problemu 3-SUM, który pyta, czy istnieją trzy elementy tak,...
Peter Shor poruszył interesujący punkt w związku z próbą odpowiedzi na wcześniejsze pytanie dotyczące złożoności rozwiązania kostki Rubika n×n×nn×n×nn \times n \times n . Podjąłem dość naiwną próbę wykazania, że musi być zawarta w NP. Jak zauważył Peter, moje podejście w niektórych przypadkach...
To pytanie dotyczy związku między normalnym mnożeniem liczb binarnych a wielomianowym mnożeniem mod 2. Aby uczynić pytanie konkretnym, idealnie chciałbym wiedzieć, czy istnieje lepsze rozwiązanie pytania z Knuth vol. 2, wydanie trzecie, strona 420 niż podano w książce. „Czy mnożenie wielomianów...
W ostatnich miesiącach zacząłem wykładać na temat wyboru społecznego, twierdzenia strzały i powiązanych wyników. Po przeczytaniu o przełomowych wynikach zadałem sobie pytanie, co dzieje się z częściowymi preferencjami porządku, odpowiedź znajduje się w pracy Pini i in. : Agregowanie częściowo...
Właśnie zdałem sobie sprawę, że zakładam, że odpowiedź na moje pytanie brzmi „tak”, ale nie mam dobrego powodu. Wyobrażam sobie, że może istnieje śmieciarz, który prawdopodobnie wprowadza tylko spowolnienie w najgorszym przypadku. Czy istnieje ostateczne odniesienie, które mogę zacytować? W moim...
To pytanie stanowi odpowiedź na pytanie o algorytmy DNA zadane przez Aaditę Mehrę . W komentarzach Joe Fitzsimmons powiedział częściowo: Promień układu musi być skalowany proporcjonalnie do masy, aby tego uniknąć. Moc obliczeniowa jest skalowana co najwyżej liniowo w masie. Zatem twoja...
Po przeczytaniu tej odpowiedzi jakiś czas temu zainteresowałem się w pełni homomorficznym szyfrowaniem. Po przeczytaniu wstępu pracy Gentry'ego zacząłem się zastanawiać, czy jego schemat szyfrowania może zostać użyty do nieświadomego wykonania kodu, jak określono w trzecim akapicie. W całkowicie...
W złożoności obliczeniowej optyki liniowej ( ECCC TR10-170 ) Scott Aaronson i Alex Arkhipov twierdzą, że jeśli komputery kwantowe mogą być skutecznie symulowane przez klasyczne komputery, hierarchia wielomianowa upadnie na trzeci poziom. Problemem motywującym jest próbkowanie z rozkładu określonego...