kompleksitas komunikasi multi-partai dari "Set Partition problem"

13

Dalam suatu aplikasi yang saya pertimbangkan, saya perlu mengetahui kompleksitas komunikasi dari masalah berikut:

Diberikan , misalkan adalah himpunan bilangan bulat dari ke . Alice, Bob, dan Carol masing-masing menerima subset , dilambangkan oleh , , dan , masing-masing. Mereka ingin memeriksa apakah , dan membentuk partisi dari , yaitu, mereka menguraikan dan serikat mereka adalah . $n$ $S$ $1$ $n$ $S$ $A$ $B$ $C$ $A$ $B$ $C$ $S$ $S$

Saya sangat tertarik dengan kasus 3 pihak tetapi kasus-kasus lain juga akan menarik. Perhatikan bahwa untuk kasus 2 pihak, masalahnya setara dengan masalah EQUALITY sehingga memiliki batas bawah untuk protokol deterministik tetapi batas atas untuk protokol acak. $\Omega(n)$ $O(\log n)$

Pertanyaan saya adalah apakah masalah ini diketahui sebelumnya. Jika Anda tahu ada masalah yang mungkin terkait, saya akan tertarik untuk mengetahuinya juga.

cc.complexity-theory communication-complexity

— Danu
sumber

17

Batas bawah linier pada CC deterministik mengikuti dengan menetapkan salah satu set menjadi kosong.

Untuk acak logaritmik atas terikat, catatan pertama bahwa masalah ini dapat dikurangi dengan masalah menanyakan apakah jumlah dari tiga $3n$ -bit nomor adalah persis $2^{3n}-1$ . Yang ini dapat diselesaikan dalam $O(\log n)$ komunikasi acak oleh para pemain yang mengoperasikan mod $O(\log n)$ acak -bit prime.

— Noam
sumber

2^{n}

$2^n$

n

$n$

2^{n} - 1

$2^{n}-1$

1

Saya mencari pertanyaan yang sedikit berbeda, yang sepertinya terkait. Apa yang akan menjadi referensi yang baik untuk perincian tentang batas atas acak dalam jawaban di atas?

— Keren
sumber

1

mungkin Anda harus memposting pertanyaan lain?

— Suresh Venkat

Untuk jawaban atas masalah saya, Anda dapat melihat protokol acak untuk menyelesaikan masalah Kesetaraan untuk mendapatkan ide. Misalnya, Contoh 3.5 dalam buku Nissan-Kushilevitz. Gagasan utamanya adalah menggunakan sidik jari, saya kira.

— Danu