Załóżmy, że . N P ja to klasa problemów w N P , które nie są ani w P ani w N P -hard. Listę problemów, które można przypuszczać, że są N P I tutaj .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Twierdzenie Ladnera mówi nam, że...
Wiadomo, że barwniki krawędzi grafu są barwniki wierzchołku specjalnej wykresu, a mianowicie na wykresie linia L ( G ) o G .GGG L(G)L(G)L(G)GGG Czy istnieje operator wykresu taki, że zabarwienie wierzchołków wykresu G jest zabarwieniem krawędzi wykresu Φ ( G ) ? Interesuje mnie taki operator...
n×nn×nn\times nlog2(n)log2(n)\log^2(n)111∥A∥≤1‖A‖≤1\left\|A\right\|\leq 11/poly1/poly1/\text{poly} W związku z tym, o jakie „poprawne” przybliżenie należy zapytać - multiplikatywne lub addytywne? (patrz jedna z odpowiedzi
Ukazał się nowy artykuł, w którym twierdzono, że quasi-wielomianowy algorytm jest logarytmem dyskretnym. http://arxiv.org/abs/1306.4244 Jeśli jest poprawny, czy oznacza to, że nie mamy już wykładniczej separacji złożoności klasycznego algorytmu i jego wersji kwantowej dla problemu logarytmu...
Zastanawiam się, czy są jakieś dokumenty lub badania dotyczące widocznych automatów przesuwających w dół, ale pozwalające na wypychanie słów zamiast pojedynczych liter na stos. Alternatywnie, konstrukcja umożliwiająca wypychanie symboli na -transitions może osiągnąć ten sam...
Każdy płaski odpowiednio outerplanar wykres spełnia , odpowiednio | E ′ | ≤ 2 | V ′ | - 3 dla każdego podgrafu G ' = ( V ' , E ' ) z G . Również (zewnętrzne) wykresy płaskie można rozpoznać w czasie wielomianowym.G=(V,E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le...
W pracy „Efficient Al Algorytm for Graph Isomorphism” autorstwa Corneila i Gotlieba, 1970, stwierdzono hipotezę, na której opierał się algorytm rozwiązywania GI w czasie wielomianowym. Mianowicie: że reprezentatywne wykresy wykazują podział automorfizmu na dany wykres Oczywiście, ta hipoteza...
To pytanie jest prawdopodobnie na granicy między tematem i nie na temat, jednak widziałem tutaj podobne pytania, dlatego zadam to pytanie. Ja realizacji Unikalny kkk -sat solver, którego wejście jest kkk wzór -cnf o co najwyżej 111 spełniająca zadania. Aby przetestować jego praktyczne...
Zaproponowano mi nauczenie nowatorskiego programu szkoły średniej TCS, który wymaga opracowania programu nauczania. Bardzo chciałbym usłyszeć opinie i sugestie dotyczące tego. Po pierwsze, czy ktoś wie o szkołach średnich, w których program TCS był nauczany z powodzeniem (lub bez...
Jest tylko bardzo mało informacji na temat kompletnego NP rozwiązania problemu liniowego równania diofantyny w liczbach całkowitych nieujemnych. To znaczy, czy jest to rozwiązanie w nieujemne x1,x2,...,xnx1,x2,...,xnx_1,x_2, ... , x_n do równania , gdzie wszystkie stałe są dodatnie? Jedyną godną...
Gowers przedstawił ostatnio problem, który nazywa „dyskretną determinacją Borela”, którego rozwiązanie dotyczy dolnych granic obwodu dowodzenia. Czy możesz podać podsumowanie podejścia, które jest dostosowane do grupy teoretyków złożoności? Co potrzeba, aby to podejście wykazało cokolwiek , w tym...
Jednoznaczne automaty skończone (UFA) są specjalnym typem niedeterministycznych automatów skończonych (NFA). NFA jest nazywany jednoznacznym, jeśli każde słowo ma co najwyżej jedną ścieżkę akceptującą.w ∈ Σ∗w∈Σ∗w\in \Sigma^* Oznacza to, .D F.A ⊂ UfaA ⊂ NfaZArefaZA⊂UfaZA⊂N.faZADFA\subset...
Szukam problemów, które są znane jako NPC dla grafów kierowanych, ale mają algorytm wielomianowy dla grafów bezkierunkowych. Widziałem pytanie dotyczące odwrotnych problemów, które są łatwiejsze niż ich „niekierowany” wariant , ale szukam twardości po stronie ukierunkowanej. Na przykład, zestaw...
Kiedy patrzymy na książkę, teoria typów homotopii - widzimy następujące tematy: Homotopy type theory 2.1 Types are higher groupoids 2.2 Functions are functors 2.3 Type families are fibrations 2.4 Homotopies and equivalences 2.5 The higher groupoid structure of type formers 2.6 Cartesian product...
Twierdzenia o hierarchii są podstawowymi narzędziami. Wiele z nich zebrano we wcześniejszym pytaniu (patrz Jakie hierarchie i / lub twierdzenia dotyczące hierarchii znasz? ). Niektóre separacje klas złożoności wynikają bezpośrednio z twierdzeń hierarchicznych. Przykłady takich dobrze znanych...
Osłona krawędzi jest podzbiorem krawędzi wykresu, tak że każdy wierzchołek wykresu sąsiaduje z co najmniej jedną krawędzią okładki. Poniższe dwa artykuły mówią, że liczenie krawędzi jest zakończone #P : Prosty FPTAS do zliczania krawędzi i generowania krawędzi krawędzi wykresów ścieżek . Jednakże,...
Czy NP jest w DTIME(npolylogn)DTIME(npolylogn)DTIME(n^{poly\log n})
Interesuje mnie, czy istnieją jakieś dobre artykuły ekspozycyjne lub ankiety, do których mogę się odnieść, pisząc o operatorach klas złożoności : operatorach, które przekształcają klasy złożoności, np. Dodając do nich kwantyfikatory. Przykłady operatorów Poniższe można interpretować jako...
Próbuję zrozumieć złożoność funkcji wyrażanych przez bramki progowe, co doprowadziło mnie do . W szczególności interesuje mnie to, co obecnie wiadomo na temat uczenia się w T C 0 , ponieważ nie jestem ekspertem w tej dziedzinie.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 Do tej pory...
Przepraszam, jeśli jest to zbyt szerokie pytanie dla tego forum, ale interesują mnie konkretne taktyki i wskazówki, których naukowcy (w TCS) używają do napisania wstępu do pracy naukowej.