Dana jest skierowany acykliczny wykres o numer przypisany do każdego wierzchołka ( g : V → N ), i docelową liczbą T ∈ N .G=(V,E)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N}T∈NT∈NT\in \mathbb{N} Problem sumy podzbioru DAG (może występować pod inną nazwą, odniesienie będzie wielki) pyta, czy istnieją...
Ostatnie pytanie (patrz Konsekwencje NP = PSPACE ) dotyczyło „paskudnych” konsekwencji . W odpowiedziach wymieniono kilka skutków zawalenia, w tym i inne, dostarczając wielu powodów, aby wierzyć .N P = c o N P N P ≠ P S P A C EN.P.= PS.P.A C.miNP=PSPACENP=PSPACEN.P.= c o NP.NP=coNPNP=coNPN.P.≠...
Jest dobrze znane, że dla każdego matroid M.MM żadna funkcja ciężaru www , nie wychodzi algorytm GreedyBasis (M, w )GreedyBasis(M,w)\mbox{GreedyBasis}(M,w) , która zwraca na podstawę maksymalny ciężar MMM . Czy zatem odwrotny kierunek jest również prawdą? Oznacza to, że jeśli istnieje jakiś chciwy...
Niech będzie funkcją większościową, tj. F ( x ) = 1 wtedy i tylko wtedy, gdy ∑ n i = 1 x i > n / 2 . Zastanawiałem się, czy istnieje prosty dowód na następujący fakt (przez „prosty” mam na myśli to, że nie polegałem na metodzie probabilistycznej, jak Valiant 84, ani na sieciach sortujących;...
Ostatnio studiuję model obliczeniowy BSS (por. Na przykład złożoność i obliczenia rzeczywiste; Blum, Cucker, Shub, Smale). Na Real , widoczne jest, że biorąc pod uwagę system wielomianu f 1 , ⋯ , f m ∈ R [ x 1 , ⋯ , x n ] Istnienie zer jest N P R -Complete. Zastanawiam się jednak, czy te f są...
Zwykłym sposobem udowodnienia nierozstrzygalności jest redukcja problemu RE-zupełnego, takiego jak problem zatrzymania, trafność w logice pierwszego rzędu, spełnienie równań diofantycznych itp. Wiadomo, że istnieją rekurencyjnie wyliczalne, ale nierozstrzygalne problemy, które nie są uzupełniane...
Tytuł jest trochę mylący: ale mam nadzieję, że pytanie nie brzmi: Grønlund and Pettie Nowa wynik pokazujący, że 3SUM ma tylko drzewo decyzyjne złożoność got me zastanawiasz się:O ( n3 / 2)O(n3/2)O(n^{3/2}) Czy istnieje prosty przykład problemu ze złożonością drzewa decyzyjnego ale który...
Czytając pytanie Przykłady gdzie wyjątkowość rozwiązania sprawia, że łatwiej znaleźć , nowy (? Łatwiej) pytanie przyszło mi do głowy: Właściwie nie wiemy, czy izomorfizm grafów ( ) problem jest w P .GIGIGIPPP Ale co się stanie, jeśli założymy, że zarówno i G 2 są asymetryczne (tj. Oba mają...
Jakie są typowe kariery dla informatyków teoretycznych (osoby z dyplomem informatyki teoretycznej)? Jakie branże i instytucje szukają teoretycznej wiedzy informatycznej? Jakie kariery zwykle postrzegają informatycy
Powszechnie wiadomo, że złożoność odróżnianie się stronniczy monetę z jednego sprawiedliwego jest θ ( ε - 2 ) . Czy istnieją wyniki dla odróżnienia monety p od monety p + ϵ ? Widzę, że dla specjalnego przypadku p = 0 złożoność będzie wynosić ϵ - 1 . Mam przeczucie, że złożoność będzie zależeć od...
Mam redukcję następującego problemu z partycją do pewnego problemu z planowaniem: Dane wejściowe: lista liczb całkowitych dodatnich w kolejności nie malejącej.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Pytanie: Czy istnieje wektor taki,
Tło: Złożoność drzewa decyzyjnego lub złożoność zapytań to prosty model obliczeń zdefiniowany w następujący sposób. Niech będzie funkcją logiczną. Deterministyczna złożoność zapytania f , oznaczona jako D ( f ) , jest minimalną liczbą bitów wejścia x ∈ { 0 , 1 } n, które należy odczytać (w...
Biorąc pod uwagę algorytm działający w czasie , możemy go przekształcić w „trywialną” rodzinę obwodów jednorodnych dla tego samego problemu wielkości co najwyżej ≈ t ( n ) log t ( n ) .t ( n )t(n)t(n)≈ t ( n ) logt ( n )≈t(n)logt(n)\approx t(n)\log t(n) Z drugiej strony może się zdarzyć, że mamy...
W przypadku problemu z rozszerzeniem otrzymujemy część rozwiązania i chcemy zdecydować, czy możemy go rozszerzyć do kompletnego rozwiązania. Niektóre problemy związane z rozszerzalnością można skutecznie rozwiązać, podczas gdy inne problemy z możliwością rozbudowy przekształcają problem łatwy w...
Czy znasz jakieś problemy (najlepiej przynajmniej nieco dobrze znane), w których dla praktycznego rozmiaru problemu algorytm wykładniczy działa znacznie szybciej niż najbardziej znany odpowiednik czasu wielomianowego. Załóżmy na przykład, że problem ma praktyczny rozmiar * i istnieją dwa znane...
-hierarchy hierarchia klas złożoność w sparametryzowanej złożoności patrz Zoo złożoność definicje. Alternatywna definicja definiuje przy użyciu ważonej definiowalności Fagina dla logiki pierwszego rzędu, patrz podręcznik Fluma i Grohe .W [ t ] W [ t ] Π
Biorąc pod uwagę grupę permutacji na [ n ] = { 1 , ⋯ , n } i dwa wektory u , v ∈ Γ n, gdzie Γ jest skończonym alfabetem, co nie jest tu całkiem istotne, pytanie brzmi, czy istnieje jakieś π ∈ G taki, że π ( u ) = v gdzie π ( u ) oznacza zastosowanie permutacji π na u w oczekiwany...
Czytam artykuł „Fast Paxos” autorstwa Leslie Lamport i utknąłem z dowodami poprawności zarówno klasycznych Paxos, jak i Fast Paxos. Aby zachować spójność, wartość wybrana przez koordynatora w fazie 2 a w rundzie i powinna spełniaćvvv2 a2a2ajaii Dla dowolnej rundy j < i żadna wartość inna niż...
Pisząc mały post na temat złożoności gier wideo Nibbler i Snake ; Odkryłem, że oba mogą być modelowane jako problemy z rekonfiguracją na grafach płaskich; i wydaje się mało prawdopodobne, aby takie problemy nie zostały dobrze zbadane w obszarze planowania ruchu (wyobraź sobie na przykład łańcuch...
Ponieważ interesuję się parserami (głównie gramatykami wyrażeń parsera), zastanawiam się, czy jest jakaś praca, która daje kategoryczne traktowanie parsowania. Wszelkie odniesienia do zastosowania teorii kategorii do analizy składniowej są bardzo mile