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 = N P .N.P.=...
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...
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,...
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?...
Angesichts des heutigen Todes von Stephen Hawking habe ich mich gefragt, ob eines seiner Ergebnisse einen direkten Einfluss auf cs hat. Der offensichtliche Kandidat wäre das Quantencomputing oder vielmehr der Aufbau eines physischen Quantencomputers, aber vielleicht gibt es Ergebnisse, die andere...
Die StreamMemo- Bibliothek für Coq zeigt, wie eine Funktion f : nat -> Aüber die natürlichen Zahlen gespeichert wird . Insbesondere wenn f (S n) = g (f n)die imemo_makeFreigabe die Berechnung von rekursiven Aufrufen teilt. Angenommen, wir möchten anstelle natürlicher Zahlen rekursive Funktionen...
Ich hatte eine Frage zur Untertypisierung in der Arbeit "Ein Effektsystem für algebraische Effekte und Handler" . Ich habe mich gefragt, warum es keine Subtypisierungsregel zum Hinzufügen von Effekten auf beiden Seiten eines Handlertyps gibt. T!A⇒R!B⩽T!(A∪C)⇒R!(B∪C)T!A⇒R!B⩽T!(A∪C)⇒R!(B∪C) \frac{ }{...
Stellen Sie sich eine -Maschine vor (nämlich einen probabilistischen Algorithmus, der Logspace und polynomiell viele zufällige Bits verwendet). Es ist bekannt (Saks-Zhou), dass B P L ⊆ D S P A C E ( l o g 1,5 ( n ) ) .B P.L.B.P.L.BPLB P.L ⊆ D S.P.A C.E.( l o g1.5( n )
Betrachten Sie das Problem der Schnittmenge: Alice und Bob erhalten jeweils eine Teilmenge von und möchten wissen, ob sich ihre Mengen überschneiden. Dies ist ein kanonisches Problem der Kommunikationskomplexität, und es ist bekannt, dass randomisierte Protokolle für dieses Problem...
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...
Kennt jemand von euch eine Referenz für das folgende (überraschend mühsame) Ergebnis? Bei einem verbundenen planaren Graphen mit n Eckpunkten und n + t Kanten hat er einen Eckpunkttrenner der Größe O ( √)GGGnnnn + tn+tn+t.O ( t√+ 1 )O(t+1)O(
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...
Gibt es ein Ergebnis, das zeigt, dass Modelle (z. B. SVM, Neural-Net, kNN usw.) Schwierigkeiten haben werden, "seltene" Instanzen / Schwanzphänomene zu lernen?
Betrachten Sie ein gewichtetes Diagramm mit einigen roten Rändern. Wir sind daran interessiert, eine perfekte Übereinstimmung zu finden, so dass die Anzahl der roten Kanten gerade ist und unter den vorherigen Einschränkungen das Gewicht minimiert wird. Ist dieses Problem in Polynomzeit lösbar? Auch...
Eine ähnliche Frage wurde bereits zuvor gestellt, es gab jedoch einen Fehler, sodass die Graph-Klasse mit einer einfachen chromatischen Zahl, aber einer NP-harten Färbung unbeantwortet blieb Gibt es eine unendliche Menge von Graphen wie:CCC Es gibt einen Polynomalgorithmus, der für jeden Graphen...
Gibt es ein kryptografisches Protokoll, mit dem Menschen zumindest theoretisch (und unter kryptografischen Standardannahmen) sicher von zu Hause aus abstimmen können? Ich konnte sehen, wie die verschiedenen Probleme angegangen werden könnten (z. B. Verhindern, dass Personen zweimal abstimmen,...
Betrachten Sie die folgenden Probleme: Problem der orthogonalen Vektoren Eingabe: Eine Menge SSS von Booleschen Vektoren mit der Länge .n dnndd Frage: unterschiedliche Vektoren und so dass ?v 1 v 2 ≤ S v 1 ≤ v 2 = 0v1v_1v2∈Sv_2 \in Sv1⋅v2=0v_1 \cdot v_2 = 0 Problem mit nicht orthogonalen Vektoren...
Ich bin derzeit mit einer Situation konfrontiert, bei der ich nicht sicher bin, wie ich damit umgehen soll. Grundsätzlich gibt es dieses Problem EINEINA . Problem EINEINA war in den letzten 555 Jahren ein heißes Thema . Letztes Jahr wurde in einer sehr angesehenen Zeitschrift (IEEE Transactions on...
Dies ist eine Referenzverwirrung. Manchmal sehe ich Leute, die den Begriff "Moggis rechnergestützte Metasprache" verwenden, um sich auf den von Moggi vorgestellten Kalkül zu beziehen, und manchmal auf "Moggis rechnergestütztes Lambda-Kalkül". Manchmal verwenden sie und manchmal...
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...