\documentclass[dvips,10pt,b5paper]{book}

\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage[dvips]{graphicx}

\usepackage{AlgofInfColor9December2010}


\usepackage{multirow}
\usepackage{enumerate}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Compilers
\usepackage[emtex,dvips,all]{xy} 
\usepackage{hhline} 
\usepackage{mycolortbl}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Automata
\usepackage{emlines,emlines2}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Reliable
\usepackage{amsmath,amssymb}

\addtocounter{part}{3}
\addtocounter{chapter}{16}
\setcounter{page}{795}
\setcounter{tocdepth}{2}

\topmargin -10mm
\oddsidemargin 0.0in
\evensidemargin 0.0in

\makeindex


\sloppy

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Automata
\newfont{\ms}{msbm8 scaled\magstep1}
\def\cd#1)#2{\smallbreak\indent \llap{\hbox to \parindent{\rm#1)
\hfil}}\ignorespaces #2\smallbreak}
\def\dx{\,dx}
\def\notmid{\mathrel{\!\not\,\mid}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Reliable
\setlength {\vfuzz }{4pt} \sloppy 

\makeatletter 

\newenvironment {proof}[1][Proof]{\par 
\noindent {\textbf {#1.~}}\normalsize \lineskip =3pt}
{\fkocka \lineskip =6pt\noindent \ignorespaces \vspace {0mm}}

  \def \@sect#1#2#3#4#5#6[#7]#8{    \ifnum  #2>\c@secnumdepth 
      \let \@svsec\@empty
    \else 
      \refstepcounter {#1}      \protected@edef \@svsec{\@seccntformat{#1}\relax }    \fi 
    \@tempskipa #5\relax 
    \ifdim  \@tempskipa>\z@ 
      \begingroup 
        #6{          \@hangfrom{\hskip  #3\relax \@svsec}            \interlinepenalty  \@M #8\@@par}      \endgroup 
      \csname  #1mark\endcsname {#7}      \addcontentsline {toc}{#1}{        \ifnum  #2>\c@secnumdepth  \else 
          \protect \numberline {\csname  the#1\endcsname .}        \fi 
        #7}    \else 
      \def \@svsechd{        #6{\hskip  #3\relax 
        \@svsec #8}        \csname  #1mark\endcsname {#7}        \addcontentsline {toc}{#1}{          \ifnum  #2>\c@secnumdepth  \else 
            \protect \numberline {\csname  the#1\endcsname .}          \fi 
          #7}}    \fi 
    \@xsect{#5}}

 \renewcommand \subsubsection {\@startsection{subsubsection}{3}{\z@ }
                                      {12pt}
                                      {-8pt}
                                      {\normalsize \knagybetu }}
\makeatother 



\providecommand{\bysame }{\leavevmode \hbox  to3em{\hrulefill }\thinspace }
\providecommand{\MR }{\relax \ifhmode \unskip \space \fi  MR }
\providecommand{\MRhref }[2]{  \href {http://www.ams.org/mathscinet-getitem?mr=#1}{#2}}
\providecommand{\href }[2]{#2}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  Algebra
 \def\mypmod#1{\;\,(\mbox{mod~}{#1})}
\def\polnorm#1{\|{#1} \|}
\newcommand\fok\deg
\newcommand\lnko{\mbox{\rm gcd}} 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  Compalg
\def\cd#1)#2{\smallbreak\indent \llap{\hbox to \parindent{\rm#1)
\hfil}}\ignorespaces #2\smallbreak}
\def\dx{\,dx}
\def\oK{\o K}
\def\notmid{\mathrel{\!\not\,\mid}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Crypt-Compl
\newcommand{\startofproof}{\noindent{\bf Proof}\quad}
\newcommand{\sproof}{\noindent{\bf Proof}\quad}
\newcommand{\startofproofof}[1]{\noindent{\bf Proof of {#1}}\quad}
\newcommand{\sproofof}[1]{\noindent{\bf Proof of {#1}}\quad}
\newcommand{\eproofof}[1]{\noindent{\hspace*{0.1in} \hfil \hfill \mbox{\qed{} {#1}}}\quad}
\def\literalqed{{\ \nolinebreak\hfill\mbox{\qedblob\quad}}}
\newcommand{\graphiso}{{\tt GI}}
\newcommand{\p}{\mbox{\rm P}}
\newcommand{\bigoh}{{\protect\cal O}}
% COMPLEXITY MEASURES
\newcommand{\Time}[2]{{\mbox{\rm Time}}_{#1}(#2)}
\newcommand{\timefcn}[2]{{\mbox{\rm time}}_{#1}(#2)}
\newcommand{\Space}[2]{{\mbox{\rm Space}}_{#1}(#2)}
\newcommand{\spacefcn}[2]{{\mbox{\rm space}}_{#1}(#2)}
\newcommand{\NTime}[2]{{\mbox{\rm NTime}}_{#1}(#2)}
\newcommand{\ntime}[2]{{\mbox{\rm ntime}}_{#1}(#2)}
\newcommand{\NSpace}[2]{{\mbox{\rm NSpace}}_{#1}(#2)}
\newcommand{\nspace}[2]{{\mbox{\rm nspace}}_{#1}(#2)}
% COMPLEXITY CLASSES
\newcommand{\DTIME}[1]{{\mbox{\rm DTIME}}(#1)}
\newcommand{\DSPACE}[1]{{\mbox{\rm DSPACE}}(#1)}
\newcommand{\NTIME}[1]{{\mbox{\rm NTIME}}(#1)}
\newcommand{\NSPACE}[1]{{\mbox{\rm NSPACE}}(#1)}
\newcommand{\ATIME}[1]{{\mbox{\rm ATIME}}(#1)}
\newcommand{\ASPACE}[1]{{\mbox{\rm ASPACE}}(#1)}
\newcommand\lolra{\ \longleftrightarrow \ }
\newcommand\Lolra{\ \Longleftrightarrow \ }
\newcommand\Lora{\, \Longrightarrow \ }
\newcommand{\RandomSAT}{{\mbox{\sc Random-SAT}}}
\newcommand{\LERC}{{\mbox{\sc LERC}}}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Competitive

\def\v{\\[1mm]}
\def\vv{\hspace{\fill}\vspace{1.5truemm}\nobreak\hspace{\fill}\break\noindent}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Scientific
\input{tcilatex}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  Memory
\newcommand*{\mc}[3]{\multicolumn{#1}{#2}{#3}}
\newcommand*{\m}[1]{\textit{#1}}
\newcommand*{\grn}[2]{\mc{#1}{>{\columncolor[gray]{.88}[.95\tabcolsep]}c|}{#2}}
\newcommand*{\gr}[1]{\mc{1}{>{\columncolor[gray]{.88}[.95\tabcolsep]}c|}{#1}}
\newcommand*{\fgr}[1]{\mc{1}{|>{\columncolor[gray]{.88}[.95\tabcolsep]}c|}{#1}}
\newcommand*{\T}{\textit{T}}
\renewcommand*{\t}{{\bf t}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  Relational
\newcounter{query}
\setcounter{query}{1}
\newcommand\ra{\ \rightarrow \ }
\newcommand\la{\ \leftarrow \ } 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   Bioinf
\newcommand{\prm}[1]{\textup{Pr$_{max}$}\left\{#1\right\}}
\newcommand{\prma}[1]{\textup{Pr$_{M_1}$}\left\{#1\right\}}
\newcommand{\prmb}[1]{\textup{Pr$_{M_2}$}\left\{#1\right\}}
\newcommand{\prmc}[1]{\textup{Pr$_{M}$}\left\{#1\right\}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CompGraphics
\newcommand{\bindex}[1]{\ki{#1}\inddef{#1}}
\newcommand{\sindex}[1]{\ki{#1}}
\newcommand{\SmallSpace}{\ \ \ }
\newcommand{\FigLab}[4]{\begin{figure}[!t]\epsfysize=#1cm\centerline{ \epsffile{#2}}\caption{{#3}}\label{#4}\end{figure}}
\newcommand{\FigLabs}[5]{\begin{figure*}[!t]\epsfysize=#1cm\centerline{ \epsffile{#2}}\caption{{#3}}\label{#4}\end{figure*}}
\newcommand{\FigLabss}[5]{\begin{figure*}[!t]\epsfysize=#1cm $$\begin{array}{cc} \epsfbox{#2} &\epsfbox{#3} \\\end{array}$$\caption{{#4}}\label{#5}\end{figure*}}
\newcommand{\FigLabsss}[6]{\begin{figure*}[!t]\epsfysize=#1cm $$\begin{array}{ccc} \epsfbox{#2} &\epsfbox{#3} &\epsfbox{#4} \\\end{array}$$\caption{{#5}}\label{#6}\end{figure*}}
\newcommand{\FigLabssss}[7]{\begin{figure*}[!t]\epsfysize=#1cm $$\begin{array}{cccc} \epsfbox{#2} &\epsfbox{#3} &\epsfbox{#4} &\epsfbox{#5}\\\end{array}$$\caption{{#6}}\label{#7}\end{figure*}}
\newcommand{\Fig}[3]{\begin{figure}[!t]\epsfysize=#1 cm\centerline{\epsffile{#2}}\vspace{1pt}\caption{\emph{#3}}\end{figure}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  HCI
\DeclareMathOperator{\lex}{lex}



\begin{document}
\NoEMspecials

%%%
%%%\input{Naked14Network19October}
%%%\input{Naked15Parallel19October}

%%%\input{Naked16Systolic19October}
\input{Naked17Memory17December}
%%%\input{Naked18-19Relational5September}
%%%\input{Naked20Semistructured5September}

%%%\input{Naked21Bioinformatics5September}
%%%\input{Naked22Graphics5September}
%%%\input{Naked23Human5September}




\bibliography{AlgofInf14December2010}
This bibliography is made by HBib\TeX. First key of the sorting is the name of 
the authors (first author, second author etc.), second key is the year of publication, 
third key is the title of the document.

Underlying shows that the electronic version of the bibliography on the homepage of the book 
contains a link to the corresponding address.
\bibliographystyle{algofinf}

\begin{printindex}
This index uses the following conventions. Numbers are alphabetised as if spelled out; for example, 
``2-3-4-tree" is indexed as if were ``two-three-four-tree". 
When an entry refers to a place other than the main text, the page number is followed by a tag: 
\textit{exe} for exercise, \textit{exa} for example, \textit{fig} for figure, \textit{pr} 
for problem and \textit{fn} for footnote.

The numbers of pages containing a definition are printed in \textit{italic} font, e.g. \\

time complexity, \underline{\textit{583}}.  
\end{printindex}

\begin{printnevindex}
This index uses the following conventions. If we know the full name of a cited person, then 
we print it. If the cited person is not living, and we know the correct data, then we print also the 
year of her/his birth and death.
\end{printnevindex}

\end{document}
