Kompleksitas komunikasi mendekati ukuran persimpangan set

Pertimbangkan masalah set-persimpangan: Alice dan Bob masing-masing mendapatkan subset dari $\left\{ 1,\ldots, n\right\}$ , dan mereka ingin tahu apakah set mereka berpotongan. Ini adalah masalah kanonik dari kompleksitas komunikasi, dan diketahui bahwa protokol acak untuk masalah ini memerlukan $\Theta(n)$ bit komunikasi ( lihat survei di sini ). Dalam kasus di mana set berukuran $k$ untuk $k \ll n$ , diketahui bahwa protokol acak membutuhkan $\Theta(k)$ bit ( lihat di sini ).

Pertimbangkan sekarang varian di mana Alice dan Bob ingin tahu ukuran persimpangan set mereka. Jelas, menghitung ukuran yang tepat akan mengurangi masalah set-persimpangan standar, dan ini berlaku bahkan jika mereka hanya ingin menghitung perkiraan multiplikasi ukuran. Namun, apa yang terjadi jika mereka ingin menghitung perkiraan tambahan ukuran persimpangan? Apakah ada batas bawah atau batas atas yang diketahui tentang masalah ini?

Saya sangat tertarik dengan pertanyaan ini dalam pengaturan set kecil, yaitu, kasus di mana set adalah ukuran $k \ll n$ .

reference-request communication-complexity Atau Meir
sumber

Aditif c-aproksimasi perpotongan dari dua (n * 2 * c) -bit set setidaknya sekeras komputasi persimpangan dua set n-bit; kita mengurangi dari yang terakhir ke yang sebelumnya dengan menyalin setiap bit 2c kali dan membulatkan ukuran persimpangan ke kelipatan terdekat dari c.

daniello

Saya kira pengurangan berikut dari disjointness set klasik ke

additive perkiraan akan memberi Anda batas bawah. Misalkan ada protokol yang mencapai pendekatan

. Mereka pemain menduplikasi masing-masing

bit asli ke

bit. Karenanya jika tidak ada persimpangan, output paling banyak adalah

, dan jika ada persimpangan, paling tidak

. Ini memberi batas bawah

α

$\alpha$

α = f (n)

$\alpha=f(n)$

n

$n$

3 f (n)

$3f(n)$

f (n)

$f(n)$

2 f (n)

$2 f(n)$

Ω (\frac{n}{3 f (n)})

$\Omega(\frac{n}{3f(n)})$

Sajin Koroth

Terima kasih! Jika Anda mengubah komentar Anda menjadi jawaban, saya akan menerimanya.

Atau Meir

Jangan dua himpunan bagian

dari ukuran

selalu berpotongan?

{1, \dots, n}

$\{1, \ldots, n\}$

n

$n$

Geoffrey Irving

Jawaban:

Saya akan memberikan dua batas atas. Biarkan dan menjadi set yang diberikan masing-masing untuk Alice dan Bob, dan beri , , . $A$ $B$ $a=|A|$ $b=|B|$ $c=|A\cap B|$

Pertama, ada protokol acak yang, diberikan dan , menghitung dengan probabilitas perkiraan hingga kesalahan aditif , menggunakan $d>0$ $\epsilon>0$ $\ge1-\epsilon$ $c$ $d$ bit komunikasi, dan $O\Bigl(\left(\frac{\min\{a,b\}}d\right)^2\log n\log\epsilon^{-1}\Bigr)$ bit keacakan. $O\Bigl(\left(\frac{\min\{a,b\}}d\right)^2\log \min\{a,b\}\log\epsilon^{-1}\Bigr)$

Protokolnya sebagai berikut:

Jika , pihak yang melihatnya mengakhiri protokol dan menghasilkan sebagai estimasi. Jika tidak, Alice dan Bob berkomunikasi dan satu sama lain, dan menentukan mana yang lebih kecil. Aku akan menganggap di bawah wlog bahwa . $d\ge\min\{a,b\}$ $0$ $a$ $b$ $a\le b$
Alice menggambar sampel acak seragam independen , , dan mengirimkannya ke Bob. $t=\log(2\epsilon^{-1})a^2/(2d^2)$ $a_i\in A$ $i<t$
Bob memperkirakan sebagai $c$ . $\frac at|\{i<t:a_i\in B\}|$

Protokol adalah benar dengan batas-batas Chernoff-Hoeffding: jika menunjukkan indikator variabel acak acara , maka , , adalah variabel iid dengan mean . Jadi, $X_i$ $a_i\in B$ $X_i$ $i<t$ $p=c/a$ dan juga untuk.

Pr [a \bar{X} \leq c - d] = Pr [\bar{X} \leq p - \frac{d}{a}] \leq \exp (- 2 {(\frac{d}{a})}^{2} t) \leq \frac{ϵ}{2},

$\Pr\left[a\overline X\le c-d\right]=\Pr\left[\overline X\le p-\tfrac da\right]\le\exp\left(-2\left(\tfrac da\right)^2t\right)\le\frac\epsilon2,$

Pr [a \bar{X} \geq c + d]

$\Pr\bigl[a\overline X\ge c+d\bigr]$

Sekarang, batas-batas ini agak boros jika : ada juga varian Chernoff batas yang menyatakan $c\ll a$ yang akan memungkinkan kita untuk mendapatkan dengan jumlah sampellebih kecil dengan faktor sekitar. Masalahnya adalah bahwaadalah jumlah yang ingin kita perkirakan, maka kita tidak mengetahuinya sebelumnya. Ini dapat diatasi dengan membuat estimasi pertama ball-park.

\begin{aligned} Pr [\bar{X} \leq p - δ] & \leq \exp (- \frac{δ^{2}}{2 p} t), \\ Pr [\bar{X} \geq p + δ] & \leq \exp (- \frac{δ^{2}}{3 p} t), δ \leq p, \end{aligned}

$\begin{align} \Pr\left[\overline X\le p-\delta\right]&\le\exp\left(-\frac{\delta^2}{2p}t\right),\\ \Pr\left[\overline X\ge p+\delta\right]&\le\exp\left(-\frac{\delta^2}{3p}t\right),\qquad\delta\le p, \end{align}$

t

$t$

p

$p$

p = c / a

$p=c/a$

c

$c$

Jadi, protokol yang ditingkatkan menghitung dengan probabilitas suatu aditif -pendekatan menggunakan $\ge1-\epsilon$ $d$ $c$ bit komunikasi, dan $O\Bigl(\frac{\min\{a,b\}}d\left(1+\frac cd\right)\log n\log\epsilon^{-1}\Bigr)$ bit keacakan, dan itu berjalan sebagai berikut (konstanta tidak dioptimalkan): $O\Bigl(\frac{\min\{a,b\}}d\left(1+\frac cd\right)\log \min\{a,b\}\log\epsilon^{-1}\Bigr)$

Sama seperti di atas.
Alice menarik sampel acak dari , dan mengirimkannya ke Bob. $r=10(\log\epsilon^{-1})a/d$ $A$
Bob jumlah berapa banyak sampel ini milik , dan mengirimkan nomor ini, , untuk Alice. $B$ $s$
Jika , protokol berakhir dengan output . $as/r\le d/2$ $0$
Alice menarik sampel acak , , dan mengirimkannya ke Bob. $t=10sa/d$ $a_i\in A$ $i<t$
Bob memperkirakan sebagai $c$ . $\frac at|\{i<t:a_i\in B\}|$

Tanpa masuk ke dalam perincian, batas Chernoff yang dikutip di atas menyiratkan bahwa dengan probabilitas tinggi, nilai adalah , dalam hal ini protokol tidak melebihi biaya yang dinyatakan, dan ia menghitung dengan probabilitas tinggi a. Estimasi dengan aplikasi lain dari batas Chernoff. $s/r$ $\Theta(c/a)$ $c$

Emil Jeřábek
sumber

Terima kasih atas jawaban bermanfaatnya! Namun, saya baru sadar saya lupa menyebutkan bahwa saya lebih tertarik pada kasus di mana set kecil dibandingkan dengan

. Apakah ada cara untuk membuat protokol Anda berfungsi dalam pengaturan ini? Maaf atas kebingungan ...

n

$n$

Atau Meir

Apa yang Anda maksud dengan perkiraan aditif dalam pengaturan seperti itu?

Emil Jeřábek

Saya akan tertarik pada pendekatan hingga istilah aditif yang bermakna, mulai dari yang konstan hingga linier dalam ukuran set.

Atau Meir

Tetapi kesalahan hingga fraksi konstan ukuran himpunan adalah sama dengan perkiraan multiplikatif, bukan?

Emil Jeřábek

Oh saya mengerti, Anda membiarkan sebagian kecil dari ukuran dua set aslinya, bahkan jika persimpangan jauh lebih kecil.

Emil Jeřábek

[Jawaban Emil jelas lebih baik dan lebih sederhana jika Anda tertarik pada jenis kesalahan ini, kecuali karena alasan tertentu Anda membutuhkan protokol Anda untuk menjadi deterministik. Ups.]

Ada protokol nontrivial jika Anda tertarik pada perkiraan aditif tipe untuk konstanta kecil . $\pm \delta n$ $\delta > 0$

Sebagai contoh, ini satu:

$\approx \sqrt{n}$ $n$ $n$
$(k, \varepsilon)$ $\widetilde{O}(\sqrt{n})$ $\widetilde{O}_{\varepsilon}(\sqrt{n})$ $\sqrt{n}$
$(S_1^A, S_2^A)$ $(S_1^B, S_2^B)$ $max {min {| S_{1}^{A} \cap S_{1}^{B} |, | S_{2}^{A} \cap S_{2}^{B} |}, min {| S_{1}^{A} \cap S_{2}^{B} |, | S_{2}^{A} \cap S_{1}^{B} |}}$ $\max\left\{ \min\{\left| S_1^A \cap S_1^B \right|, \left|S_2^A \cap S_2^B\right|\}, \min\{\left|S_1^A \cap S_2^B\right|, \left| S_2^A \cap S_1^B \right|\} \right\}$ $\delta > 0$ $\pm \delta n$ $\delta$ $k, \varepsilon$ . Persimpangan antara item yang tersisa dapat diperkirakan dengan dekat dengan metode statistik standar, karena grafik antara set ini mematuhi statistik dari grafik bipartit acak dengan kerapatan yang diberikan.

Jika pendekatan semacam ini menarik bagi Anda, Anda mungkin mendapatkan jarak tempuh lebih banyak dari lemma keteraturan grafik lainnya, terutama Frieze-Kannan. Ini adalah survei.

GMB
sumber

Terima kasih! Koneksi ke partisi keteraturan menarik.

Atau Meir