Question: Let H = $ { h _ 1 , h _ 2 , . . . } $ be a collection of has

Let H = $\{ h_1, h_2,...\}$ be a collection of has functions where $h_i$ : U $\rightarrow$ $\{0,1,..., M-1\}$ for every $\textit{i}$ and we assume that $|U|$ = $2^u$ and that M = $2^b$ (the same setup as in class when we designed a universal has family). Recall that H is a universal hash family if $\textbf{Pr}$_{h\simeq H}$[h(x)= h(y)]$ $\leq$ $\frac{1}{M}$ for x, y $\epsilon$ U.\\
Consider the following, slightly different definition. We say that H is a $\textit{2-universal hash family}$ if $\textbf{Pr}$_{h\simeq H}$[h(x)= a \wedge h(y)]$ $\leq$ $\frac{1}{M^2}$ for all x, y $\epsilon$ U with x $
eq$ y and a, b $\epsilon$ \{0,1,..., M-1\}.\\
(a) Prove that any 2-universal hash family is also a universal hash family.\\
(b) Prove that for every $\textit{u}$ and $\textit{b}$ there is some universal has family from U to \{0,1,..., M-1\}(with $|U|$ = $2^u$ and M = $2^b$) which is $\textit{not}$ a 2-universal has family.\\
(c) Give a universal has family from U =\{0,1,2,3,4,5,6,7\} to \{0,1\} that contains at most four functions (and prove it is universal). Is this also a 2-universal has family? Why or why not?\\

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!