tło Obwód złożoność C 0 jest zdefiniowany jako zbiór rodzin obwodu (tj sekwencje obwodów, po jednym dla każdej wielkości wejściowej) o ograniczonej głębokości i wielomianu wielkości zbudowany przy użyciu nieograniczona fan-in AND, OR i NOT.AC0ZAdo0AC^0 Funkcja parzystości z wejściem n- bitowym...
W poprzednim pytaniu dotyczącym hierarchii czasu dowiedziałem się, że równości między dwiema klasami mogą być propagowane do bardziej złożonych klas, a nierówności mogą być propagowane do mniej złożonych klas, z argumentami wykorzystującymi wypełnianie. Dlatego przychodzi mi na myśl pytanie....
Niech będzie zrootowanym drzewem binarnym. Każda ścieżka od nasady do liścia ma długość . Każdy węzeł ma zawsze lewy i prawy węzeł potomny, ale możliwe jest, że są one takie same (więc zawsze możliwe są ścieżki). Rozmiar jest ograniczony przez . Węzeł z różnymi węzłami potomnymi nazywa się węzłem...
To pytanie jest w tym samym duchu, co inspirująca rozmowa dla uczniów ostatniej klasy liceum . Mój doktorat doradca poprosił mnie o przeprowadzenie inspirującej rozmowy dla nowego mgr inż. studenci Tematem są podstawy kryptografii , co najlepiej ilustruje książka Goldreicha . Rozmowa zajmie około...
Przeczytałem trochę o następujących strukturach danych: Bagwell's Ideal Hash Próby Dynamiczne tabele skrótów Larsona Czerwono-czarne drzewa Drzewa Patricia ... i jestem pewien, że jest tam wielu innych. Niewiele widziałem na temat tego, do czego każdy jest bardziej odpowiedni, ani dlaczego...
W tym pytaniu wspomniano, że istnieją opisowe wersje złożoności twierdzenia Rice'a. Znalazłem dowód na następujące twierdzenie: Biorąc pod uwagę klasę złożoności C , nietrywialnych właściwości języków w C nie można obliczyć w C Wcześniej opublikowałem znaleziony dowód, ale ponieważ był on tak...
Mam następującą teorię maszynową |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) z równaniami dla wszystkich terminów: f : A -> B, g : B -> C, h : C -> D |- compose(h,compose(f,g)) = compose(compose(h,f),g) f...
Biorąc pod uwagę skończoną płaszczyznę, mam sześciokątną teselację tej płaszczyzny z regularnym sześciokątem o stałej wielkości. Następnie obliczam wykres G Delaunaya dla teselacji. Biorąc pod uwagę taki wykres G, usuwam określone zestawy węzłów na tym wykresie, aby uzyskać wiele podgraphów G....
Opis problemu: Pozwolić MMM być (potencjalnie niedeterministycznym) automatem wypychającym i pozwól AA\cal Abyć jego alfabetem wejściowym. Czy jest jakieś słowo?w∈A∗w∈A∗w \in \cal A^* św |w|≤k|w|≤k|w| \leq k które jest akceptowane przez MMM ? Czy ten problem NP-jest kompletny? Czy zostało to...
Które klasyfikatory uczenia maszynowego są najbardziej równoległe? Jeśli miałbyś trudny problem z klasyfikacją, ograniczony czas, ale przyzwoitą sieć LAN komputerów do pracy, z jakimi klasyfikatorami byś spróbował? Z drugiej strony wygląda mi to na kilka standardowych klasyfikatorów, które znam w...
David Rodríguez - dribeas napisał w komentarzu do StackOverflow, że „Nie wszystkie kolekcje można zaimplementować bez blokad”. Nie jestem pewien, czy to prawda, i tak nie mogę znaleźć dowodu. To stwierdzenie nie jest zbyt precyzyjne, ale pozwól mi spróbować sformułować je w nieco bardziej formalny...
Przeciętna norma ||A||C||ZA||do||A||_C rzeczywistej macierzy A=(ai,j)∈Rn×nZA=(zaja,jot)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n} jest maksimum we wszystkich I⊆ [ n ] ,J⊆ [ n ]ja⊆[n],jot⊆[n]I \subseteq [n], J \subseteq [n] ilości ∣∣∑i ∈I, j ∈ Jzaja , j∣∣|∑ja∈ja,jot∈jotzaja,jot|\left|\sum_{i \in...
Biorąc pod uwagę obwód logiczny na zmiennych (który używa tylko bramek NOT, AND i OR), jaki jest najbardziej skuteczny sposób na wyodrębnienie wzoru logicznego reprezentowanego przez obwód? Czy istnieje algorytm polimeime dla tego
Przeglądałem przełomowy artykuł Les Valiant i ciężko mi było spędzić czas z Propozycją 4.3 na stronie 10 tego artykułu. Nie rozumiem, dlaczego jest tak, że jeśli istnieje generator z pewnymi wartościami dla na podstawie { ( a 1 , b 1 ) … ( a r , b r ) } , to istnieje jakiś generator z tym samym v...
Czy istnieje sposób, w jaki przysłowie może przekonać weryfikatora, że niektóre wyrażenia HORN-SAT są zadowalające? Oczywiście może się to wydawać głupie, ponieważ istnieją algorytmy czasu liniowego dla HORN-SAT. Z drugiej strony HORN-SAT jest P-zupełny, co oznacza, że nie ma algorytmów...
MCTS / UCT to metoda wyszukiwania drzewa gry, która wykorzystuje algorytm bandyty do wybierania obiecujących węzłów do eksploracji. Gry są rozgrywane losowo, a węzły prowadzące do większej liczby zwycięstw są eksplorowane bardziej intensywnie. Algorytm bandytów utrzymuje równowagę między...
Sumę Minkowskiego dwóch zbiorów wektorów podajeA , B ∈ RreA,B∈RdA, B \in R^d A ⊕ B = { a + b ∣ a ∈ A , b ∈ B }A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} Właśnie usłyszałem interesujący problem (przypisany Danowi Halperinowi): Czy mając kształt , istnieje taki kształt , że ?A...
Bawiłem się bardzo interesującym i wciąż otwartym pytaniem „ Alfabet maszyny Turinga na jedną taśmę ” (autor: Emanuele Viola) i wymyśliłem następujący język: L = { x ∈ { 0 , 1 }n st | x | = n = 2m i c o u n t 1 ( x ) = k ∗ m ;n , m , k ≥ 1 }L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L =...
Jestem samoukiem, profesjonalnym programistą. Jestem w tym całkiem dobry (Ruby, Unix, Clojure, Java, Objective-C), ale teraz myślę o przeniesieniu go na wyższy poziom, być może ubiegając się o studia magisterskie lub doktoranckie w CS. Jakie tematy matematyczne powinienem studiować, aby przygotować...
Interesują mnie wyraźne przykłady wykresów, dla których zastosowanie algorytmu Goemansa i Williamsona do przybliżania maksymalnych cięć skutkuje współczynnikiem aproksymacji 0,878… Algorytm do tworzenia takich instancji byłby idealny, wyraźne przykłady i referencje są...