]> AND Private Git Repository - rairo15.git/commitdiff
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
generating : synthese secrypt + mons
authorJean-François Couchot <couchot@couchot.iut-bm.univ-fcomte.fr>
Fri, 13 Mar 2015 09:04:30 +0000 (10:04 +0100)
committerJean-François Couchot <couchot@couchot.iut-bm.univ-fcomte.fr>
Fri, 13 Mar 2015 09:04:30 +0000 (10:04 +0100)
chaos.tex
main.tex
stopping.tex

index 91b8717f107e292c4928b2a63fd622494c312bcf..569d44a4508364b83f9b00488616041a6925931f 100644 (file)
--- a/chaos.tex
+++ b/chaos.tex
@@ -524,3 +524,9 @@ and only if its iteration graph $\Gamma_{\mathcal{P}}(f)$ is strongly connected.
   If $b$ is even, any vertex $e$ of $\Gamma_{\{b\}}(f_0)$ cannot reach itself 
   and thus $\Gamma_{\{b\}}(f_0)$ is not strongly connected.
 \end{proof}
+
+The next section shows how to generate functions and a iteration number $b$
+such that $\Gamma_{\{b\}}$ is strongly connected.
+
+
\ No newline at end of file
index bc8524b5951330394e500461650e708f68be85c5..b0f9c8a5f2e593770324499383e3da7c681c271c 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -86,7 +86,9 @@
 
 
 
-\title{XXX}
+\title{Random Walk in a N-cube Without Hamiltonian Cycle 
+  to Chaotic Pseudorandom Number Generation: Theoretical and Practical 
+  Considerations}
 
 \begin{document}
 
 
 
 \begin{abstract}
-This   paper  extends   the  results   presented  in~\cite{bcgr11:ip}
-and~\cite{DBLP:conf/secrypt/CouchotHGWB14} 
-by using the \emph{chaotic} updating mode, in the sense
-of F.  Robert~\cite{Robert}.  In this mode, several components of the system
-may be  updated at each iteration.   At the theoretical level,  we show that
-    the properties of  chaos and uniformity of the  obtained PRNG are preserved.
-    At  the practical level,  we show  that the  algorithm that  builds strongly
-    connected  iteration graphs,  with doubly  stochastic Markov  matrix,  has a
-    reduced mixing time.
+This paper is dedicated to the desgin of chaotic random generators
+and extends previous works proposed by some of the authors.
+We propose a theoretical framework proving both the chaotic properties and
+that the limit distribution is uniform.
+A theoretical bound on the stationary time is given and
+practical experiments show that the generators successfully passe
+the classical statsitcal tests.
 \end{abstract}
 
 \maketitle
@@ -116,13 +116,10 @@ may be  updated at each iteration.   At the theoretical level,  we show that
 \input{preliminaries}
 
 \section{Proof Of Chaos}
-\JFC{Enlever les refs aux PRNGs, harmoniser l'exemple}
 \input{chaos}
 
-\section{Generating....}
-\JFC{Reprendre Mons en synthétisant... conclusion: n-cube moins hamitonien.
-question efficacité d'un tel algo}
-%\input{chaos}
+\section{Functions with Strongly Connected $\Gamma_{\{b\}}(f)$}
+\input{generating}
 
 \section{Random walk on the modified Hypercube}
 \input{stopping}
index 96fd41bce908524622db7243fcc3b079bd633b04..0ad3e8a7bffba16803c5a9c8d0700e8cb6fbd0cc 100644 (file)
@@ -345,4 +345,10 @@ Theorem~\ref{prop:stop} is a direct application of
 lemma~\ref{prop:lambda} and~\ref{lm:stopprime}.
 \end{proof}
 
-
+Notice that the calculus of the stationary time upper bound is obtained
+under the following constraint: for each vertex in the $\mathsf{N}$-cube 
+there are one ongoing arc and one outgoing arc that are removed. 
+The calculus does not consider (balanced) hamiltonian cycles, which 
+are more regular and more binding than this constraint.
+In this later context, we claim that the upper bound for the stopping time 
+should be reduced.