Als «conditional-results» getaggte Fragen

Fügen Sie X als Hypothese hinzu, wobei X weder als wahr noch als falsch bekannt ist.

5
Mathematische Implikationen komplexitätstheoretischer Vermutungen außerhalb des TCS
Kennen Sie interessante Konsequenzen von (Standard-) Vermutungen in der Komplexitätstheorie in anderen Bereichen der Mathematik (dh außerhalb der theoretischen Informatik)? Ich würde Antworten vorziehen, wo: Die Vermutung der Komplexitätstheorie ist so allgemein und normal wie möglich. Ich bin auch mit den Konsequenzen der Härte spezifischer Probleme einverstanden, aber es wäre …
1
Folgen von
Während Adlemans Theorem zeigt, dass , ist mir keine Literatur bekannt, die den möglichen Einschluss von B Q P ⊆ P / poly untersucht . Welche komplexitätstheoretischen Konsequenzen hätte eine solche Einbeziehung?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Adlemans Theorem wird manchmal als "der Urvater der Derandomisierungsargumente" bezeichnet. wird angenommen , derandomizable …
4
Wenn P = BQP, bedeutet dies, dass PSPACE (= IP) = AM ist?
Kürzlich haben Watrous et al. Bewiesen, dass QIP (3) = PSPACE ein bemerkenswertes Ergebnis ist. Das war, gelinde gesagt, ein überraschendes Ergebnis für mich und hat mich zum Nachdenken angeregt ... Ich fragte mich, was wäre, wenn Quantencomputer durch klassische Computer effizient simuliert werden könnten. Könnte dies EINFACH mit der …
1
gegen
In unserer jüngsten Arbeit, lösen wir ein Rechenproblem , das in der kombinatorischen Kontext entstanden ist , unter der Annahme , dass , wo ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} ist die E X P -Version von ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Das einzige Papier auf ⊕⊕P⊕P\mathsf{\oplus{}P} , das wir fanden, war dasPapier vonBeigel-Buhrman-Fortnow von1998, das …
2
Folge von PIT über
Gegeben , so dass Koeffizienten p , q ist begrenzt B , ist p ≡ q hold ?p ( x1, … , X.n) , q( x1, … , X.n) ∈ Z [ x1, … , X.n]]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qB.BBp ≡ qp≡qp\equiv q Das Schwartz-Zippel-Lemma gilt hier, da es für …
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.