EDIT (v2): Menambahkan bagian di akhir tentang apa yang saya ketahui tentang masalah.
EDIT (v3): Menambahkan diskusi tentang ambang batas di akhir.
Pertanyaan
Pertanyaan ini terutama merupakan permintaan referensi. Saya tidak tahu banyak tentang masalahnya. Saya ingin tahu apakah ada pekerjaan sebelumnya tentang masalah ini, dan jika demikian, dapatkah seseorang mengarahkan saya ke makalah yang membicarakan masalah ini? Saya juga ingin tahu batas terbaik saat ini pada tingkat perkiraan . Informasi lain apa pun juga akan dihargai (misalnya, informasi historis, motivasi, hubungan dengan masalah lain, dll.).
Definisi
Biarkan menjadi fungsi Boolean. Misalkan menjadi polinomial atas variabel hingga dengan koefisien nyata. Derajat polinomial adalah derajat maksimum di atas semua monomial. Derajat monomial adalah jumlah eksponen dari berbagai yang muncul dalam monomial itu. Misalnya .
Suatu polinomial dikatakan sebagai -approximate if untuk semua . The tingkat -approximate dari fungsi Boolean , dinotasikan sebagai , adalah tingkat minimum yang jumlahnya banyak yang -approximates . Untuk sekumpulan fungsi, , adalah derajat minimum sehingga setiap fungsi dalam dapat -ditaksir oleh polinomial derajat paling banyak.
Perhatikan bahwa setiap fungsi dapat direpresentasikan tanpa kesalahan dengan derajat jumlahnya banyak. Beberapa fungsi benar-benar membutuhkan derajat polinomial untuk memperkirakan kesalahan konstan apa pun. Paritas adalah contoh dari fungsi semacam itu.
Pernyataan masalah
Apa itu ? (Konstanta 1/3 adalah arbitrer.)
Catatan
Saya mengalami masalah ini di koran The Quantum Query Complexity of AC0 oleh Paul Beame dan Widad Machmouchi. Mereka bilang
Juga, hasil kami tidak melakukan apa pun untuk menutup celah di batas bawah pada tingkat perkiraan fungsi AC0.
Mereka menyebutkan "masalah tingkat perkiraan AC0" dalam ucapan terima kasih mereka juga.
Jadi saya berasumsi telah ada beberapa pekerjaan pada masalah ini sebelumnya? Dapatkah seseorang mengarahkan saya ke sebuah makalah yang membicarakan masalah tersebut? Dan apa batas atas dan bawah yang paling dikenal?
Apa yang saya ketahui tentang masalah (Bagian ini ditambahkan dalam v2 pertanyaan)
Batas atas paling dikenal di yang diketahui adalah batas atas sepele . Batas bawah terbaik yang saya tahu berasal dari batas bawah Aaronson dan Shi untuk masalah perbedaan tabrakan dan elemen, yang memberikan batas bawah . (Untuk versi sangat terbatas dari , seperti formula dengan ukuran rumus, atau kedalaman-2 sirkuit dengan gerbang, kita bisa membuktikan atas terikat menggunakan kompleksitas kueri kuantum.)n ~ Ω (n2/3)AC0o(n2)o(n2)o(n)
Terkait: derajat ambang (Ditambahkan dalam v3)
Seperti yang ditunjukkan oleh Tsuyoshi dalam komentar, masalah ini terkait dengan masalah menentukan tingkat ambang . Tingkat ambang fungsi adalah tingkat minimum polinomial sehingga dan . fpf(x)=1f ( x ) = 0
Batas bawah untuk tingkat ambang sekarang telah ditingkatkan oleh Sherstov. Dia menunjukkan keluarga formula baca-sekali kedalaman konstan pada variabel yang derajat ambangnya mendekati ketika kedalamannya hingga tak terhingga, yang hampir ketat karena rumus baca-sekali memiliki ambang (dan bahkan perkiraan ) derajat . Lihat http://eccc.hpi-web.de/report/2014/009/ . (Jan, 2014) nΩ( √O( √