Sunting: Karena saya belum menerima tanggapan / komentar dalam seminggu, saya ingin menambahkan bahwa saya senang mendengar apa pun tentang masalah tersebut. Saya tidak bekerja di daerah itu, jadi meskipun itu pengamatan sederhana, saya mungkin tidak mengetahuinya. Bahkan komentar seperti "Saya bekerja di area ini, tetapi saya belum melihat karakterisasi seperti ini" akan sangat membantu!
Latar Belakang:
Ada beberapa model pembelajaran yang dipelajari dengan baik dalam teori belajar (misalnya, pembelajaran PAC, pembelajaran online, pembelajaran eksak dengan pertanyaan keanggotaan / kesetaraan).
Misalnya, dalam pembelajaran PAC, kompleksitas sampel dari kelas konsep memiliki karakterisasi kombinatorial yang baik dalam hal dimensi VC kelas. Jadi jika kita ingin belajar kelas dengan akurasi dan kepercayaan diri yang konstan, ini dapat dilakukan dengan sampel, di mana adalah dimensi VC. (Perhatikan bahwa kita berbicara tentang kompleksitas sampel, bukan kompleksitas waktu.) Ada juga karakterisasi yang lebih halus dalam hal akurasi dan kepercayaan diri. Demikian pula, model terikat pembelajaran online memiliki karakterisasi kombinatorial yang bagus.
Pertanyaan:
Saya ingin tahu apakah hasil yang serupa diketahui untuk model pembelajaran pasti dengan pertanyaan keanggotaan. Model didefinisikan sebagai berikut: Kami memiliki akses ke kotak hitam yang pada input memberi Anda . Kita tahu berasal dari beberapa kelas konsep . Kami ingin menentukan dengan pertanyaan sesedikit mungkin.
Apakah ada parameter kombinatorial dari konsep kelas yang mencirikan jumlah kueri yang diperlukan untuk mempelajari konsep dalam model pembelajaran eksak dengan kueri keanggotaan?
Apa yang saya tahu:
Karakterisasi terbaik yang saya temukan dalam tulisan ini oleh Servedio dan Gortler , menggunakan parameter yang mereka kaitkan dengan Bshouty, Cleve, Gavaldà, Kannan dan Tamon . Mereka mendefinisikan parameter kombinatorial yang disebut , di mana adalah kelas konsep, yang memiliki properti berikut. (Biarkan menjadi jumlah kueri optimal yang diperlukan untuk mempelajari dalam model ini.)
Karakterisasi ini hampir ketat. Namun, mungkin ada kesenjangan kuadrat antara batas atas dan bawah. Misalnya jika , maka batas bawah adalah , tetapi batas atas adalah . (Saya juga berpikir kesenjangan ini dapat dicapai, yaitu, ada kelas konsep yang batas bawah keduanya , tetapi batas atas adalah .)Ω ( k ) O ( k 2 ) Ω ( k )