Sudoku jest dobrze znaną łamigłówką, która jest kompletna NP. Sudoku Binarne to wariant, który dopuszcza tylko cyfry i 1 . Zasady są następujące.000111 Każdy wiersz i każda kolumna musi zawierać równą liczbę zer i jedynek. Każdy wiersz i każda kolumna jest unikalny. Żaden wiersz ani kolumna nie...
To pytanie jest motywowane tym postem. Czy potrafisz określić sumę dwóch permutacji w czasie wielomianowym? oraz moje zainteresowanie obliczeniowymi właściwościami permutacji. Sekwencja różnic permutacji π liczb 1 , 2 , … n + 1 jest tworzona przez znalezienie różnicy między każdą dwiema sąsiednimi...
Odpowiadając na to pytanie w cstheory , (nieformalnie) udowodniłem w locie następujące twierdzenie: Twierdzenie : Dla dowolnego ustalonego sonda cyklu Hamiltoniana pozostaje NP-kompletna, nawet jeśli jest ograniczona do płaskich dwustronnych grafów niekierowanych o maksymalnym stopniu 3, które nie...
Na ukierunkowanym wykresie , F ⊂ E , jeśli G ∖ F jest DAG (ukierunkowany wykres acykliczny), F nazywa się zestawem łuku zwrotnego. G=(V,E)G=(V,E)G=(V,E)F⊂EF⊂EF\subset EG∖FG∖FG\setminus FFFF Jeżeli każda krawędź jest powiązana z wagą , problem z zestawem łukowym sprzężenia zwrotnego przy minimalnym...
Zastanawiam się, czy klasy NPC zdefiniowane przez redukcje wielokrotne i redukcje Turinga są równe. Edycja: Kolejne pytanie, czy redukcje Turinga powodują tylko załamanie klas C i co-C dla niektórych C lub czy istnieje klasa taka jak istnieje problem, który nie występuje w przy redukcji Karp i...
Na wykresie niezależny zestaw jest podzbiorem wierzchołków, który nie zawiera krawędzi jako indukowanego podsgrafu. Problem znajdowania największych niezależnych zestawów na wykresie jest fundamentalnym zagadnieniem algorytmicznym i trudnym. Rozważmy bardziej ogólne pytanie dotyczące znalezienia...
W sparametryzowanej złożoności ludzie używają redukcji stałych parametrów (FPT), aby udowodnić twardość W [t]. Teoretycznie redukcja FPT nie jest redukcją czasu wielomianowego, ponieważ może działać wykładniczo w parametrze k. Ale w praktyce wszystkie redukcje FPT, które widziałem, są redukcjami...
To pytanie było motywowane pytaniem dotyczącym przepływu stosu . Załóżmy, że otrzymujesz zrootowane drzewo (tzn. Jest to root, a węzły mają dzieci itp.) W węzłach (oznaczonych ).n 1 , 2 , … , nT.T.Tnnn1 , 2 , … , n1,2),…,n1, 2, \dots, n Każdy wierzchołek ma powiązaną nieujemną masę całkowitą: .w...
Nurikabe to układanka wypełniająca siatki oparta na ograniczeniach, luźno podobna do Saperów / Nonogramów; liczby są umieszczane na siatce, która ma być wypełniona wartościami włączania / wyłączania dla każdej komórki, przy czym każda liczba wskazuje region połączonych komórek „on” o tej wielkości,...
Interesuje mnie odmiana SAT, w której wzór CNF jest monotoniczny (żadnych zmiennych nie neguje się). Taka formuła jest oczywiście zadowalająca. Ale powiedzmy, że liczba prawdziwych zmiennych jest miarą tego, jak dobre jest nasze rozwiązanie. Mamy więc następujący problem: MINIMALNY PRAWDZIWY...
To pytanie może nie mieć charakteru technicznego. Jako nie-native speaker i TA dla klasy algorytmów zawsze zastanawiałem się, co oznacza gadżet w „gadżet klauzulowy” lub „gadżet zmienny”. Słownik mówi, że gadżet jest maszyną lub urządzeniem, ale nie jestem pewien, co to kolokwialne znaczenie ma w...
Problem podziału na 3 kliki polega na określeniu, czy wierzchołki wykresu, powiedzmy , można podzielić na 3 kliki. Problem ten jest trudny do wyeliminowania przez proste zmniejszenie z 3-kolorowego problemu. Nietrudno dostrzec, że odpowiedź na ten problem jest łatwa, gdy diam ( G ) = 1 lub diam ( G...
Jest to podobne do SAT, z tym wyjątkiem, że znamy przypisanie każdej zmiennej, ale nie znamy przypisania żadnego operatora logicznego. Czy w takim przypadku znalezienie przypisania każdego operatora, aby wyrażenie oceniało na wartość logiczną, stanowi problem NPC? Właściwie zastanawiałem się, czy...
Problem N-królowej jest następujący: Wejście: N Wynik: umieszczenie N „królowych” na szachownicy NXN w taki sposób, że żadne dwie królowe nie leżą w tym samym rzędzie, kolumnie lub po przekątnej. Przeszukując to w Google, zauważyłem, że wiele slajdów wielu profesorów twierdzi, że jest to trudny...
Czy istnieje o następujących właściwościach:L ∈ N PL∈NPL\in {\bf NP} Wiadomo, że oznacza P = N P .L ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Nie (znany) wielomian czas redukcji Turinga z (lub inne N P -Complete problemu) do l .S.A T.SATSATN P.NP{\bf NP}L.LL Innymi słowy, jeśli wielomianem...
Szukam silnie trudnych NP problemów dla redukcji. Do tej pory znalazłem następujące problemy: Problem z 3 partycjami problem z pakowaniem pojemników Trójwymiarowe dopasowanie numeryczne TSP Każdy problem NP-zupełny bez danych liczbowych, np. SATYSFIABILNOŚĆ, CYKL HAMILTONII,...
Czy ten problem był już badany? Biorąc pod uwagę metryczny niekierowany wykres G (długości krawędzi spełniają nierówność trójkąta), znajdź zestaw S wierzchołków, tak że MST (G [S]) jest zmaksymalizowany, gdzie MST (G [S]) jest minimalnym drzewem rozpinającym podgrafu wywołanym przez S. Czy ten...
Po pierwsze, moje rozumienie twierdzenia o niekompletności Gödla (i logiki formalnej w ogóle) jest bardzo naiwne, podobnie jak moja wiedza z zakresu teoretycznej informatyki (co oznacza, że tylko jeden kurs magisterski odbył się, gdy jestem jeszcze studentem), więc pytanie może być bardzo...
Zastanawiałem się, do której klasy należy ten język: jest wykresem, jest liczbą naturalną, a jest liczbą chromatycznąL = { ⟨ G , K ⟩ | GL.={⟨sol,k⟩∣solL =\{ \langle G,k \rangle \mid G kkkkkkG }sol}G\} Myślałem o jako (1) „nie ma zabarwienia kolorów k-1” i (2) „jest zabarwienie kolorów ”. Teraz...
Mam następujący problem: Dane wejściowe: dwa zestawy przedziałów i (wszystkie punkty końcowe są liczbami całkowitymi). Pytanie: czy istnieje biotonia monotoniczna ?T f : S → TS.S.ST.T.Tfa: S→ T.fa:S.→T.f:S \to T Bijection jest monotoniczne WRT kolejnością włączenie do i . T ∀ X ⊆ Y ∈ S , f ( X )...