Pytania oznaczone «np-hardness»

Załóżmy, że P! = NP. Wiemy, że w każdej chwili możemy wykonać proste instancje 3-SAT. Możemy również wygenerować coś, co uważamy za trudne wystąpienie (ponieważ nasze algorytmy nie potrafią ich szybko rozwiązać). Czy jest coś, co przeszkadza, by zbiór twardych instancji był arbitralnie mały, o ile...

Czy są znane algorytmy dla następującego problemu, które pokonały naiwny algorytm? Dane wejściowe: matryca AAA i wektory b,cb,cb,c, gdzie wszystkie wpisy z pozycji A,b,cA,b,cA,b,c są liczbami całkowitymi nieujemnymi. Wyjście: optymalne rozwiązanie x∗x∗x^* do

Załóżmy, że mam P.PP zestawy z elementami zaczerpniętymi z rrrmożliwe. Każdy zestaw ma rozmiarnnn (n <

Interesuje mnie wariant maksymalnego dopasowania wagi na wykresie, który nazywam „maksymalnym uczciwym dopasowaniem”. Załóżmy, że wykres jest pełny (tj E=V×VE=V×VE=V\times V) Ma liczbę nawet wierzchołków, a masa jest podawana przez funkcję zysk . Biorąc pod uwagę pasujące , oznacz przez zysk...

Zastanawiam się, czy następujący problem jest trudny NP. Wprowadź: prosty wykres i kolorowanie krawędzi ( nie weryfikuje żadnej konkretnej właściwości).G = ( V, E)G=(V,E)G = (V,E)fa: E→ { 1 , 2 , 3 }f:E→{1,2,3}f : E \to \{1,2,3\}faff Pytanie: czy można podzielić na trójkąty , tak aby każdy...

Standardowy problem 1-w-3 SAT (lub XSAT lub X3SAT) to: Instancja : formuła CNF z każdą klauzulą ​​zawierającą dokładnie 3 literały Pytanie : czy istnieje zadowalające ustawienie przypisania dokładnie 1 literał na klauzulę prawda? Problem jest NP-zupełny i pozostaje trudny, nawet jeśli żadna...

Biorąc pod uwagę stałą skierowane wykres (digrafu) The -COLORING problem decyzyjny pyta czy digrafu wejście ma homomorfizm do . (Homomorfizmem od do jest odwzorowaniem od do , która chroni łuki, to znaczy, gdy jest łukiem , a jest łukiem

Jest ładny papier z 1991 roku, który zawiera trzy diagramy dotyczące różnych rodzin klas grafów, pokazujące, co wiadomo na temat twardości wyznaczania dla nich indeksu chromatycznego. Czy są odtąd jakieś wiadomości na ten temat? Najbardziej interesuje mnie to, co wiadomo na temat wykresów z...

Jakie są najbardziej znane asymptotyczne górne granice wielkości dowodów probabilistycznie sprawdzalnych? Idealnie szukam współczesnej ankiety dotyczącej tego szerokiego pytania, ale jeśli jej nie ma, szczególnie interesuje mnie niedopuszczalność 3-SAT. Niech 7/8 + ε-3-SAT będzie 3-SAT z...