 |
 |
14 of 32 |  |
 |
 |
MIT
1
)
1
(
2
3
1
1
3
2
3
2
1
2
2
n
2
k
2
)
(
)
)(
(
)
1
(
)
1
)(
1
(
safe]
n
contractio
Pr[
success]
Pr[
-
-
-
-
-
-
=
÷
ø
ö
ç
è
æ
=
=
=
-
-
-
=
=
Õ
n
n
n
n
n
n
n
n
n
th
k
L
L
Analysis III
…not too good!