Bisakah


21

Pertimbangkan bahasa EQUALITY={anbnn0} .

Diketahui bahwa EQUALITY tidak dapat dikenali oleh mesin Turing (ATM) sublogaritmik yang bergantian (Szepietowski, 1994) . (Ada ATM yang menggunakan ruang sublogaritmik untuk anggota tetapi tidak untuk semua bukan anggota!)

Di sisi lain, Freivalds (1981) menunjukkan bahwa mesin Turing probabilistik ruang-terikat-kesalahan-konstan (PTMs) dapat mengenali EQUALITY tetapi hanya dalam waktu yang diharapkan secara eksponensial ( Greenberg dan Weiss, 1986 ). Kemudian, itu menunjukkan bahwa tidak ada yang dibatasi-kesalahan o(loglogn) -space PTM bisa mengenali bahasa non-reguler di waktu yang diharapkan polinomial ( Dwork dan Stockmeyer, 1990 ). Pertanyaanku adalah

apakah PTMs ruang-sublogaritmik poly-time mengenali EQUALITY dengan bounded-error.


4
Saya tidak mengerti mengapa judul pertanyaan telah diedit untuk menghapus definisi bahasa dari itu. Tidak ada yang akan membayangkan bahwa "melakukan pemeriksaan kesetaraan" berarti "memutuskan bahasa {anbnn0} .
David Richerby

1
@DavidRicherby: Terima kasih atas saran dan komentar penyuntingan Anda. Saya hanya lebih suka judul yang kurang teknis. Kalau tidak, saya harus menambahkan tidak hanya definisi bahasa tetapi juga istilah "diakui", "terikat-kesalahan", dan "mesin Turing probabilistik".
Abuzer Yakaryilmaz

2
Judul harus memberi tahu orang-orang tentang pertanyaan apa. Ini adalah komunitas peneliti TCS dan setiap peneliti TCS tahu apa arti "diakui", "kesalahan-terikat" dan "mesin Turing probabilistik". Demikian juga, " {anbnn0} " "langsung dipahami oleh para peneliti TCS; "lakukan pemeriksaan kesetaraan" tidak. Jika langauge {anbnn0} memiliki nama yang umum dipahami, menggunakan nama itu akan baik-baik saja tetapi, sejauh yang saya ketahui, tidak.
David Richerby

1
o(logn)

loglogn

Jawaban:


8

Saya telah menemukan jawaban untuk pertanyaan saya sendiri. Hasilnya diberikan dalam Bagian 5 dari Karpinski dan Verbeek, 1987 .

nΘ(loglogn)anbmO(loglogn)

nmk4log(n+m)nmmodkO ( log log n ) O ( log log n ) k n m 1kO(loglogn)O(loglogn)knm12

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.