Obtaining an Algorithm
n
Consider a simple case first:
n
Y
Q1
Q2
Q3
Q4
n
Update parameters for binary Y
n
For query
Q
=
q
only need to consider
q
y |
q
0
n
Theorem: