Ich interessiere mich für eine explizite Boolesche Funktion f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}mit der folgenden Eigenschaft: wenn auf einem affinen Unterraum von konstant istfff , dann ist die Dimension dieses Unterraums o ( n ) .0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Es ist nicht schwierig zu zeigen, dass eine symmetrische Funktion diese Eigenschaft nicht erfüllt, …
Parity-P ist die Menge von Sprachen, die von einer nicht-deterministischen Turing-Maschine erkannt werden und die nur zwischen einer geraden oder ungeraden Anzahl von "Akzeptanz" -Pfaden unterscheiden kann (anstelle einer Null- oder einer Nicht-Null-Anzahl von Akzeptanzpfaden). So Parity-P ist im Grunde PP ‚s verkrüppelte jüngere Geschwister: während PP zählt , ob …
Kennt jemand ein NP-Vollständigkeitsergebnis für das DOMINATING SET-Problem in Graphen, die auf die Klasse der planaren zweigeteilten Graphen mit maximalem Grad 3 beschränkt sind? Ich weiß, dass es NP-vollständig ist für die Klasse der planaren Graphen mit maximalem Grad 3 (siehe das Buch von Garey und Johnson) sowie für zweigliedrige …
Definieren Sie die Gaußsche Komplexität einer Matrix als die minimale Anzahl elementarer Zeilen- und Spaltenoperationen, die erforderlich sind, um die Matrix in die Form eines oberen Dreiecks zu bringen. Dies ist eine Größe zwischen 0 und n 2 (über die Gaußsche Elimination). Der Begriff ist in jedem Bereich sinnvoll.n × …
Es ist bekannt, dass Quantencomputer hinsichtlich der Komplexität von Abfragen strikt leistungsfähiger sind als ihre klassischen Gegenstücke . Gibt es andere (natürliche oder künstliche) Modelle, die in Bezug auf die Komplexität von Abfragen streng zwischen dem Quanten- und dem Klassischen liegen? Die Trennung kann eingeschaltet sein Spezifische Probleme: Modell X …
Ich habe gerade die Frage " Ist die Faktorisierung von Ganzzahlen ein NP-vollständiges Problem? " Gelesen, also habe ich mich entschlossen, einen Teil meines Rufs auszugeben :-) und eine andere Frage gestellt: mit :P ( Q ist trivial ) ≈ 1Q.QQP( Q ist trivial ) ≈ 1P(Q is trivial)≈1P(\text{Q is …
Was sind einige der Hauptprobleme in Bezug auf die Komplexität offener Berechnungen, die sich aus Programmiersprachen ergeben, insbesondere Programmanalyse und -kompilierung? Ich suche nach Problemen im Sinne der "Zeitkomplexität der Hindley-Milner-Typinferenz" oder der "Zeitkomplexität von 0CFA" (obwohl beide Probleme gelöst sind).
Eine nicht deterministische Boolesche Schaltung hat zusätzlich zu den gewöhnlichen Eingängen eine Menge von "nicht deterministischen" Eingängen y = ( y 1 , ... , y m ) . Eine nicht deterministische Schaltung C akzeptiert den Eingang x, wenn es y gibt, so dass die Schaltung 1 an ( x …
Ist es möglich, einen CNF in einen anderen CNF Ψ ( C ) umzuwandeln, so dassCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Die Funktion kann in Polynomzeit aus einem geheimen Zufallsparameter r berechnet werden .ΨΨ\Psirrr hat genau danneine Lösung,wenn C eine Lösung hat.Ψ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal C Jede Lösung von kann mit effizient in eine Lösung …
Es ist bekannt, dass viele NP-vollständige Probleme einen Phasenübergang aufweisen. Ich interessiere mich hier eher für den Phasenübergang in Bezug auf die Eingrenzung in der Sprache als für die Härte der Eingabe in Bezug auf einen Algorithmus. Um das Konzept eindeutig zu machen, definieren wir es formal wie folgt. Eine …
Wenn die Symmetriegruppe und zwei Untergruppen G , H ≤ S n und π ∈ S n gegeben sind , gilt G π ∩ H = ∅ ?SnSnS_nG , H≤ SnG,H≤SnG, H\leq S_nπ∈ Snπ∈Sn\pi\in S_nG π∩ H= ∅Gπ∩H=∅G\pi\cap H=\emptyset Soweit ich weiß, ist das Problem als Coset-Schnittpunkt-Problem bekannt. Ich frage …
Hintergrund Es ist bekannt, dass es ein Orakel AAA , das .PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Es ist sogar bekannt, dass die Trennung relativ zu einem zufälligen Orakel gilt. Informell kann man dies so interpretieren, dass es viele Orakel gibt, für die und getrennt sind.P HPSPACEPSPACEPSPACEPHPHPH Frage Wie kompliziert sind diese Orakel, …
Es ist bekannt, dass die minimale Größe von -Schaltungen, die die Paritätsfunktion genau berechnen, gleich 3 ( n - 1 ) ist . Der untere Grenznachweis basiert auf der Gate-Eliminierungsmethode.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Kürzlich ist mir aufgefallen, dass die Gate-Eliminierungsmethode auch für nichtdeterministische -Schaltungen gut funktioniert, und wir …
Betrachten Sie dieses Problem: Suchen Sie anhand einer Liste endlicher Mengen eine Reihenfolge , die | minimiert s 1 | + | s 1 ∪ s 2 | + | s 1 ∪ s 2 ∪ s 3 | + … .s1, s2, s3, …s1,s2,s3,…s_1, s_2, s_3, \ldots| s1| + …
Ich folge dem Vorschlag von Josh Grochow und wandle meinen Kommentar von einer vorherigen Frage in eine neue Frage um. Welche Beweise haben wir für ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Hier ist die Klasse von Sprachen, die durch nicht deterministische Polynomzeit-Turing-Maschinen erkennbar sind, die einen eindeutigen Akzeptanzpfad für "yes" -Instanzen und einen …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.