Sebuah bahasa dalam jika ada mesin Turing logspace yang memutuskan bahasa dengan jumlah saran polinomial.
Lihat di sini untuk info lebih lanjut: https://en.wikipedia.org/wiki/L/poly
Pertanyaan
Apa konsekuensi dari ?
Sebuah bahasa dalam jika ada mesin Turing logspace yang memutuskan bahasa dengan jumlah saran polinomial.
Lihat di sini untuk info lebih lanjut: https://en.wikipedia.org/wiki/L/poly
Pertanyaan
Apa konsekuensi dari ?
Jawaban:
Salah satu konsekuensi sederhana adalah . Bukti: Untuk bahasa apa pun A ∈ P / poli , ada bahasa B ∈ P dan urutan string saran panjang polinomial y 1 , y 2 , y 3 , … sedemikian rupa sehingga x ∈ A . Dengan asumsi, ada bahasa C ∈ L dan urutan string panjang polinomial saran z 1 , z 2 , z 3 , … sedemikian rupa sehingga ( x , y ) ∈ B . Ini menyiratkan A ∈ L / poli ; string saran untuk x adalah ( y | x | , z | ( x , y | x | ) | ) .
(Versi singkat dari buktinya: .)