X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/ab1271f8b9509a86f3434c2389be47fe3a1c4d04..c1f6ce3a24b92bfb8dd4da3d9092666c73adbcc9:/oxford.tex diff --git a/oxford.tex b/oxford.tex index b440d77..ae247ee 100644 --- a/oxford.tex +++ b/oxford.tex @@ -502,7 +502,7 @@ Il a cependant été prouvé comme étant chaos-sécure~\cite{fgb11:ip}. Commençons par quelques conventions de notations: \begin{itemize} -\item $\mathbb{S}_\mathsf{k}$ est l'ensemble des stratégies unairesx sur $[k]$; +\item $\mathbb{S}_\mathsf{k}$ est l'ensemble des stratégies unaires sur $[k]$; \item $m^0 \in \mathbb{B}^{\mathsf{P}}$ est un vecteur de $\mathsf{P}$ bits représentant la marque; \item comme précédemment, @@ -511,10 +511,10 @@ Commençons par quelques conventions de notations: \item $S_p \in \mathbb{S}_\mathsf{N}$ est la \emph{stratégie de place} et définit quel élément de $x$ est modifié à chaque itération; - \item $S_c \in \mathbb{S}_\mathsf{P}$ est la \textbf{stratégie de choix} + \item $S_c \in \mathbb{S}_\mathsf{P}$ est la \emph{stratégie de choix} qui définit quel indice du vecteur de marque est embarqué à chaque itération; - \item $S_m \in \mathbb{S}_\mathsf{P}$ est la \textbf{stratégie de mélange} + \item $S_m \in \mathbb{S}_\mathsf{P}$ est la \emph{stratégie de mélange} qui précise quel élément de la marque est inversé à chaque itération. \end{itemize} @@ -553,8 +553,8 @@ m_j^{n-1} & \text{ si }S_m^n\neq j \\ \noindent où $\overline{m_j^{n-1}}$ est la négation booléenne de $m_j^{n-1}$. On impose de plus la contrainte suivante. Soit $\Im(S_p) = \{S^1_p, S^2_p, \ldots, S^l_p\}$ -l'ensemble de cardinalité $k \leq l$ (les doublons sont supprimés). -qui contient la liste des indices $i$, $1 \le i \le p$, +l'ensemble de cardinalité $k \leq l$ (les doublons sont supprimés) +qui contient la liste des indices $i$, $1 \le i \le \mathsf{N}$, tels que $x_i$ a été modifié. On considère $\Im(S_c)_{|D}= \{S^{d_1}_c, S^{d_2}_c, \ldots, S^{d_k}_c\}$ où