done 6.1
All checks were successful
continuous-integration/drone/push Build is passing

This commit is contained in:
Andre Henriques 2023-11-07 17:36:35 +00:00
parent 5315cb3d36
commit e21c23b10f

View File

@ -6,7 +6,7 @@
\usepackage{tabularx}
\usepackage{pdfpages}
\usepackage{float}
\usepackage{amsmath}
\usepackage{amsmath, amssymb}
\usepackage{systeme}
\usepackage{graphicx}
@ -135,7 +135,7 @@
This q pairs work because when the oracle selects b=0:
There will be no colisions:
$$\exists i,k : i \ne j \land P_{0i} \ne p E_{0i} \implies E_{0i} \ne E_{0j}$$
$$\nexists i,k : i \ne j \land P_{0i} \ne p E_{0i} \implies E_{0i} \ne E_{0j}$$
there if you don't find any colissions you can assume that the the oracle selected b=0
if the oracle selects b=1: