Als «approximation-hardness» getaggte Fragen

Approximationshärte, auch bekannt als Inapproximierbarkeit.

1
Aufrechterhaltung der Reihenfolge in einer Liste in
Das Auftragspflegeproblem (oder "Auftrag in einer Liste pflegen") besteht darin, die folgenden Vorgänge zu unterstützen: singleton: Erstellt eine Liste mit einem Element und gibt einen Zeiger darauf zurück insertAfter: einen Zeiger auf ein Element gegeben, fügt ein neues Element danach ein und gibt einen Zeiger auf das neue Element zurück …
1
Zusammenstellung von sich paarweise überschneidenden Familien
Eine Schlagmenge einer Familie S={S1,…,Sn}S={S1,…,Sn}\mathcal{S} = \{S_1, \dots, S_n\} ist eine Teilmenge HHH von ⋃ni=1Si⋃i=1nSi\bigcup_{i=1}^{n} S_i so dass H∩Si≠∅H∩Si≠∅H \cap S_i \ne \emptyset für 1≤i≤n1≤i≤n1 \le i \le n . Das Problem, eine minimale Treffermenge einer gegebenen Familie zu finden, ist im Allgemeinen NP-schwer, da es das Vertex-Cover-Problem verallgemeinert. Jetzt …
1
Bedeutet PSPACE-Vollständigkeit eine Approximationshärte?
In einem Kommentar in einem anderen cstheorySE-Post wird erwähnt, dass PSPACE-Vollständigkeit APX-Härte impliziert. Kann jemand bitte eine Referenz dafür erklären / teilen? Ist das "eng"? (dh gibt es PSPACE-vollständige Probleme, deren Optimierungsproblem eine konstante Faktorapproximation in Polyzeit zulässt?) Was ist mit der Vollständigkeit für ein bestimmtes PH-Niveau? Bedeutet dies eine …
4
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: …
1
Geglättete Analyse von Approximationsalgorithmen
Eine geglättete Analyse wurde viele Male angewendet, um die Laufzeit exakter Algorithmen für viele Probleme wie lineare Programmierung und k-Mittelwerte zu verstehen. Es gibt ziemlich allgemeine Ergebnisse in diesem Bereich, zum Beispiel Heiko Röglin und Berthold Vöcking, Smoothed Analysis of Integer Programming , 2005. Einige dieser allgemeinen Ergebnisse scheinen auf …
4
Härte der Annäherung der chromatischen Zahl in Diagrammen mit begrenztem Grad
Ich suche nach Härteergebnissen für die Scheitelfärbung von Diagrammen mit begrenztem Grad. Ausgehend von einem Graphen G(V,E)G(V,E)G(V,E) wissen wir, dass es für ϵ>0ϵ>0\epsilon>0 schwierig ist, χ(G)χ(G)\chi(G) innerhalb eines Faktors von |V|1−ϵ|V|1−ϵ|V|^{1-\epsilon} sei denn, [ 1 ]. Was aber, wenn der maximale Grad von G durch d begrenzt ist ? Gibt …
2
Hierarchiesatz für Approximationsverhältnisse?
Bekanntlich können NP-harte Optimierungsprobleme viele verschiedene Approximationsverhältnisse aufweisen, die von PTAS bis hin zur Unannäherbarkeit innerhalb eines Faktors reichen. Dazwischen haben wir verschiedene Konstanten, , usw.O(logn)Ö(Log⁡n)O(\log n)poly(n)pÖly(n)poly(n) Was ist über die Menge der möglichen Verhältnisse bekannt? Können wir irgendeine Art von "Annäherungshierarchie" beweisen? Für welche Funktionen und können wir formal …
1
Fast immer fast richtig
Ich suche nach einer Komplexitätsklasse, die APX bezieht sich wie BPP P. betrifft Ich habe schon die gleiche Frage gestellt hier , aber vielleicht wäre TCS ein fruchtbarer Ort für Antworten sein. Der Grund für die Frage ist, dass man in praktischen Problemen häufig ungefähre Antworten (also APX) mit ausreichend …
2
Welche 2P1R-Spiele sind potenziell scharf?
Zwei-Prüfer-Einrundenspiele (2P1R) sind ein wesentliches Werkzeug für die Approximationshärte. Insbesondere die parallele Wiederholung von Zwei-Prüfer-Einrundenspielen bietet die Möglichkeit, die Lücke in der Entscheidungsversion eines Approximationsproblems zu vergrößern. Einen Überblick über das Thema finden Sie in Ran Raz 'Umfragevortrag auf der CCC 2010 . Die parallele Wiederholung eines Spiels hat die …
2
Härte von Vertex-Separatoren
Für einen gegebenen Graphen fragt das Separatorproblem, ob ein Scheitelpunkt oder eine Kantenmenge mit kleiner Kardinalität (oder Gewichtung) existiert, deren Entfernungspartitionen G in zwei disjunkte Graphen von ungefähr gleicher Größe unterteilt sind. Dies wird als Vertex Separator Problem bezeichnet, wenn die entfernte Menge eine Vertexmenge ist, und als Edge Separator …
3
Wann ist die Dualitätslücke der semidefiniten Programmierung (SDP) Null?
Ich konnte in der Literatur keine genaue Charakterisierung des Verschwindens der SDP-Dualitätslücke finden. Oder wann gilt "starke Dualität"? Wenn man zum Beispiel zwischen dem Lasserre und dem SOS SDP hin und her geht, hat man im Prinzip eine Dualitätslücke. Irgendwie scheint es jedoch einen "trivialen" Grund zu geben, warum diese …
2
Existenz einer
Betrachten Sie das Problem der dominierenden Menge in allgemeinen Diagrammen und lassen Sie die Anzahl der Scheitelpunkte in einem Diagramm sein. Ein gieriger Approximationsalgorithmus gibt eine Approximationsgarantie für Faktor 1 + log n , dh es ist möglich, in Polynomzeit eine Lösung S zu finden, so dass | S | …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.