Apa konsekuensi dari Parity-L = P?


27

Parity-L adalah seperangkat bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan" (daripada jumlah jalur penerimaan yang nol atau tidak nol), dan yang merupakan selanjutnya dibatasi untuk bekerja di ruang logaritmik. Memecahkan sistem persamaan linear lebih dari ℤ 2 adalah masalah yang lengkap untuk Parity-L, sehingga Parity-L terkandung dalam P.

Apa hubungan kelas kompleksitas lain yang akan diketahui, jika Parity-L dan P sama?

Jawaban:


28

parity- di N C 2 dan parity- L = P akan berarti bahwa P dapat disimulasikan secara paralel log 2 waktu atau di log 2 ruang (karena N C 2 adalah di D S P A C E ( l o g 2 n ) )LNC2L=PPlog2log2NC2DSPACE(log2n)


11
Konsekuensi: jika Paritas-L = P, maka P ≠ PSPACE.
Niel de Beaudrap

@Niel Saya suka akibat wajar itu! :)
Tayfun Bayar

14

Nah, mengevaluasi sirkuit kuantum grup Clifford selesai di bawah pengurangan ruang log untuk paritas-L (Lihat Aaronson dan Gottesman, Physical Review A 70: 052328, 2004). Sekarang, mari kita gunakan beberapa trik dari perhitungan kuantum berbasis pengukuran:

Mengevaluasi sirkuit grup clifford ada di QNC ^ 1. Ini semata-mata karena tidak ada urutan waktu parsial pada pengukuran, dan operasi koreksi hanya dihitung berdasarkan paritas dari beberapa subset dari hasil pengukuran.

Ini sepertinya menyiratkan bahwa L ^ {QNC ^ 1} mengandung P.

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.