Przeglądam notatki z kursu na CIS 500: podstawy oprogramowania i ćwiczenia są świetną zabawą. Jestem dopiero na trzecim zestawie ćwiczeń, ale chciałbym dowiedzieć się więcej o tym, co się dzieje, gdy używam taktyki do udowodnienia, żeforall (n m : nat), n + n = m + m -> n =...
W klasycznym artykule Andrew Chi-Chiha Yao z 1979 r. Nawiązuje do „MO Rabin i AC Yao w przygotowaniu”. Wynika to z tego, że złożoność komunikacji z błędem ograniczonym funkcji równości EQ (czy dwie liczby całkowite z zakresu od do są równe) wynosi .NN_N000N−1N−1N-1O(loglogN)O(loglogN)O(\log\log...
To pytanie dotyczy złożoności obwodu. (Definicje znajdują się na dole). Yao Beigel-Tarui wykazała, że każdy C C 0 rodziny obwód wielkość y jest równoważny rodziny obwodu o rozmiarze s s O l r ( log s ) głębokości dwóch , w którym brama wyjściowa jest funkcją symetryczną, a drugi etap składa od N D...
Mimo kilku lat zajęć wciąż nie mogę się zdecydować na temat badań. Przeglądałem artykuły z różnych dziedzin i rozmawiałem z profesorami i zaczynam myśleć, że to niewłaściwe podejście. Czytałem, że pomaga znaleźć interesujący problem (bez względu na obszar), a następnie pracować nad tym....
Moje pytanie jest proste: Jaki jest najgorszy czas z najbardziej znanych algorytm działa dla wyliczania eigendecomposition danego matrycy?n×nn×nn \times n Czy skład eigend redukuje się do mnożenia macierzy, czy w najgorszym przypadku są najlepiej znanymi algorytmami (przez SVD...
Chciałbym zrozumieć Applicativew kategoriach teorii kategorii. Dokumentacja dla Applicativetwierdzi, że jest to silny funktor LAX monoidal . Po pierwsze, strona Wikipedii o funktorach monoidalnych mówi, że funktor monoidalny jest luźny lub silny . Wydaje mi się więc, że jedno ze źródeł jest...
To jest cross-post z math.stackexchange. Niech FACT oznaczają problemu faktoringowej całkowitą: podany znaleźć liczb pierwszych p i ∈ N , a całkowite e I ∈ N , tak, że N = Π k i = 0 p e ı ı .n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in...
Czy istnieją znane algorytmy porównywania, które nie ograniczają się do sortowania sieci, tak że każdy element jest porównywany razy?O ( logn )O(logn)O(\log n) O ile mi wiadomo, jedynym sposobem sortowania za pomocą porównania na każdym elemencie jest zbudowanie sieci sortującej AKS dla danych...
Jakie są zastosowania kodów korekcji błędów w teorii oprócz samej korekcji błędów? Jestem świadomy trzech zastosowań: twierdzenia Goldreicha-Levina o twardym rdzeniu, konstrukcji ekstraktora Trevisana i wzmocnienia twardości funkcji boolowskiej (autor: Sudan-Trevisan-Vadhan). Jakie są inne...
Powszechnie uważa się, że dla wszystkich ϵ > 0ϵ>0\epsilon > 0 możliwe jest pomnożenie dwóch macierzy n × nn×nn \times n w czasie O ( n2 + ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) . Trochę dyskusji jest tutaj . Zapytałem niektórych ludzi, którzy są bardziej zaznajomieni z badaniami, czy myślą, że...
Dlaczego większość ludzi woli stosować redukcje wielokrotne jeden do zdefiniowania kompletności NP zamiast, na przykład, redukcji
Wykres jest kkk wyboru (znany również jako kkk -list-colorable ), jeśli dla każdej funkcji fff która odwzorowuje wierzchołki na zestawy kkk kolorów, istnieje przypisanie kolorów ccc tak że dla wszystkich wierzchołków vvv , c(v)∈f(v)c(v)∈f(v)c(v)\in f(v) i takie, że dla wszystkich krawędzi vwvwvw ,...
Jestem doktorantem trzeciego roku z zakresu teoretycznego CS, który chciałby uzyskać porady dotyczące trudnej sytuacji z moim doradcą. Mój doradca w ogóle nie bierze udziału w moich projektach badawczych. W szczególności wymyśliłem wszystkie moje pomysły na papier i wykonałem je sam. Zawsze jednak...
Niech PRIMES (inaczej testowanie pierwotności ) będzie problemem: Biorąc pod uwagę liczbę naturalną , czy n jest liczbą pierwszą?nnnnnn Niech FACTORING będzie problemem: Biorąc pod uwagę liczby naturalne , m przy 1 ≤ m ≤ n , czy n ma współczynnik d przy 1 < d < m ?nnnmmm1≤m≤n1≤m≤n1...
Ryan Williams właśnie opublikował swoją dolną granicę na ACC , klasie problemów, które mają obwody o stałej głębokości z nieograniczonym wachlowaniem i bramkami AND, OR, NOT i MOD_m dla wszystkich możliwych m. Co jest takiego specjalnego w bramach MOD_m? Pozwalają symulować arytmetykę na...
Dowód Adlemana, że jest zawarty w pokazuje, że jeśli istnieje algorytm losowy dla problemu, który działa w czasie na wejściach o rozmiarze , to istnieje również algorytm deterministyczny dla problemu, który działa w czasie na materiale o wielkości [algorytm prowadzi randomizowane algorytm na...
Szukam ostatecznej odpowiedzi na pytanie, czy generowanie „prawdziwie losowych” liczb jest obliczalne przez Turinga. Nie wiem, jak to dokładnie sformułować. Pytanie StackExchange dotyczące „wydajnych algorytmów do generowania liczb losowych” jest bliskie odpowiedzi na moje pytanie. Charles Stewart...
Czy są jakieś odniesienia (online lub w formie książkowej), które organizują i omawiają twierdzenia TCS techniką dowodową? Garey i Johnson robią to dla różnych rodzajów konstrukcji widżetów potrzebnych do potwierdzenia kompletności NP (szczególnie w rozdziale 3 ich książki), ale zastanawiam się,...
Czasami twierdzi się, że teoria złożoności geometrycznej Ketana Mulmuleya jest jedynym wiarygodnym programem do rozstrzygania otwartych pytań teorii złożoności, takich jak pytanie P vs. NP. Było wiele pozytywnych komentarzy od słynnych teoretyków złożoności na temat programu. Według Mulmuleya...
Niedawno to usłyszałem - „Maszyna niedeterministyczna to nie to samo, co maszyna probabilistyczna. Mówiąc prymitywnie, maszyna niedeterministyczna to maszyna probabilistyczna, w której prawdopodobieństwa przejścia nie są znane”. Czuję, że rozumiem, ale tak naprawdę nie. Czy ktoś mógłby mi to...