Mir wurde gesagt, dass es einige gute polynomielle Zeitalgorithmen gibt, um die Anzahl einfacher Pfade in einem gerichteten Graphen von einem gegebenen Startscheitelpunkt zu einem gegebenen Endscheitelpunkt t zu approximieren . Kennt jemand eine gute Referenz zu diesem Thema?sssttt Hintergrund: Das...
Wie können wir bei einer Menge S von nxn Permutationsmatrizen (die nur einen kleinen Bruchteil der n! Möglichen Permutationsmatrizen darstellt) Teilmengen T von S mit minimaler Größe finden, so dass das Addieren der Matrizen von T an jeder Position mindestens 1 hat? Ich interessiere mich für dieses...
Ich habe mich gefragt, ob Probleme, für die sublineare Zeitalgorithmen (in der Eingabegröße) existieren, als solche mit spezifischen Eigenschaften charakterisiert werden können. Dies umfasst die sublineare Zeit (z. B. Eigenschaftstests, ein alternativer Begriff der Approximation für...
Es gibt eine Standard-Approximationstheorie, bei der das Approximationsverhältnis (für Probleme mit Objektiven) ist, - der von einigen Algorithmen und Wert - ein optimaler Wert. Und eine andere Theorie, die der Differentialapproximation, bei der das Approximationsverhältnis , - der schlechteste...
Diese Frage wurde bereits in der Informatik Stapel von Exchange geschrieben hier . Stellen Sie sich vor, Sie sind ein sehr erfolgreicher Reiseverkäufer mit Kunden im ganzen Land. Um den Versand zu beschleunigen, haben Sie eine Flotte von Einweg-Lieferdrohnen mit einer Reichweite von jeweils 50...
∑x∏i j ∈ Ef( xich, xj)∑x∏ichj∈Ef(xich,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏i j ∈ Ef( xich, xj)maxx∏ichj∈Ef(xich,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Wenn max oder sum alle Beschriftungen von , wird das Produkt für einen Graphen über alle Kanten übernommen und ist eine beliebige Funktion....
Es gibt Studien zu Approximationsalgorithmen für NP-Gesamtprobleme in der Polynomzeit und zu exakten Algorithmen in der Exponentialzeit. Gibt es Studien über Approximationsalgorithmen für NP-Gesamtprobleme in subexponentieller Zeit der Form mit
Betrachten Sie das folgende Problem: Wenn ein Abfragegraph und ein Referenzgraph , möchten wir die injektive Abbildung , die die Anzahl von minimiert Kanten so dass . Dies ist eine Verallgemeinerung des Subgraphen-Isomorphismus-Problems, bei dem wir zulassen, dass die Subgraphen bis zu einigen...
In ihrer Arbeit Approximate Distance Oracles zeigten Thorup und Zwick, dass es möglich ist, für jeden gewichteten ungerichteten Graphen eine Datenstruktur der Größe zu konstruieren , die ein ( 2 k - 1 ) -Näherungswert liefert Abstand zwischen zwei Scheitelpunkten im Diagramm.O ( k n1 + 1 /...
Verwenden Algorithmen- oder Komplexitätsforscher in Anbetracht der auf einer Konferenz wie STOC behandelten Themen aktiv COQ oder Isabelle? Wenn ja, wie setzen sie es in ihrer Forschung ein? Ich gehe davon aus, dass die meisten Leute solche Tools nicht verwenden würden, da die Proofs zu niedrig...
Ich habe kürzlich von der gierigen Vermutung für das kürzeste Superstring-Problem erfahren . In diesem Problem erhalten wir eine Menge von Strings und wollen den kürzesten Superstring dh so, dass jeder als ein Teilstring von .s1, … , Sns1,…,sns_1,\dots, s_n ssssichsichs_isss Dieses Problem ist...
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:...
Gibt es eine Möglichkeit, eine Instanz von Subset Sum oder das Number Partition Problem zu codieren, sodass eine (kleine) Lösung für eine Ganzzahlbeziehung eine Antwort ergibt? Wenn nicht definitiv, dann in einem wahrscheinlichkeitstheoretischen Sinne? Ich weiß, dass LLL (und möglicherweise PSLQ)...
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...
Fixed Parameter und Approximation sind völlig unterschiedliche Ansätze zur Lösung schwieriger Probleme. Sie haben unterschiedliche Motivation. Die Approximation sucht ein schnelleres Ergebnis mit einer ungefähren Lösung. Ein fester Parameter sucht nach einer exakten Lösung mit Zeitkomplexität in...
Eine Set-Funktion fff ist monoton submodular, wenn für alle , f ( A ) + f ( B ) ≥ f ( A ≤ B ) + f ( A ≤ B ) .A,BA,BA,Bf(A)+f(B)≥f(A∪B)+f(A∩B).f(A)+f(B)≥f(A∪B)+f(A∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Eine stärkere Eigenschaft ist Unter impliziert diese Eigenschaft eine monotone...
Wir erhalten einen gerichteten azyklischen Graphen mit einer jedem Scheitelpunkt zugeordneten Zahl ( ) und einer Zielzahl .g : V → N T ≤ NG = ( V, E)G=(V,E)G=(V,E)G: V→ NG:V→Ng:V\to \mathbb{N}T∈ NT∈NT\in \mathbb{N} Das DAG-Teilmengen-Summenproblem (möglicherweise unter einem anderen Namen...
Es ist bekannt, dass viele Logikprobleme (z. B. Erfüllbarkeitsprobleme mehrerer Modallogiken) nicht entscheidbar sind. Es gibt auch viele unentscheidbare Probleme in der Algorithmustheorie, z. B. bei der kombinatorischen Optimierung. In der Praxis eignen sich Heuristiken und Näherungsalgorithmen...
Was ist über das folgende Problem bekannt? Wenn eine Sammlung von Funktionen f : { 0 , 1 } n → { 0 , 1 } gegeben ist , finde eine größte Untersammlung S ⊆ C unter der Bedingung, dass VC-Dimension ( S ) ≤ k für eine ganze Zahl k ist
Ich suche einen Namen oder Hinweise auf dieses Problem. Bei einem gewichteten Graphen eine Aufteilung der Eckpunkte in bis zu n = | gefunden V | setzt S 1 , ... , S n , um den Wert der Schnittkanten zu maximieren: c ( S 1 , ... , S n ) = ∑ i ≠ j ( ∑ ( u , v ) ∈ E : u ∈ iG=(V,E,w)G=(V,E,w)G = (V, E,...