Wejściowego, to świat i rodzina podzbiorów , powiedzmy, . Zakładamy, że w podzbiory może obejmować , czyli .UUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Przyrostowe sekwencja Pokrycie jest ciągiem podzbiorów w , powiedzmy, , który spełniafaF{\cal F}ZA=...
Czy istnieją problemy NP pełne (a nawet trudne NP lub NP), które mają dobre właściwości topologiczne do zbadania. Czy problemy NP mają formuły teoretyczne węzłów? Wiemy o wynikach # dotyczących wielomianu Jonesa. Problemy z grafem (osadzanie?), A konkretnie kolorowanie grafów może mieć dobre...
Jestem pewien, że nie jako pierwszy rozważyłem pomysł, który zamierzam przedstawić. Przydałoby się jednak znalezienie literatury związanej z tym pomysłem. Chodzi o to, aby zbudować Maszynę Turinga M z właściwością, że jeśli P = NP, wówczas M rozwiąże 3-SAT w czasie wielomianowym. (Wybór 3-SAT jest...
Jak wykazać, że pewna właściwość nie może być wyrażona w 2-CNF (2-SAT)? Czy są jakieś gry, takie jak gry z kamieniami? Wygląda na to, że klasyczna gra w czarne kamyki i gra w czarno-białe kamyki są do tego nieodpowiednie (są one kompletne w PSPACE, według Hertela i Pitassi, SIAM J z Computing,...
Niech będzie funkcją logiczną o czułości s ( f ) i czułości bloku b s ( f ) .fafafs ( f)s(fa)s(f)b s ( f)bs(fa)bs(f) Hipoteza domniemania czułości według bloku czułości stwierdza, że istnieje takie, że ∀ f , b s ( f ) ≤ s ( f ) c .c > 0do>0c>0∀ f, b s ( f ) ≤ s (...
Niech będzie stałą. Jak możemy w sposób wiarygodny skonstruować pseudolosowy generator, który oszuka -state skończone automaty?dreddredd Tutaj automat skończony -state ma węzły, węzeł początkowy, zestaw węzłów reprezentujących stany akceptacji i dwie skierowane krawędzie oznaczone 0, 1 wychodzące...
Nie jestem teoretycznym informatykiem. Jestem stabilnym teoretykiem homotopii, posługującym się kategoriami . Widziałem zastosowań teorii teorii kategorii i topos teoretycznej informatyki, a ja zastanawiałem się, czy istnieje jakikolwiek sposób można użyć ∞ -categories (i korzystnie dla mnie,...
Czy istnieją przykłady praktycznych zastosowań gier parzystych, tj. Systemów w świecie rzeczywistym, które można przedstawić jako gry parzyste? Zwykle powiązana dokumentacja dotycząca gier z parzystością prawie nigdy nie jest praktycznym przykładem tej
Próbowałem owinąć głowę wokół tego, co, dlaczego i jak rachunek, ale nie jestem w stanie poradzić sobie z „dlaczego to działa”?λλ\lambda „Intuicyjnie” dostaję model obliczeniowy Turing Machines (TM). Ale ta abstrakcja wprawia mnie w zakłopotanie.λλ\lambda Załóżmy, że bazy danych nie istnieją -...
W artykule „O złożoności niektórych gier koloryzujących” Bodlaender podaje kilka otwartych pytań na temat złożoności decydowania, czy gracz 1 lub 2 ma strategię wygrywającą w niektórych grach kolorystycznych. Czy ktoś wie, czy zostały rozwiązane? 1) W jednej grze dwóch graczy wybiera kolejno jeden...
Naturalna bariera dowodowa Razborova i Rudicha mówi, że przy wiarygodnych założeniach kryptograficznych nie można mieć nadziei na oddzielenie NP od P / poli poprzez znalezienie kombinatorycznych właściwości funkcji, które są konstruktywne, duże i użyteczne. Istnieje kilka dobrze znanych wyników,...
Czy są jakieś algorytmy zmiany kolejności danych w celu optymalizacji pod kątem kompresji? Rozumiem, że jest to specyficzne dla danych i algorytmu kompresji, ale czy jest jakieś słowo na ten temat? Gdzie mogę znaleźć badania w tej dziedzinie? W szczególności mam listę jsonów o wartości 1,5 miliona...
Jakie są problemy z następującymi właściwościami: 1) są ograniczeniem (prawdopodobnie dobrze znanych) problemów, które są kompletne z PSPACE; 2) wersje ograniczone są w PSPACE, ale jest to otwarty problem, jeśli są one kompletne (lub nawet jeśli są trudne w wersji NP). Cztery przykłady z „puzzli...
Czytam ankiety Trevisana i Lovetta dotyczące zastosowań dodatku kombinatorycznego w TCS. Większość tych aplikacji ma złożoność obliczeniową , np. Niższe granice. Zastanawiam się, czy kombinatoryka addytywna znalazła również zastosowania w projektowaniu algorytmów . Motywacja mojego pytania jest...
Pomyśl o modelu sondy komórkowej. Czy istnieje struktura danych, która może przydzielić ciągłe fragmenty pamięci o dowolnej długości (jak np. Malloc w C) i zwolnić je, unikając segmentacji pamięci, i wykonuje każdą operację w najgorszym przypadku deterministycznym czasie O (log n), gdzie n jest...
Szukam listy o znanej lub nieznanej złożoności różnych problemów teoretycznych / algebraicznych. Na przykład, GCD w jest otwarty,N.do1NC1NC^1 faktoring w jest otwarty,P.PP obliczanie kohomologii snopów to -hard# P#P\#P , Arora i Barak stwierdzają, że wariant faktoringu jest -Complete (choć nie...
Wiadomo, że dodanie randomizacji błędu ograniczonego do PSPACE nie dodaje mocy. Oznacza to, że BPPSAPCE = PSPACE. Nie wiadomo, czy P = BPP, ale wiadomo, że .B P.P.⊆ Σ2)∩ Π2)BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Jest zatem możliwe (choć przypuszcza się, że jest to fałsz), że dodanie...
Jakie są niektóre (mało znane) twierdzenia, że jeśli prawda, PH musi się załamać? Docenia się odpowiedzi zawierające krótkie stwierdzenie wysokiego poziomu z referencjami. Próbowałem przeszukać wstecz bez większego
Niech zostanie naprawione, a będzie (połączonym) wykresem. Jeśli się nie mylę, z pracy Bodlaendera [1, Twierdzenie 3.11] wynika, że jeśli szerokość wynosi w przybliżeniu co najmniej , wówczas zawiera gwiazdę jako pomniejszą.G G 2 k 3 G K 1 , kkkksolGGsolGG2 tys3)2k32k^3solGGK.1 ,...
oznacza N P ⊆ P / P O l y , który z kolei ma wpływ interesujące jak załamania wielomianu hierarchii.P/poly=NP/polyP/poly=NP/polyP/poly = NP/polyNP⊆P/polyNP⊆P/polyNP \subseteq P/poly Czy są interesujące implikacje dla ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq