\relax \citation{liuchow:formalsum} \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}} \@writefile{toc}{\contentsline {section}{\numberline {2}Enumeration of Hamiltonian paths in a graph}{1}} \newlabel{multdef}{{2}{1}} \newlabel{H-cycles}{{3}{1}} \citation{hapa:graphenum} \citation{gouja:lagrmeth} \@writefile{toc}{\contentsline {section}{\numberline {3}Main Theorem}{2}} \newlabel{s:mt}{{3}{2}} \newlabel{lem-per}{{3.1}{2}} \newlabel{lem-det}{{3.2}{2}} \newlabel{detprod}{{6}{2}} \citation{mami:matrixth} \newlabel{sum-bij}{{7}{3}} \newlabel{thm-main}{{3.3}{3}} \newlabel{detB}{{9}{3}} \newlabel{BI}{{3.4}{3}} \newlabel{bl-sum}{{10}{3}} \newlabel{sum-Di}{{13}{4}} \newlabel{detK1}{{14}{4}} \newlabel{detK2}{{15}{4}} \newlabel{sum-ali}{{16}{4}} \newlabel{prop:eg}{{3.5}{4}} \newlabel{delta-l}{{18}{4}} \citation{dihe:newdir} \citation{dihe:newdir} \@writefile{toc}{\contentsline {section}{\numberline {4}Application}{5}} \newlabel{lincomp}{{4}{5}} \newlabel{e:st}{{19}{5}} \newlabel{e:barwq}{{21}{5}} \newlabel{joe}{{22}{5}} \newlabel{j:mark}{{23}{5}} \@writefile{toc}{\contentsline {section}{\numberline {5}Secret Key Exchanges}{5}} \newlabel{SKE}{{5}{5}} \citation{imlelu:oneway} \citation{imlelu:oneway} \citation{imlelu:oneway} \citation{moad:quadpro} \citation{ye:intalg} \citation{komiyo:lincomp} \citation{miyoki:lincomp} \citation{komiyo:unipfunc} \citation{komiyo:lincomp} \newlabel{th-info-ow-ow}{{5.1}{6}} \newlabel{th-weak-ske-owf}{{5.2}{6}} \@writefile{toc}{\contentsline {section}{\numberline {6}Review}{6}} \newlabel{computation}{{6}{6}} \newlabel{limbog}{{6.1}{7}} \newlabel{boundab}{{1}{7}} \newlabel{d:over}{{2}{7}} \newlabel{d:ad}{{3}{7}} \newlabel{far-d}{{24}{8}} \newlabel{p0201}{{6.2}{8}} \newlabel{E_SXgYy}{{25}{9}} \newlabel{tripleA}{{6.3}{9}} \newlabel{nsep}{{6.4}{9}} \@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces }}{10}} \@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces }}{10}} \newlabel{th-realarr}{{6.5}{10}} \newlabel{T_first_the_int}{{6.6}{10}} \@writefile{toc}{\contentsline {section}{\numberline {7}One-Way Complexity}{11}} \newlabel{S_Cp1}{{7}{11}} \newlabel{t:conl}{{7.1}{12}} \newlabel{quts}{{26}{12}} \newlabel{r:omb}{{7.1}{12}} \newlabel{r:dif}{{7.2}{12}} \newlabel{r:dif0}{{7.3}{12}} \newlabel{e:bomb}{{29}{12}} \newlabel{e:SS}{{31}{13}} \citation{ste:sint} \newlabel{alimo}{{33}{14}} \newlabel{Dt}{{36}{17}} \newlabel{Dx}{{37}{17}} \newlabel{thm-H-param}{{7.2}{17}} \newlabel{H-param}{{38}{17}} \newlabel{A-l-lambda}{{39}{17}} \citation{mami:matrixth} \newlabel{compl-gr}{{40}{18}} \newlabel{compl-bip-gr}{{42}{18}} \newlabel{thm-asym}{{7.3}{18}} \@writefile{toc}{\contentsline {section}{\numberline {8}Various font features of the {\ntt amsmath} package}{18}} \newlabel{s:font}{{8}{18}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.1}Bold versions of special symbols}{18}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.2}``Poor man's bold''}{19}} \@writefile{toc}{\contentsline {section}{\numberline {9}Compound symbols and other features}{19}} \newlabel{s:comp}{{9}{19}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.1}Multiple integral signs}{19}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.2}Over and under arrows}{20}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.3}Dots}{20}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.4}Accents in math}{21}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.5}Dot accents}{21}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.6}Roots}{21}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.7}Boxed formulas}{21}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.8}Extensible arrows}{22}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.9}{\ntt \bslash overset}, {\ntt \bslash underset}, and {\ntt \bslash sideset}}{22}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.10}The {\ntt \bslash text} command}{22}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.11}Operator names}{22}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.12}{\ntt \bslash mod} and its relatives}{23}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.13}Fractions and related constructions}{24}} \newlabel{fracs}{{9.13}{24}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.14}Continued fractions}{25}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.15}Smash}{25}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.16}The `cases' environment}{25}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.17}Matrix}{26}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.18}The {\ntt \bslash substack} command}{27}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.19}Big-g-g delimiters}{28}} \@writefile{toc}{\contentsline {section}{\numberline {A}Examples of multiple-line equation structures}{29}} \newlabel{s:eq}{{A}{29}} \@writefile{toc}{\contentsline {subsection}{\numberline {A.1}Split}{29}} \newlabel{eq:A}{{66}{32}} \@writefile{toc}{\contentsline {subsection}{\numberline {A.2}Multline}{34}} \newlabel{eq:E}{{68}{34}} \@writefile{toc}{\contentsline {subsection}{\numberline {A.3}Gather}{35}} \@writefile{toc}{\contentsline {subsection}{\numberline {A.4}Align}{36}} \@writefile{toc}{\contentsline {subsection}{\numberline {A.5}Align and split within gather}{37}} \@writefile{toc}{\contentsline {subsection}{\numberline {A.6}Alignat}{39}} \newlabel{eq:B}{{82}{39}} \newlabel{eq:C}{{84}{40}} \newlabel{eq:D}{{85}{40}} \bibcite{dihe:newdir}{1} \bibcite{fre:cichon}{2} \bibcite{gouja:lagrmeth}{3} \bibcite{hapa:graphenum}{4} \bibcite{imlelu:oneway}{5} \bibcite{komiyo:unipfunc}{6} \bibcite{komiyo:lincomp}{7} \bibcite{liuchow:formalsum}{8} \bibcite{mami:matrixth}{9} \bibcite{miyoki:lincomp}{10} \bibcite{moad:quadpro}{11} \bibcite{ste:sint}{12} \bibcite{ye:intalg}{13}