Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

3
in
Die Untersuchung der prägnanten Darstellung von Graphen wurde von Galperin und Wigderson in einem Artikel von 1983 initiiert , in dem sie nachweisen, dass für viele einfache Probleme wie das Finden eines Dreiecks in einem Graphen die entsprechende prägnante Version in vollständig ist. Papadimitriou und Yanakkakis forcieren diese Forschungslinie und …
4
Kompendium der besten Näherungs- und Härteergebnisse für NP-Optimierungsprobleme
Kennen Sie ein aktuelles Wiki, das sich mit NP-Optimierungsproblemen befasst und deren bestes Näherungs- und Härteergebnis liefert? Aufgrund des Feedbacks scheint es sicher zu sein, dass es keine solche Ressource gibt (siehe das Ende dieser Frage für zwei nahe Optionen). - hinzugefügt am 8. Februar. Da in den letzten zwei …
3
Übersetzen von SAT nach HornSAT
Ist es möglich, eine Boolesche Formel B in eine äquivalente Konjunktion von Horn-Klauseln zu übersetzen? Der Wikipedia-Artikel über HornSAT scheint zu implizieren, dass dies der Fall ist, aber ich konnte keine Referenz aufspüren. Beachten Sie, dass ich nicht "in polynomialer Zeit" meine, sondern "überhaupt".
4
Bounded-Cardinality-Bounded-Frequency-Set-Cover: Härte der Approximation
Berücksichtigen Sie das Problem der minimalen Mengenabdeckung mit den folgenden Einschränkungen: Jede Menge enthält höchstens Elemente, und jedes Element des Universums kommt in höchstens Mengen vor.fkkkfff Beispiel: Der Fall und f = 2 entspricht dem Minimum Vertex Cover Problem in Graphen mit maximalem Grad 4.f = 2k=4k=4k = 4f=2f=2f = …
2
Die Komplexität der Feststellung, ob ein fester Graph einem anderen untergeordnet ist
Das Ergebnis von Robertson und Seymour demonstriert einen -Algorithmus zum Testen, ob ein fester Graph G ein kleinerer Teil von H ist . Ich habe zweieinhalb Fragen zu diesem Thema:O(n3)O(n3)O(n^3)GGGHHH 1) Es scheint, dass seitdem Verbesserungen an diesem Algorithmus vorgenommen wurden. Was ist derzeit der bekannteste Algorithmus? 2a) Was vermuten …
3
Rundung, um die Summe der Fehler in paarweisen Abständen zu minimieren
Was ist über die Komplexität des folgenden Problems bekannt: Gegeben: rationale Zahlen .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n Ausgabe: Ganzzahlen .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Ziel: minimiere wobei∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Das heißt, wir möchten die rationalen Zahlen …
5
Subexponentiell lösbare harte Graphprobleme
Angesichts der jüngsten Ergebnisse von Arora, Barak und Steurer, Subexponentielle Algorithmen für einzigartige Spiele und verwandte Probleme , interessiere ich mich für Graphprobleme , die subexponentielle Zeitalgorithmen haben, aber als nicht polynomiell lösbar gelten. Ein bekanntes Beispiel ist die Graphisomorphie subexponentiellen Algorithmus hat 2O(n1/2logn)2O(n1/2log⁡n)2^{O(n^{1/2} \log n)} Laufzeit. Ein weiteres Beispiel …
1
Ungefährer Grad von
BEARBEITEN (v2): Am Ende wurde ein Abschnitt hinzugefügt, der beschreibt, was ich über das Problem weiß. EDIT (v3): Diskussion zum Schwellenwert am Ende hinzugefügt. Frage Diese Frage ist hauptsächlich eine Referenzanfrage. Ich weiß nicht viel über das Problem. Ich möchte wissen, ob bereits an diesem Problem gearbeitet wurde, und wenn …
1
Wie komplex ist dieses Abdeckungsproblem?
Bearbeiten: Ich habe meine Einschränkung (2) zuerst falsch formuliert, sie ist jetzt korrigiert. Ich habe auch weitere Informationen und Beispiele hinzugefügt. Mit einigen Kollegen, die sich mit einer anderen algorithmischen Frage befassten, konnten wir unser Problem auf das folgende interessante Problem reduzieren, die Frage nach der Komplexität konnten wir jedoch …
4
Starten von SAT-Solver-Papieren
Ich möchte einen ersten SAT-Löser machen. Ich kenne den SAT-Wettbewerb und die SAT-Konferenz, und es gibt einfach so viele Artikel zu diesem Thema. Ich bin ein Starter, ein überwältigter Starter. Wo soll ich anfangen Schließlich möchte ich den Stand der Technik vorantreiben. Ich möchte einen kompetenten Rat, wie ich anfangen …
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.