Planar 3SAT jest kompletny z NP. Płaska instancja 3SAT jest instancją 3SAT, dla której wykres zbudowany przy użyciu następujących reguł jest płaski: dodaj wierzchołek dla każdegoxixix_i i xi¯xi¯\bar{x_i} dodać wierzchołek dla każdej klauzuli CjCjC_j dodaj krawędź dla każdej pary...
Mam problem: Pokaż, że istnieje liczba rzeczywista, dla której nie istnieje żaden program działający nieskończenie długo i zapisujący cyfry dziesiętne tej liczby. Przypuszczam, że można to rozwiązać, redukując go do problemu Halting, ale nie mam pojęcia, jak to zrobić. Byłbym wdzięczny za...
Wiemy, że jest w według twierdzenia Immermana – Szelepcsényiego, a ponieważ jest dlatego to wiele-jeden obszar dziennika, który można zredukować do . Ale czy istnieje bezpośrednia / kombinatoryczna redukcja, która nie przechodzi przez wykres konfiguracji maszyn Turinga w...
Języki, takie jak są uzupełniane ponownie przy wielu redukcjach. To banalne, aby zobaczyć, że co-RE ma również kompletne problemy. S. Schmitz [1] rozważa niektóre klasy pomiędzy ELEM a REC . Stanowią one kompletne problemy dla tych klas w ramach specjalnie spreparowanych...
Tak więc, jak wiadomo, problem decyzyjny ILP 0-1 jest NP-zupełny. Pokazanie tego w NP jest łatwe, a pierwotna redukcja pochodziła z SAT; od tego czasu wykazano, że wiele innych problemów z NP-Complete ma formulacje ILP (które działają jako redukcje tych problemów do ILP), ponieważ ILP jest bardzo...
Ponieważ całkowite programowanie liniowe jest zakończone NP, występuje zmniejszenie Karp z dowolnego problemu w NP. Pomyślałem, że to sugeruje, że zawsze istnieje wielomianowa formuła ILP dla dowolnego problemu w NP. Ale widziałem artykuły na temat konkretnych problemów związanych z NP, w których...
Problem 3 partycji zapytuje, czy zestaw liczb może być podzielona na n zestawy trzech liczb całkowitych takim, że każdy zestaw razem daje z danym całkowitą B . Problem zrównoważonej partycji pyta, czy 2 n liczb całkowitych można podzielić na dwa równe zestawy liczności, tak aby oba zestawy miały tę...
Definicja: Redukcja karp Język jest karpem redukowalnym do języka jeśli istnieje funkcja obliczalna w czasie wielomianowym tak, że dla każdego , wtedy i tylko wtedy, .AAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in B Definicja: Redukcja...
Jestem ciekawy, czy w klasie złożoności Arthura-Merlina występują jakieś kompletne problemy. Graph Non-Isomorphism (GNI) wydaje się być kanonicznym przykładem problemu w AM, ale prawdopodobnie nie jest kompletny. Chyba zastanawiam się również, czy „kompletny” problem jest dobrze zdefiniowany dla...
Przykro mi, jeśli na to pytanie ma jakąś trywialną odpowiedź, której mi brakuje. Ilekroć badam jakiś problem, który okazał się nierozstrzygalny, zauważam, że dowód polega na zmniejszeniu do innego problemu, który okazał się nierozstrzygalny. Rozumiem, że tworzy to pewien porządek na poziomie...
Studiuję do finałowej teorii obliczeń i walczę z właściwym sposobem odpowiedzi na pytanie, czy to stwierdzenie jest prawdziwe w odniesieniu do fałszu. Przez definicję z możemy skonstruować następujące oświadczenie,≤m≤m\leq_m w ∈ A⟺fa( w ) ∈ B → w ∉ A⟺fa( w ) ∉ Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff...
Zoo Złożoności definiuje jako klasę problemów decyzyjnych rozwiązywanych przez deterministyczną maszynę Turinga w czasie liniowym.L IN.LINLIN L IN.⊆ P.LIN⊆PLIN \subseteq P Ponieważ HORN-SAT można rozwiązać w (jak wskazano w algorytmach czasu liniowego do testowania spełniania formuł róg zdań...
Kodeks Hash 2015 Okrągły testowania Google ( oświadczenie problemem ) poprosił o następującym problemem: dane wejściowe: siatka z zaznaczonymi kwadratami, próg , maksymalny obszarT ∈ N A ∈ NM.M.MT.∈ N.T.∈N.T \in \mathbb{N}A ∈ NZA∈N.A \in \mathbb{N} Wydajność: największa powierzchnia całkowita...
Mieliśmy kilka pytań na temat relacji redukcji Cooka i Karp . Oczywiste jest, że redukcje Cooka (redukcje Turinga w czasie wielomianowym) nie definiują tego samego pojęcia kompletności NP jak redukcje Karp (redukcje w postaci wielomianu w jednym czasie), które są zwykle stosowane. W szczególności...
Do rozumowania takich rzeczy, jak kompletność NP, zwykle stosujemy redukcje wielokrotne jeden (tj. Redukcje Karp). Prowadzi to do takich zdjęć: (zgodnie ze standardowymi przypuszczeniami). Jestem pewien, że wszyscy znamy tego rodzaju rzeczy. Jakie otrzymamy zdjęcie, jeśli będziemy pracować z...
Rozważ następujący problem, którego instancją wejściową jest prosty wykres i naturalna liczba całkowita k .solGGkkk Czy istnieje zestaw taki, że G - S jest dwustronny i | S | ≤ k ?S.⊆ V.( G )S⊆V(G)S \subseteq V(G)G - SG−SG - S| S.| ≤k|S|≤k|S| \leq k Chciałbym pokazują, że problem ten jest...
Czy maszyna Turinga, która może odczytywać i zapisywać symbole z nieskończonego alfabetu, ma większą moc niż zwykła TM (to jedyna różnica, maszyna wciąż ma skończoną liczbę stanów)? Intuicja mówi mi, że nie, ponieważ potrzebujesz nieskończonej liczby stanów, aby odróżnić każdy symbol. Myślę więc,...
Istnieje słynna i elegancka redukcja od maksymalnego problemu dwustronnego dopasowania do problemu maksymalnego przepływu: tworzymy sieć z węzłem źródłowym , węzłem końcowym i jednym węzłem dla każdego elementu, który ma być dopasowany, a następnie dodajemy odpowiednie krawędzie.sssttt Z pewnością...
Próbuję wymyślić dowód na następujące kwestie: Dla każdego języka AAA istnieje język BBB , tak że A≤TBA≤TBA \le_{\mathrm{T}} B a B ≰TA≰TA\nleq_{\mathrm{T}} A . Myślałem o pozwoleniu BBB być ATMATMA_{\mathrm{TM}} , ale zdaję sobie sprawę, że nie wszystkie języki Turing można zredukować do...
Powiedzmy, że wiemy, że problem A jest trudny, a następnie redukujemy A do nieznanego problemu B, aby udowodnić, że B jest również trudny. Jako przykład: wiemy, że 3-kolorowanie jest trudne. Następnie redukujemy kolorowanie 3 do koloru 4. Po połączeniu jednego z kolorów 3-kolorowania masz...