Als «np-hard» getaggte Fragen

Entscheidungsprobleme, die mindestens so schwer sind wie NP-vollständige Probleme

28
Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?

Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...

27
Zeitfensterblöcke verkaufen

Angesichts von Zeitfenstern, die k Leute kaufen wollen. Person i hat für jedes Zeitfenster j einen Wert h ( i , j ) ≥ 0nnnkkkichiih ( i , j ) ≥ 0h(i,j)≥0h(i,j)\geq 0jjj . Jede Person kann nur einen aufeinanderfolgenden Zeitfensterblock kaufen, der leer sein kann. Gibt es einen...

21
Reduzieren Sie das folgende Problem auf SAT

Hier liegt das Problem. Gegeben sei , wobei jedes T i ⊆ { 1 , … , n } ist . Gibt es eine Teilmenge S ⊆ { 1 , ... , n } mit einer Größe von höchstens k , so dass S ∩ T i & ne; ∅ für alle i ? Ich versuche, dieses Problem auf SAT zu reduzieren. Meine Idee einer Lösung wäre, eine Variable x i zu...

19
Einfache Reduktion von 3SAT auf Hamilton-Pfadproblem

Das Sipser-Buch "Einführung in die Berechnungstheorie" auf Seite 286 enthält eine Reduktion von 3SAT zu Hamilton-Pfadproblem. Gibt es eine einfachere Reduzierung? Mit einfacher meine ich eine Reduktion, die (für Studenten) leichter zu verstehen wäre. Gibt es eine Reduktion, die eine lineare Anzahl...

15
Ist Hidoku NP vollständig?

Ein Hidoku ist ein Gitter mit einigen vorgefüllten ganzen Zahlen von 1 bis n 2 . Ziel ist es, einen Pfad für aufeinanderfolgende ganze Zahlen (von 1 bis n 2 ) im Raster zu finden. Genauer gesagt muss jede Zelle des Gitters eine andere ganze Zahl von 1 bis n 2 enthalten, und jede Zelle mit dem Wert...

15
Sind "Flow Free" -Rätsel NP-schwer?

Ein "Flow Free" -Puzzlespiel besteht aus einer positiven ganzen Zahl und einer Reihe von (ungeordneten) Paaren unterschiedlicher Eckpunkte im Gitterdiagramm sodass sich jeder Eckpunkt in höchstens einem Paar befindet. Eine Lösung für ein solches Puzzle ist eine Reihe ungerichteter Pfade in der...

12
Bedeutet coNP-Vollständigkeit NP-Härte?

Bedeutet coNP-Vollständigkeit NP-Härte? Insbesondere habe ich ein Problem, von dem ich gezeigt habe, dass es coNP-vollständig ist. Kann ich behaupten, dass es NP-schwer ist? Mir ist klar, dass ich CoNP-Härte beanspruchen kann, aber ich bin nicht sicher, ob diese Terminologie Standard ist. Ich bin...