Ini adalah masalah terbuka tua apakah langsung-sum teorema berlaku untuk kompleksitas komunikasi deterministik, yaitu, apakah pemecahan contoh independen dari masalah adalah kali lebih keras dari pemecahan satu contoh. [FKNN95] menunjukkan hasil berikut:
- Hasil negatif: Ada fungsi parsial (karena [O90]) yang kompleksitas komunikasi deterministiknya adalah , tetapi menghitungnya pada instance independen memiliki kompleksitas .
- Hasil positif: Untuk setiap fungsi , jika kompleksitas komunikasi deterministik adalah maka kompleksitas komputasi pada contoh independen setidaknya .
Saya tidak mengetahui adanya hasil positif umum lainnya pada masalah jumlah langsung. Namun, tampaknya untuk masalah-masalah khusus yang biasanya dipertimbangkan dalam kompleksitas komunikasi, misalnya kesetaraan atau ketidakberpihakan, teorema jumlah-langsung diketahui berlaku.
Pertanyaan saya adalah, apakah ada contoh lain masalah yang teorema kompleksitas komunikasi deterministiknya diketahui tidak dimiliki, atau bahkan diketahui tidak dimiliki (di samping fungsi [O90])?
Referensi:
[FKNN95] Tomás Feder, Eyal Kushilevitz, Moni Naor, Noam Nisan: Kompleksitas Komunikasi yang diamortisasi. SIAM J. Comput. 24 (4): 736-750 (1995)
[O90] Dua Pesan Hampir Optimal untuk Menyampaikan Informasi. Alon Orlitsky. PODC, halaman 219-232. ACM, (1990)