4 \usepackage{subcaption}
8 %\usepackage[font=footnotesize]{subfig}
11 \usepackage{algorithm2e}
13 %\usepackage{ntheorem}
15 \usepackage[utf8]{inputenc}
16 \usepackage[T1]{fontenc}
17 \usepackage[english]{babel}
18 \usepackage{amsmath,amssymb,latexsym,eufrak,euscript}
19 \usepackage{pstricks,pst-node,pst-coil}
23 \usepackage{pgflibrarysnakes}
27 \usetikzlibrary{arrows}
28 \usetikzlibrary{automata}
29 \usetikzlibrary{snakes}
30 \usetikzlibrary{shapes}
33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
34 % Définitions personnelles
35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
37 \definecolor{bleuclair}{rgb}{0.75,0.75,1.0}
38 \newcommand{\danger}{!!}
39 \newcommand{\ANNOT}[1]{
42 {\Huge{$\Rightarrow$}}
43 \large\fcolorbox{black}{bleuclair}{
44 \begin{minipage}[h]{.8\linewidth}
54 \newcommand {\tv}[1] {\lVert #1 \rVert_{\rm TV}}
59 \def \ts {\tau_{\rm stop}}
62 \newtheorem*{xpl}{Running Example}
64 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
65 %\newcommand{\ie}{\textit{i.e.}}
66 \newcommand{\Nats}[0]{\ensuremath{\mathbb{N}}}
67 \newcommand{\R}[0]{\ensuremath{\mathbb{R}}}
68 \newcommand{\Z}[0]{\ensuremath{\mathbb{Z}}}
69 \newcommand{\Bool}[0]{\ensuremath{\mathds{B}}}
70 \newcommand{\rel}[0]{\ensuremath{{\mathcal{R}}}}
71 \newcommand{\Gall}[0]{\ensuremath{\mathcal{G}}}
74 \newcommand{\JFC}[1]{\begin{color}{green}\textit{#1}\end{color}}
75 \newcommand{\CG}[1]{\begin{color}{blue}\textit{}\end{color}}
76 \newcommand{\og}[0]{``}
77 \newcommand{\fg}[1]{''}
84 \title{Random Walk in a N-cube Without Hamiltonian Cycle
85 to Chaotic Pseudorandom Number Generation: Theoretical and Practical
90 \author{Sylvain Contassot-Vivier, Jean-François Couchot, Christophe Guyeux, Pierre-Cyrille Heam}
91 \address{LORIA, Université de Lorraine, Nancy, France\\
92 FEMTO-ST Institute, University of Franche-Comté, Belfort, France}
94 \keywords{Pseudorandom Number Generator, Theory of Chaos, Markov Matrice, Hamiltonian Path, Stopping Time, Statistical Test}
96 \subjclass{34C28, 37A25,11K45}
99 This paper is dedicated to the design of chaotic random generators
100 and extends previous works proposed by some of the authors.
101 We propose a theoretical framework proving both the chaotic properties and
102 that the limit distribution is uniform.
103 A theoretical bound on the stationary time is given and
104 practical experiments show that the generators successfully pass
105 the classical statistical tests.
110 \section{Introduction}
113 \section{Preliminaries}\label{sec:preliminaries}
114 \input{preliminaries}
116 \section{Proof Of Chaos}\label{sec:proofOfChaos}
119 \section{Functions with Strongly Connected $\Gamma_{\{b\}}(f)$}\label{sec:SCCfunc}
122 \section{Balanced Hamiltonian Cycle}\label{sec:hamilton}
126 \section{Stopping Time}\label{sec:hypercube}
129 \section{Experiments}\label{sec:prng}
137 %\acknowledgements{...}
139 \bibliographystyle{alpha}
140 \bibliography{biblio}
146 %%% ispell-dictionary: "american"