Telah diketahui secara umum bahwa tidak ada protokol dua pihak deterministik yang dapat menyelesaikan masalah disjointness (DISJ) pada input bit tanpa mengirim bit dalam kasus terburuk (lihat, misalnya, buku oleh Kushilevitz dan Nisan). Untuk protokol acak terbatas kesalahan, batas bawah , untuk beberapa konstanta , juga telah ditunjukkan dalam makalah seminal oleh Razborov [Razborov92]. Pertanyaanku adalah:
Apa nilai eksplisit paling dikenal dari saat ini (baik batas atas dan bawah)?
Juga, apakah ada kepercayaan pada nilai aktual ?
[Razborov92] Alexander A. Razborov: Tentang Kompleksitas Distribusi Ketidakjelasan. Teor Komputasi. Sci. 106 (2): 385-390 (1992) doi: 10.1016 / 0304-3975 (92) 90260-M
Jawaban:
Dalam makalah baru-baru ini , Braverman, Garg, Pankratov, dan Weinstein menghitung nilai menjadi beberapa konstanta di sekitar 0,4827, hingga faktor sublinear. Ini memberikan ikatan ketat pada kompleksitas komunikasi disjointness.δ
Konstanta itu sendiri ditemukan menggunakan sistem aljabar komputer, dan sejauh yang saya ketahui tidak dapat diungkapkan dengan sederhana.
sumber