Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

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 …
2
PARITY mit begrenztem Fanout: Einfacher Beweis?
AC0AC0AC^0 ist die Klasse von Schaltkreisen mit konstanter Tiefe und Polynomgröße mit NICHT-Gattern und unbegrenzten Fan-In- UND- und ODER-Gattern, wobei Eingänge und Gatter auch unbegrenzte Fan-Outs aufweisen. Betrachten Sie nun eine neue Klasse, nennen Sie sie die ähnelt, für die Eingänge und Gatter jedoch höchstens Fanout haben . Diese Klasse …
2
Modallogiken, die mit einer Schachtelungstiefe axiomatisiert sind, die in PSPACE wahrscheinlich nicht vorhanden ist?
Ich suche nach Modallogiken, die durch eine endliche Menge von Axiomen der Modal Nesting Depth 1 axiomatisiert werden und deren Erfüllbarkeits- / Ableitbarkeitsproblem wahrscheinlich nicht in PSPACE vorliegt. Ohne die Einschränkung der modalen Verschachtelungstiefe ist dies kein Problem, siehe zum Beispiel PDL. Es scheint jedoch, dass zum Nachweis der EXPTIME-Härte …
3
NP-harte Probleme bei cographs
Diese Frage ähnelt NP-harten Problemen an Bäumen : Es gibt eine große Anzahl von NP-vollständigen Problemen, die auf cographs nachvollziehbar sind . Gibt es bekannte Probleme, die NP-vollständig bleiben, wenn sie auf cographs beschränkt sind? Genauer gesagt interessieren mich Beispiele, bei denen die Eingabe ausschließlich aus einem ungerichteten, ungewichteten cograph …
1
Messung der Zufälligkeit von CNF-Formeln
Es ist allgemein bekannt, dass CNF-Formeln grob in zwei breite Klassen unterteilt werden können: Zufalls- und Strukturformeln. Strukturierte CNF-Formeln weisen im Gegensatz zu zufälligen CNF-Formeln eine bestimmte Reihenfolge auf und zeigen Muster, die wahrscheinlich nicht zufällig auftreten. Man kann jedoch strukturierte Formeln finden, die einen gewissen Grad an Zufälligkeit aufweisen …
1
Verbesserte Untergrenze für die Komplexität monotoner Schaltkreise bei perfekter Anpassung?
Razborov hat bewiesen, dass jede monotone Schaltung, die die perfekte Anpassungsfunktion für zweigeteilte Graphen berechnet, mindestens Gatter haben muss (er nannte es "logisch permanent"). Wurde seitdem eine bessere Untergrenze für dasselbe Problem nachgewiesen? (sprich 2 n ϵ ?) Soweit ich mich erinnere, war dieses Problem Mitte der 90er Jahre offen.nΩ …
2
Minimale maximale Lösungen von LPs
Die lineare Programmierung ist heutzutage natürlich sehr gut bekannt. Wir haben viel Arbeit, die die Struktur machbarer Lösungen und die Struktur optimaler Lösungen charakterisiert. Wir haben die starke Dualität, Poly-Time-Algorithmen usw. Aber was ist über minimale Maximallösungen von LPs bekannt? Oder gleichermaßen Maximum-Minimum-Lösungen? (Dies ist eigentlich keine Forschungsfrage, aber vielleicht …
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.