Czytając artykuł „Czy nadszedł czas, aby zadeklarować zwycięstwo w liczeniu złożoności?” na blogu „Godel's Lost Letter and P = NP” wspominali o dychotomii CSP. Po kilku linkach, googlowaniu i wikipedii natknąłem się na twierdzenie Ladnera : Twierdzenie Ladnera: jeśli , wówczas występują problemy...
Biorąc pod uwagę mmm o nnn binarnego macierzy MMM (wartość wynosi 000 lub 111 ), problemem jest ustalenie, czy istnieje dwoma wektorami binarnymi v1≠v2v1≠v2v_1 \ne v_2 w taki sposób, Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2 (wszystkie operacje wykonywane przez ZZ\mathbb{Z} ). Czy ten problem jest trudny...
Czy następujący problem jest trudny NP? Biorąc pod uwagę konfigurację forum dla międzynarodowych projektów , znajdź jeden legalny ruch.n×nn×nn\times n Odpowiedni problem dla amerykańskich warcabów (inaczej angielskich wersji roboczych) można w prosty sposób rozwiązać w czasie wielomianowym....
Rozważ problem minimalnego pokrycia zestawu z następującymi ograniczeniami: każdy zestaw zawiera co najwyżej kkk elementów, a każdy element wszechświata występuje w co najwyżej zestawach fff Na przykład: w przypadku k=4k=4k = 4 i f=2f=2f = 2 odpowiada minimalnej wierzchołek problemu pokrywy na...
Czy zbadano złożoność następującego problemu? Dane wejściowe : sześcienny (lub nieregularny) wykres G = ( V , E ) , naturalna górna granica t333G=(V,E)G=(V,E)G=(V,E)ttt Pytanie : czy istnieje podział na | E | / 3 części rozmiaru 3, tak że suma rzędów (niepotrzebnie połączonych) odpowiednich...
Czy są jakieś referencje na ten
Rozważ następujący problem: biorąc pod uwagę formułę CNF i zadanie spełniające tę formułę, czy istnieje inne zadowalające przypisanie dla tej formuły? Jaka jest złożoność tego problemu? (Z pewnością jest w NP, ale czy to jest NP-trudne?) Co się stanie, jeśli nie otrzymasz zadania i chcesz po...
Dla każdego , to znaczy, że sekwencja liczb całkowitych jest -Complete , jeżeli dla każdej permutacji o , zapisane jako sekwencja odrębnych par liczb całkowitych p 1 , … , p n , sekwencja p jest podsekwencją s , tzn. istnieje 1 ≤ i 1 < i 2 < ⋯ < i n ≤ | s |n>0n>0n > 0{ 1 , … , n } n...
Wiadomo, że NP-kompletne jest sprawdzenie, czy cykl hamiltonowski istnieje na 3-regularnym wykresie, nawet jeśli jest on płaski (Garey, Johnson i Tarjan, SIAM J. Comput. 1976) lub dwustronny (Akiyama, Nishizeki, i Saito, J. Inform. Proc. 1980) lub w celu przetestowania, czy cykl hamiltonowski...
Istnieje bogata literatura i co najmniej jedna bardzo dobra książka określająca znaną twardość wyników przybliżenia dla problemów trudnych dla NP w kontekście błędu multiplikatywnego (np. 2-przybliżenie dla pokrywy wierzchołków jest optymalne przy założeniu UGC). Obejmuje to również dobrze...
Czy są jakieś problemy z NP-zupełnością, dla których znany jest algorytm, że oczekiwany czas działania jest wielomianowy (dla pewnego rozsądnego rozkładu między instancjami)? Jeśli nie, to czy istnieją problemy, dla których ustalono istnienie takiego algorytmu? Czy istnienie takiego algorytmu...
Interesuje mnie problem pakowania identycznych kopii (2-wymiarowych) prostokątów w wypukły (2-wymiarowy) wielokąt bez nakładania się. W moim problemie nie wolno obracać prostokątów i można założyć, że są one ustawione równolegle do osi. Właśnie podano wymiary prostokąta i wierzchołki wielokąta i...
Wiadomo, że cykl hamiltonowski (w skrócie szynka) jest zakończony NP, a cykl szynki Planar jest zakończony NP. Dowód na cykl szynkowy nie pochodzi z cyklu szynkowego. Czy jest fajny gadżet, który, biorąc pod uwagę wykres G, zastąpi wszystkie skrzyżowania jakimś płaskim gadżetem, dzięki czemu masz...
I ustalić język regularny na alfabetem , i rozważmy następujący problem, który ja nazywam się harmonogram dla . Nieoficjalnie, dane wejściowe dają mi liter i odstępy dla każdej litery (tj. Minimalną i maksymalną pozycję), a moim celem jest umieszczenie każdej litery w tym przedziale, tak aby żadne...
Dla stałej można określić w czasie liniowym, biorąc pod uwagę wykres wejściowy G , czy jego szerokość wynosi ≤ k . Jednakże, gdy zarówno k jak i G są podane jako dane wejściowe, problem jest trudny NP. ( Źródło ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Jednak gdy wykres wejściowy jest płaski ,...
Widoczna jest redukcja z CLIQUE na k-Color, ponieważ oba są NP-Complete. W rzeczywistości mogę go zbudować, tworząc redukcję z CLIQUE do 3-SAT z redukcją z 3-SAT do k-Color. Zastanawiam się, czy istnieje rozsądna bezpośrednia redukcja między tymi problemami. Powiedzmy, redukcję, którą mógłbym...
Problem nie wszystkie równe SAT (NAE -SAT), biorąc pod uwagę zbiór klauzul nad zestawem zmiennych boolowskich, tak że każda klauzula zawiera co najwyżej literałów, pyta, czy istnieje przyporządkowanie zmiennych do takich wartości, że każda klauzula zawiera co najmniej jeden prawdziwy i co najmniej...
To pytanie jest związane z odpowiedzią, którą opublikowałem w odpowiedzi na inne pytanie. Problemem z 3 partycjami jest następujący problem: Instancja : dodatnie liczby całkowite a 1 ,…, a n , gdzie n = 3m, a suma n liczb całkowitych jest równa mB, tak że każda a i spełnia B / 4 <a i <B /...
Dokładne sformułowanie tytułu należy do Ananda Kulkarniego (który zaproponował utworzenie tej strony). To pytanie zostało zadane jako przykładowe, ale jestem niesamowicie ciekawy. Wiem bardzo mało o geometrii algebraicznej, a tak naprawdę posiadam jedynie pobieżne, licencjackie rozumienie przeszkód...
Jest to zgodne z „ Algorytmami z książki ”. Chociaż redukcje są również algorytmami, pomyślałem, że wątpliwe jest, aby pomyśleć o redukcji w odpowiedzi na pytanie o algorytmy z książki. Stąd osobne zapytanie! Wszelkie redukcje są mile widziane. Zacznę od bardzo prostej redukcji od osłony...