Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
Über die kleine Menge Expansionsvermutung
Wenn ein Graph und ein , möchte man berechnen. . ( ) Die Erweiterung mit kleinen Mengen Vermutung "besagt, dass es NP-schwer ist zu bestimmen, ob dies unter oder über fürG=(V,E)G=(V,E)G=(V,E)δ>0δ>0\delta > 0h(G,δ)=min|S|≤δ|V|ϕ(S)h(G,δ)=min|S|≤δ|V|ϕ(S)h(G,\delta)=min_{\vert S\vert \leq \delta \vert V \vert } \phi(S)ϕ(S)=E(S,S¯)dmin{|S|,n−|S|}ϕ(S)=E(S,S¯)dmin{|S|,n−|S|}\phi(S) = \frac{ E(S,\bar{S}) }{d min \{\vert S \vert , …
1
Was ist falsch an diesem uniform ?
Folgendes wird nicht als wahr angesehen: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Können Sie mir helfen zu sehen, wo das Argument zusammenbricht? Das Problem der gerichteten Erreichbarkeit ist für . Ich behaupte, dass es in -uniform .LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} Das Problem der gerichteten Erreichbarkeit über Konfigurationsgraphen der deterministischen Log-Space-Turing-Maschine ist für …
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
Nichtdeterminismus ist im Durchschnitt für Schaltkreise nutzlos?
Savický und Woods (Die Anzahl der Booleschen Funktionen, die durch Formeln einer bestimmten Größe berechnet werden) beweisen das folgende Ergebnis. Satz [SW98]: Für jede Konstante haben fast alle Booleschen Funktionen mit einer Formelkomplexität von höchstens eine Schaltungskomplexität von mindestens .n k n k / kk > 1k>1k>1nknkn^knk/ knk/.kn^k/k Der Beweis …
1
Reduziert
Angenommen , . Dann ein einfaches Argument zeigt , daß P H P P = N P . Können wir noch einen Schritt weiter gehen und P P P P = N P erhalten ? Das einfache Argument istN.P.= P.P.NP=PPNP=PPP.H.P.P.= N.P.PHPP=NPPH^{PP}=NPP.P.P.P.= N.P.PPPP=NPPP^{PP}=NP Theorem Wenn dann P H P P = …
4
Unmöglichkeit in Berechenbarkeit und Komplexität: immer letztendlich aufgrund diagonaler Argumente?
Wenn wir in der Berechenbarkeit beweisen wollen, dass ein Problem nicht rekursiv oder nicht rekursiv aufzählbar ist, können wir z. B. Reduktionen aus anderen nicht rekursiven oder nicht re-Problemen, dem Riceschen Theorem, dem Rice-Shapiro-Theorem usw. verwenden. Diese Techniken funktionieren dank oder basieren direkt auf der Existenz eines diagonalen Arguments (dh …
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
Ist abelsche Gruppenisomorphie in ?
Ein -Laufzeitalgorithmus für den abelschen Gruppenisomorphismus ist leicht zu erkennen. Später an diesem Problem im Jahr 2003 arbeiten Vikas verbessern das Ergebnis von Laufzeit auf . Im Jahr 2007 zeigte Kavitha , dass der Isomorphismus der abelschen Gruppe in linearer Zeit, dh in -Zeit, durchgeführt werden kann .O ( n …
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} ?
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.