From 0450cf7c19d3ee96a1f67885b7079735636652df Mon Sep 17 00:00:00 2001 From: Andre Henriques Date: Tue, 7 Nov 2023 17:33:57 +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 5e9379a..bc8e9a8 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: - $$\forall i,k \nexists 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: