\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}
|