W obliczalności i złożoności, znajdowanie mapowań między problemami, które pozwalają rozwiązać jeden problem przy użyciu rozwiązania innego. Aby dowiedzieć się, jak zredukować teorię języka programowania (np. Redukcja beta), zobacz [rachunek-lambda] lub [przepisywanie terminu].
W teorii obliczalności i złożoności (i być może w innych dziedzinach) redukcje są wszechobecne. Istnieje wiele rodzajów, ale zasada pozostaje ta sama: pokaż, że jeden problem jest co najmniej tak samo trudny jak jakiś inny problem poprzez odwzorowanie instancji z na równoważne z rozwiązaniem w ....
Wikipedia, jak również inne źródła, które znalazłem, wskazują voidtyp C jako typ jednostki, a nie typ pusty. Uważam to za mylące, ponieważ wydaje mi się, że voidlepiej pasuje do definicji typu pustego / dolnego. voidO ile wiem, nie zamieszkują żadnych wartości . Funkcja z typem zwracanym void...
Biorę kurs złożoności i mam problem z wymyśleniem redukcji między problemami NPC. Jak znaleźć redukcje między problemami? Czy istnieje ogólna sztuczka, której mogę użyć? Jak podejść do problemu, który wymaga ode mnie udowodnienia, że jest nim
Interesuje mnie pytanie, jak najlepiej uczyć kompletności NP na kierunkach informatycznych. W szczególności, czy powinniśmy tego uczyć stosując redukcje Karp czy redukcje Turinga? Uważam, że koncepcje kompletności i redukcji NP są czymś, czego powinien nauczyć się każdy kierunek informatyki....
Zaskakująca liczba problemów ma dość naturalne ograniczenia w programowaniu liniowym (LP). Przykłady, takie jak przepływy sieciowe, dopasowanie dwustronne, gry o sumie zerowej, najkrótsze ścieżki, forma regresji liniowej, a nawet ocena obwodu, patrz rozdział 7 w [1]! Ponieważ ocena obwodu...
Powiedzmy, że istnieje program taki, że jeśli podasz częściowo wypełnione Sudoku o dowolnym rozmiarze, otrzymasz odpowiednie wypełnione Sudoku. Czy możesz potraktować ten program jako czarną skrzynkę i użyć go do rozwiązania TSP? Mam na myśli, czy istnieje sposób na przedstawienie problemu TSP...
Chcę zmienić problem matematyczny, który mam, w logiczny problem satysfakcji (SAT), a następnie rozwiązać go za pomocą SAT Solvera. Zastanawiam się, czy ktoś zna instrukcję, przewodnik lub cokolwiek, co pomoże mi przekonwertować mój problem na instancję SAT. Chcę też rozwiązać ten problem w czasie...
Problem sumy częściowej jest klasycznym problemem NP-zupełnym: Biorąc pod uwagę listę liczb i docelowy , czy istnieje podzbiór liczb od który sumuje się do ?k L kL.LLkkkL.LLkkk Student zapytał mnie, czy ten wariant problemu zwany problemem „produktu podzbioru” jest NP-zupełny: Biorąc pod...
Oto problem. Biorąc pod uwagę , gdzie każdy T i ⊆ { 1 , … , n } . Czy istnieje podzbiór S ⊆ { 1 , … , n } o rozmiarze co najwyżej k taki, że S ∩ T i ≠ ∅ dla wszystkich ja ? Próbuję zredukować ten problem do SAT. Moim pomysłem na rozwiązanie byłoby posiadanie zmiennej x ik , n , T1, … ,...
Może to dość proste, ale mam problem z uzyskaniem tej redukcji. Chcę zredukować sumę podzbioru do partycji, ale w tej chwili nie widzę relacji! Czy można zmniejszyć ten problem za pomocą funkcji redukcji Levina? Jeśli nie rozumiesz, napisz o
Zacznę od zauważenia, że jest to problem związany z pracą domową, proszę podać tylko porady i związane z nimi obserwacje, proszę BEZ BEZPOŚREDNIEJ ODPOWIEDZI . Powiedziawszy to, oto problem, na który patrzę: Niech HALF-CLIQUE = { | jest nieukierowanym wykresem posiadającym pełny podsgraf z co...
Wikipedia stwierdza problem sumy podzbiorów jako znalezienie podzbioru danego zbioru wielu liczb całkowitych, którego suma wynosi zero. Dalej stwierdza, że jest to równoważne ze znalezieniem podzbioru z sumą sss dla dowolnego danego sss . Sądzę więc, że ponieważ są one równoważne, musi nastąpić...
W artykule Złożoność problemu Frobeniusa autorstwa Ramíreza-Alfonsína okazało się, że problemem jest NP-zupełność za pomocą redukcji Turinga. Czy to jest możliwe? Jak dokładnie? Myślałem, że było to możliwe tylko w przypadku wielomianowego wielokrotnego zmniejszenia. Czy są jakieś odniesienia na...
Podręczniki wszędzie założyć, że Bounded post Korespondencja Problem jest NP-zupełny (nie więcej niż NN.N indeksy dozwolony z powtórzeń). Nigdzie jednak nie pokazano prostej (jak w czymś, co student może zrozumieć) wielomianowej redukcji czasu z innego problemu pełnego NP. Jednak każda redukcja, o...
Dzięki twierdzeniu o maksymalnym przepływie min-cut wiemy, że możemy użyć dowolnego algorytmu do obliczenia maksymalnego przepływu na grafie sieciowym do obliczenia -min-cut. Dlatego złożoność obliczenia minimum -cięcie jest nie większa niż złożoność obliczenia przepływu maksymalnego .( s , t...
Próbuję zrozumieć związek między NP-Intermediate a NP-Complete. Wiem, że jeśli P! = NP na podstawie twierdzenia Ladnera, istnieje klasa języków w NP, ale nie w P lub w NP-Complete. Każdy problem w NP można zredukować do problemu NP-Complete, jednak nie widziałem żadnych przykładów zmniejszania...
Hidoku to siatka n×nn×nn \times n z niektórymi wstępnie wypełnionymi liczbami całkowitymi od 1 do n2n2n^2 . Celem jest znalezienie ścieżki kolejnych liczb całkowitych (od 1 do n2n2n^2 ) w siatce. Bardziej konkretnie, każda komórka siatki musi zawierać inną liczbę całkowitą od 1 do n2n2n^2 a każda...
Niech A będzie sprowadzić do punktu B, czyli . Stąd, maszyna Turinga akceptując ma dostęp do Oracle dla . Niech maszyna Turinga akceptująca będzie a wyrocznia dla będzie . Rodzaje obniżek:A B A M A B O BA≤BZA≤bA \leq BAZAABbBAZAAMAM.ZAM_{A}BbBOBObO_{B} Redukcja Turinga: może wykonać wiele zapytań...
Najwyraźniej, jeśli , wszystkie języki w z wyjątkiem i byłyby -kompletne.P = N PP=NP{\sf P}={\sf NP}P.P{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*N P.NP{\sf NP} Dlaczego w szczególności te dwa języki? Czy nie możemy zredukować do nich żadnego innego języka w , wysyłając je podczas przyjmowania lub...
Mamy DAG. Mamy funkcję na węzłach (luźno mówiąc, numerujemy węzły). Chcielibyśmy utworzyć nowy ukierunkowany wykres z tymi zasadami:fa: V→ N.F:V→NF\colon V\to \mathbb N Tylko węzły o tym samym numerze można zawrzeć w tym samym nowym węźle. . (Jednak .)fa( x ) ≠ F.( y) ⇒ x′. Y′F(x)≠F(y)⇒x′≠y′F(x)...