table(restrictii). |_. # |_. Punctaj |_. Restricţii |
| 1 | 3 | $b{~i~} = *true*$ |
| 2 | 4 | $b{~i~} = *false*$ |

| 3 | 16 | 1 ≤ n ≤ 7 |
| 4 | 25 | 1 ≤ n ≤ 15 |

| 3 | 16 | $1 ≤ n ≤ 7$ |
| 4 | 25 | $1 ≤ n ≤ 15$ |

| 5 | 22 | $n = 2^16^-1$ şi fiecare $b{~i~}$ este generat uniform aleator din mulţimea ${*true*, *false*}$ |
| 6 | 30 | Fără restricţii suplimentare |

h2. Exemplu

h2. Exemple

table(example). |_. binsearch.in |_. binsearch.out |

| This is some
  text written on
  multiple lines.
| This is another
  text written on
  multiple lines.

| 4
  3
  111
  7
  1111111
  3
  000
  7
  0000000
| 1 2 3
  1 2 3 4 5 6 7
  3 2 1
  7 6 5 4 3 2 1

|

| 2
  3
  010
  7
  0010110
| 3 2 1
  7 3 1 5 2 4 6
|

h3. Explicaţie

...

*Exemplul 1.* În primele două teste avem S(p) = 0.
În cel de-al treilea test, avem $S(p) = 1$. Acest lucru se întâmplă deoarece *$binary_search(n, p, 2)$* returnează *$true$*, deşi $b{~2~} = *false*$.
În cel de-al patrulea test, avem $S(p) = 1$. Acest lucru se întâmplă deoarece *$binary_search(n, p, 4)$* returnează *$true$*, deşi $b{~4~} = *false*$.

== include(page="template/taskfooter" task_id="binsearch") ==