Als «np-hardness» getaggte Fragen

15
Kann man einen Nachbarn eines Scheitelpunkts in der Grafik eines Polytops effizient und gleichmäßig abtasten?

Ich habe ein Polytop PPP das durch {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Frage: Gibt es einen Polynom-Zeit-Algorithmus, um bei gegebenem Scheitelpunkt vvv von PPP gleichmäßig von den Nachbarn von vvv im Graphen von PPP ? (Polynom in der Dimension, die Anzahl der Gleichungen und die...

15
Ist das folgende Problem NP schwer?

Betrachten wir eine Sammlung von Sätzen F = { F 1 , F 2 , ... , F n }F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} über einen Basissatz wo und , und sei eine positive ganze Zahl.U = { e 1 , e 2 , … , e n } U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\}| F i | |Fi||F_i| ≪ ≪\ll n nne i ∈ F iei∈Fie_i \in F_i kkk Das...

14
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?

Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen:...

14
Fügen Sie eine Übereinstimmung zu einem Hamilton-Pfad hinzu, um den maximalen Abstand zwischen bestimmten Scheitelpunktpaaren zu verringern

Was ist die Komplexität des folgenden Problems? Eingabe : HHH einHamilton-PfadinKnKnK_n eine Teilmenge von KnotenpaarenR⊆[n]2R⊆[n]2R \subseteq [n]^2 eine positive ganze Zahl kkk Abfrage : Gibt es einen passenden derart , daß für jeden ( v , u ) ∈ R , d G ( v , u ) ≤ k ? (wobei G = ( [ n ] , M ∪ H )...