Was sind die Konsequenzen von Parität-L = P?


27

Parität-L 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 (anstelle einer Null- oder einer Nicht-Null-Anzahl von Akzeptanzpfaden) unterscheiden kann weiter auf die Arbeit im logarithmischen Raum beschränkt. Die Lösung eines linearen Gleichungssystems über over 2 ist für Parity-L ein komplettes Problem, weshalb Parity-L in P enthalten ist.

Welche anderen Komplexitätsklassenbeziehungen wären bekannt, wenn Parität-L und P gleich wären?

Antworten:


28

Parität- ist in N C 2 und Parität- L = P würde bedeuten, dass P in paralleler log 2- Zeit oder in log 2- Raum simuliert werden kann (da N C 2 in D S P A C E ist ( l o g 2 n ) )LNC2L=PPLog2Log2NC2DSPEINCE(lOG2n)


11
Folgerung: Wenn Parität-L = P, dann ist P ≠ PSPACE.
Niel de Beaudrap

@Niel Ich liebe diese Konsequenz! :)
Tayfun Pay

14

Nun, die Auswertung der Quantenschaltungen der Clifford-Gruppe ist unter logarithmischen Raumreduzierungen für Parität-L abgeschlossen (siehe Aaronson und Gottesman, Physical Review A 70: 052328, 2004). Wenden wir nun einige Tricks aus der messungsbasierten Quantenberechnung an:

Die Auswertung von Clifford-Gruppenschaltungen erfolgt in QNC ^ 1. Dies liegt einfach daran, dass es keine zeitliche Teilreihenfolge für Messungen gibt und Korrekturoperationen einfach durch Parität einiger Teilmengen von Messergebnissen berechnet werden.

Dies scheint zu implizieren, dass L ^ {QNC ^ 1} P enthält.

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.