Spełnialności problemem jest to, oczywiście, podstawowym problemem teoretycznym CS. Bawiłem się jedną wersją problemu z nieskończenie wieloma zmiennymi. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Podstawowe ustawienia. Niech będzie niepustym i prawdopodobnie nieskończonym...
Ostatnie podejście do tworzenia zdecentralizowanej waluty internetowej, zwanej Bitcoin , wzbudza pewne zainteresowanie. Celem jest posiadanie sposobu na przelewanie waluty bez centralnego organu i bez podwójnych wydatków lub fałszowania. Ich podejście polega na tym, że wszystkie węzły w sieci...
Obliczenia kwantowe to aktywny obszar badań, który ma na celu wykorzystanie fizyki kwantowej (np. Splątanie kwantowe) w celu zwiększenia wydajności komputerów (nie zmienia tezy Kościoła-Turinga ). Jakie są najbardziej znaczące eksperymenty przeprowadzone w celu zademonstrowania teorii obliczeń...
Załóżmy, że otrzymałeś połączony, prosty, niekierowany wykres H. Problem cięcia bez H jest zdefiniowany następująco: Biorąc pod uwagę prosty, nieukierowany wykres G, istnieje cięcie (podział wierzchołków na dwa niepuste zbiory, L, R), tak że oba wykresy indukowane przez zestawy cięcia (L i R)...
Większość stron, które odwiedziłem czytając ten interesujący temat, podaje coś podobnego „jedynymi potęgami dwóch (innych niż 2), które występują w tej sekwencji, są te z głównym wykładnikiem potęgi” (MathWorld) lub „Po 2 sekwencja ta zawiera następujące potęgi 2: [...], które są...
Sieć przełączników (nazwa została wymyślona) składa się z trzech typów węzłów: jeden węzeł początkowy jeden węzeł końcowy jeden lub więcej węzłów Switch Węzeł przełączający ma 3 wyjścia: lewy, górny, prawy; ma dwa stany L i R oraz stan docelowy TL lub TR . Do każdego przełącznika można przejść...
Jakie są najbardziej znane metody cyklicznego splotu długości na małym polu, tj. Kiedy | F | « N ? Szczególnie interesują mnie pola o stałej wielkości, a nawet F = F 2 . Doceniane są ogólne stwierdzenia i referencje dotyczące skuteczności asymptotycznej.nnn|F|≪n|F|≪n|\mathbb{F}| \ll...
Czytając artykuł na temat stosowania metod algebraicznych do wykrywania niektórych indukowanych subgrafów, okazuje się, że ideał krawędzi jest ważnym narzędziem łączącym algebrę komutacyjną i teorię grafów. Skoro nie znam obliczeń obiektów algebraicznych, czy są jakieś dobre odniesienia lub książki...
O ile rozumiem, wszyscy znają deterministyczne reguły przestawne dla algorytmów simpleksowych mają określone dane wejściowe, na których algorytm wymaga czasu wykładniczego (lub przynajmniej nie wielomianowego), aby znaleźć optymalne. Nazwijmy te przypadki „patologicznymi”, ponieważ zwykle (tj. Na...
Wiadomo, że wielkość najmniej -circuits obliczania funkcji parzystości dokładnie równa 3 ( n - 1 ) . Dowód dolnej granicy oparty jest na metodzie eliminacji bramki.U2U2U_23(n−1)3(n−1)3(n-1) Ostatnio zauważyłem, że metoda eliminacji bramki działa dobrze również w przypadku niedeterministycznych...
Chcę dowiedzieć się, czy istnieją jakieś ogólne wyniki lub przykłady dotyczące kompletności NP problemu znalezienia drugiego rozwiązania problemu NP-zupełnego. Dokładniej, jestem zainteresowany wszelkimi problemami następującej formy: Biorąc pod uwagę rozwiązanie na przykład I z NP-pełnej...
Jestem nowy w teorii języków programowania i szukam dobrego zasobu na temat zasobów dla formalnej semantyki języków programowania. Poszukuje strukturalnej semantyki operacyjnej. Mam rekomendacje książek. Ale szukam zasobu na bardziej wstępnym poziomie. Mile widziane są zwłaszcza samouczki, strona...
Kontekst: relacje między logiką a automatami Twierdzenie Büchiego stwierdza, że logika Monadic drugiego rzędu nad łańcuchami (MSO) przechwytuje klasę zwykłych języków. Dowód faktycznie pokazuje, że egzystencjalne MSO ( ∃MSO∃MSO\exists\text{MSO} lub EMSO ) nad łańcuchami wystarczy do...
Czy próbując przekonać ekonomistów o znaczeniu teorii złożoności w druku, istnieje standardowe odniesienie do cytowania? Znam post na blogu Noama Nisana , ankietę Tima Roughgarden i rozdział 11 eseju Scotta Aaronsona . Te posty są dostępne dla informatyków, ale nie używają języka ekonomistów i nie...
Ponieważ termin jest przeciążony, najpierw krótka definicja. Poset jest zbiorem XXX wyposażonym w częściowy porządek ≤≤\le . Biorąc pod uwagę dwa elementy a,b∈Xa,b∈Xa,b \in X , możemy zdefiniować (złączenie) jako ich najmniejszą górną granicę w i podobnie zdefiniować (spełnić) (połączyć) jako...
Co jeśli wiadomo o sparametryzowanej złożoności obliczania numeru przecięcia wykresu (najmniejszej liczby klików potrzebnych do pokrycia wszystkich jego krawędzi)? Od dawna wiadomo, że jest NP-kompletny, i oczywiście FPT, ponieważ ma jądro: jeśli możesz pokryć wykres klikami, to istnieje co...
Wiele lat temu słyszałem, że obliczenie minimalnego NFA (niedeterministycznego automatu skończonego) z DFA (deterministycznego) było otwartym pytaniem, w przeciwieństwie do odwrotnego kierunku, który jest znany od dziesięcioleci i jest dobrze zbadany z wydajnym algorytm. Czy ktoś wymyślił...
Uczyłem dolne granice dzisiaj, a jeden z uczniów zapytał o powód nazwą C . Oficjalne wyjaśnienie jest takie, że „A” oznacza „Alternacja”.AC0AC0AC^0ACACAC Nie pamiętam, jak wiele lat temu powiedziano mi, że Nick Pippenger Steve Cook nazywa się NCNCNC cześć Nicka Pippengera (klasa Nicka), a później...
Powszechnie wiadomo, że jeśli wrzucisz n piłek do n pojemników, najprawdopodobniej w najbardziej załadowanym pojemniku będą znajdować się kulki O(logn)O(logn)O(\log n) . Ogólnie można zapytać o m>nm>nm > n piłek w nnn pojemnikach. Artykuł z RANDOM 1998 autorstwa Raaba i Stegera analizuje to...
I powiedziano, że istnieją dobre wielomianowe algorytmy czasu dla zbliżenia liczbę prostych odcinków w skierowanej wykresie począwszy od danego wierzchołka do danego zakończony wierzchołek T . Czy ktoś zna dobre referencje na ten temat?sssttt Tło: zliczanie dokładnej liczby ścieżek na ogólnym...