Als «complexity-classes» getaggte Fragen

Computerkomplexitätsklassen und ihre Beziehungen

1
Typentheorie und rechnerische Komplexität
Gibt es ein Typsystem, das die Lambda-Begriffe auf die Begriffe beschränkt, die in eine Komplexitätsklasse fallen? Wie liegen die typisierbaren Begriffe in der Theorie streng innerhalb der Komplexitätsklasse? Oder ist das überhaupt nicht möglich? Ich finde, es gibt viele Studien zur Expressibilität der Typentheorie, wie nachweislich terminierende, erweiterte Polynome usw. …

1
Wie „schwer“ ist es, eine Polynomfunktion unter linearen Bedingungen zu maximieren?
Allgemeines Problem Angenommen, wir haben eine multivariate Polynomfunktion f( x )f(x)f(\mathbf{x})und mehrere lineare Funktionen . Was ist über die Komplexität der Lösung des folgenden Optimierungsproblems bekannt?ℓich( x )ℓich(x)\ell_i(\mathbf{x}) MaximierenVorbehaltlich: f( x )ℓich( x ) ≤ 0 für alle iMaximierenf(x)Vorbehaltlich: ℓich(x)≤0 für alle ich\begin{align*} \text{Maximize} & \;\; f(\mathbf{x}) \\ \text{Subject to: …


1
Komplexität der Modallogik IK5
Was ist die Komplexität des lokalen Erfüllbarkeitsproblems für modale Logik ? Hier bezeichnen wir mit die Modallogik über euklidische Rahmen, die mit inverser Modalität erweitert wurden. Könnten Sie Referenzen angeben? Ist es in ?I K 5IK5\mathit{IK5}ichK.5IK5IK5N.P.NPNP Was weiß ich über das Thema? Es ist leicht zu erkennen, dass sich in …

1
Gibt es ein Orakel so dass ?
Hintergrund Wir wissen, dass P#P⊆PSPACEP#P⊆PSPACEP^{\#P} \subseteq PSPACE . Außerdem wissen wir aus dem Satz von Toda, dass PH⊆P#PPH⊆P#PPH \subseteq P^{\#P} . Weitere Hintergrundinformationen zu #P#P\#P finden Sie hier: https://en.wikipedia.org/wiki/Sharp-P Frage Gibt es ein Orakel AAA so dass (P#P)A≠PSPACEA(P#P)A≠PSPACEA(P^{\#P})^{A} \neq PSPACE^{A} ?



1
Schnittpunkt von Sprachen in NP
Kann der Schnittpunkt zweier Sprachen in NP, die nicht NP-vollständig sind, NP-vollständig sein? Kann die Schnittmenge zweier Sprachen in coNP, die nicht coNP vollständig sind, coNP vollständig sein? Kann der Schnittpunkt zweier Sprachen, eine in coNP, aber nicht vollständig, und eine andere in NP, aber nicht NP vollständig, NP vollständig …

2
Unsicherheiten im GCT-Programm
In https://en.wikipedia.org/wiki/Geometric_complexity_theory wird erwähnt, dass ".. Ketan Mulmuley glaubt, dass das Programm, wenn es realisierbar ist, wahrscheinlich etwa 100 Jahre dauern wird, bis es das P vs. NP-Problem lösen kann". Es scheint darauf hinzudeuten, dass das einzige derzeit realisierbare Programm auf ernsthafte Hindernisse stoßen könnte. Was sind einige der Hindernisse, …

1
Gibt es mehr polynomielle Zeitprobleme mit Komplexitätsuntergrenzen?
Ich suche nach mehr Problemen in mit unteren Grenzen der klassischen Zeitkomplexität. Einige Leute fragen sich vielleicht, wie Sie eine solche Untergrenze beweisen können. Siehe unten.PPP Exponentielle Untergrenzen: Behauptung: Wenn Sie ein Problem , das unter Polynomreduktionen vollständig ist, dann gibt es eine Konstante so dass in nicht lösbar ist …



1
Was ist die kleinste Klasse von Reduzierungen, bei denen ein
Es ist üblich, die Vollständigkeit in Bezug auf logarithmische Mehrfachverringerungen zu definieren .P.PP Ich suche nach einer Komplexitätsklasse so dass es P- vollständige Probleme bei vielen C- Reduktionen gibt.C.⊆ L.C⊆LC \subseteq \mathsf{L}P.P\mathsf{P}C.CC Was ist die kleinste bekannte Mehrfachreduktionsklasse so dass HornSAT für P unter C -Reduktionen vollständig ist ?C.CCP.P\mathsf{P}C.CC Die …

1
Probleme in AM oder in MA
Welche Beispiele für Probleme sind in (bzw. ) bekannt, die weder in noch in ?A M.AM\mathsf{AM}M A.MA\mathsf{MA}N P.NP\mathsf{NP}B P P.BPP\mathsf{BPP} Für kenne ich die folgenden zwei Beispiele:AMAM\mathsf{AM} Nicht-Isomorphismus des Graphen : Sind zwei gegebene Graphen und bis zur Permutation der Eckpunkte der gleiche Graph?GGGHHH Protokoll der unteren Grenze: Sie erhalten …


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.