From 5315cb3d36d38ba6056e3fb8ebdfd09f6b0c609a Mon Sep 17 00:00:00 2001 From: Andre Henriques Date: Tue, 7 Nov 2023 17:34:27 +0000 Subject: [PATCH] done 6.1 --- cw/cw.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cw/cw.tex b/cw/cw.tex index bc8e9a8..d109e71 100644 --- a/cw/cw.tex +++ b/cw/cw.tex @@ -135,7 +135,7 @@ This q pairs work because when the oracle selects b=0: There will be no colisions: - $$\nexists i,k : i \ne j \land P_{0i} \ne p E_{0i} \implies E_{0i} \ne E_{0j}$$ + $$\exists 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: