LSB-tree理論證明理解

一些基本公式和定義

(1,c,p1,p2)$(1,c,p_1,p_2)$ 敏感含義

‖,‖≤r,Pr[]≥p1$\Vert ,\Vert \le r,Pr[]\ge p_1$ ,
‖,‖>cr,Pr[]≤p2$\Vert ,\Vert >cr,Pr[]\le p_2$

基本LSH函數

h(o)=⌊a⋅o+bw⌋$$h(o)=\lfloor \frac{a\cdot o+b}{w}\rfloor$$

這個函數是(1,c,p1,p2)$(1,c,p_1,p_2)$ 敏感的，其中p1,p2$p_1,p_2$ 是兩個常量，滿足

ln1/p1ln1/p2≤1c$$\frac{\ln 1/p_1}{\ln 1/p_2}\le \frac{1}{c}$$

。

注意，h(⋅)$h(\cdot )$ 滿足敏感性與w$w$ 沒關係。這是一個疑問，需要看Datar 2004的文章。

整個數據集分佈在