Saya bertanya-tanya apakah masalah yang waktu sublinear (dalam ukuran input) algoritma yang ada dapat dicirikan memiliki sifat-sifat tertentu. Ini termasuk waktu sublinear (mis. Pengujian properti, gagasan alternatif perkiraan untuk masalah keputusan), ruang sublinear (mis. Algoritma sketsa / streaming di mana mesin Turing memiliki pita baca-saja, ruang kerja sublinear, dan keluaran hanya-tulis tape) dan pengukuran sublinear (mis pemulihan jarang / penginderaan tekan). Secara khusus, saya tertarik dengan karakterisasi semacam itu untuk kerangka kerja pengujian algoritma properti dan dalam model klasik algoritma acak dan aproksimasi.
Misalnya, masalah yang ada solusi pemrograman dinamis menunjukkan substruktur optimal dan subproblem tumpang tindih; mereka yang memiliki solusi serakah menunjukkan substruktur optimal dan struktur matroid. Dan seterusnya. Referensi apa pun yang berhubungan dengan topik ini dipersilahkan.
Dengan pengecualian beberapa masalah yang mengakui algoritma sub-linear deterministik, hampir semua algoritma sublinear yang saya lihat adalah acak. Apakah ada kelas kompleksitas spesifik yang terkait dengan masalah yang menerima algoritma waktu sublinear? Jika ya, apakah kelas ini termasuk dalam BPP atau PCP?
sumber
Jawaban:
Untuk tugas konstan pengujian properti grafik, karakterisasi yang menarik diketahui. Sebuah properti grafik adalah fungsi dari semua grafik untuk , dan properti grafik P adalah diuji jika ada algoritma acak Sebuah sehingga untuk semua ε > 0 dan semua grafik G :{ 0 , 1 } P SEBUAH ε > 0 G
Artinya, dapat membedakan antara grafik yang memiliki P dan grafik yang memiliki mengedit jarak tinggi dari grafik memiliki P . Alon, Fischer, Newman, dan Shapira membuktikan bahwa properti P dapat diuji dengan cara ini jika dan hanya jika properti dapat "direduksi" menjadi properti untuk memeriksa apakah grafik memiliki partisi ε- regular (dalam arti Szemeredi) . Ini menunjukkan bahwa pengujian keteraturan "lengkap" untuk pengujian, dalam beberapa hal. (Ada juga versi kesalahan satu sisi pengujian, lihat referensi.)SEBUAH P P P ε
sumber
Di bidang ruang sublinear , tidak ada kelas masalah eksplisit yang menerima solusi ruang sublinear, tetapi ada kelas besar masalah (estimasi momen frekuensi, pengurangan dimensi dll) di mana keberadaan "sketsa" kecil dapat ditunjukkan dan ini mengarah ke algoritma yang efisien.
Tetapi dalam ruang ini juga, algoritme semuanya acak, dan ada batas bawah deterministik yang kuat sebagian besar didasarkan pada kompleksitas komunikasi.
sumber