\relax 
\citation{benioff82}
\citation{bernstein92}
\citation{deutsch85}
\citation{deutsch89}
\citation{divincenzo95}
\citation{feynman86}
\citation{lloyd93}
\citation{rieffel98}
\citation{shor94}
\citation{boyer96}
\citation{brassard98}
\citation{cerf98}
\citation{cerny93}
\citation{grover96}
\citation{grover97a}
\citation{hogg97}
\citation{terhal97}
\citation{landauer94a}
\citation{unruh94}
\citation{haroche96}
\citation{monroe96a}
\citation{berthiaume94}
\citation{shor95}
\citation{knill98}
\citation{chuang98}
\citation{chuang98a}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{hogg98}
\citation{cheeseman91}
\citation{hogg95e}
\citation{garey79}
\citation{hogg95e}
\citation{nijenhuis78}
\citation{crawford95}
\citation{selman95}
\@writefile{toc}{\contentsline {section}{\numberline {2}Satisfiability}{3}}
\newlabel{sect.sat}{{2}{3}}
\newlabel{eq.hamming}{{1}{3}}
\citation{divincenzo95}
\citation{boyer96}
\citation{hoyer97}
\@writefile{toc}{\contentsline {section}{\numberline {3}Quantum Search Algorithms}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Single-Step Search}{5}}
\citation{boyer96}
\citation{grover96}
\citation{hogg98}
\citation{hogg98b}
\citation{grover96}
\citation{hogg98}
\newlabel{eq.W}{{2}{6}}
\newlabel{eq.u}{{3}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Selecting Phase Values}{6}}
\newlabel{sect.scaling}{{3.2}{6}}
\citation{hogg98}
\citation{grover96}
\citation{hogg98}
\newlabel{eq.rho}{{4}{7}}
\newlabel{eq.th}{{5}{7}}
\newlabel{eq.ud}{{6}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Analysis for Random $k$-SAT}{7}}
\newlabel{sect.analysis}{{4}{7}}
\newlabel{eq.phi}{{7}{7}}
\newlabel{eq.pSoln}{{8}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Average Behavior}{8}}
\newlabel{eq.pSolnAvg}{{9}{8}}
\newlabel{eq.cSum}{{10}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces \relax \fontsize  {10.95}{13.6}\selectfont  \abovedisplayskip 11\p@ plus3\p@ minus6\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6.5\p@ plus3.5\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 9\p@ plus3\p@ minus5\p@ \parsep 4.5\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip Clause selection. The figure shows how the $ M $ possible clauses are grouped. The dark gray region represents clauses that conflict with $r$ and so cannot be selected. The white regions represent clauses that conflict only with $s$ or $s'$. The selected clauses must include $b$ and $b'$ conflicting only with $s$ and $s'$, respectively. The remaining $m-b-b'$ clauses must be selected from the light gray region: conflicting with both $s$ and $s'$ or with neither.}}{9}}
\newlabel{fig.venn}{{1}{9}}
\newlabel{eq.problems}{{12}{9}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces \relax \fontsize  {10.95}{13.6}\selectfont  \abovedisplayskip 11\p@ plus3\p@ minus6\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6.5\p@ plus3.5\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 9\p@ plus3\p@ minus5\p@ \parsep 4.5\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip Grouping of variables based on assigned values in $r$, $s$ and $s'$, each shown as a horizontal box schematically indicating values assigned to each of the $n$ variables. In each assignment, the value given in $r$ to a variable is shown as white, while black indicates the opposite value. In this diagram, variables are grouped according to the differences in values they are given in the three assignments. For instance, the first group, consisting of $w$ variables, has those variables assigned the same value in all three assignments.}}{9}}
\newlabel{fig.wxyz}{{2}{9}}
\citation{palmer85}
\citation{abramowitz65}
\newlabel{eq.clauses}{{13}{10}}
\newlabel{eq.pSolnRandom}{{14}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Asymptotic Behavior}{11}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.1}Sum over Conflicts}{11}}
\newlabel{eq.Nscaled}{{15}{11}}
\citation{bender78}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.2}Sum Over Variable Groupings}{12}}
\newlabel{eq.H}{{21}{12}}
\citation{crawford95}
\citation{williams92}
\citation{crawford95}
\newlabel{eq.integral}{{24}{13}}
\newlabel{eq.saddle}{{25}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Solving Hard Problems}{13}}
\citation{hogg97}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces \relax \fontsize  {10.95}{13.6}\selectfont  \abovedisplayskip 11\p@ plus3\p@ minus6\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6.5\p@ plus3.5\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 9\p@ plus3\p@ minus5\p@ \parsep 4.5\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip Smallest exponential decay rate $A$ for $\left \delimiter "426830A  { P_{\rm  soln} } \right \delimiter "526930B $ as a function of $\mu =m/n$ for random 3-SAT. For comparison, the gray and dashed curves show the scaling for random selection and, approximately, for unstructured search.}}{14}}
\newlabel{fig.optimal}{{3}{14}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces \relax \fontsize  {10.95}{13.6}\selectfont  \abovedisplayskip 11\p@ plus3\p@ minus6\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6.5\p@ plus3.5\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 9\p@ plus3\p@ minus5\p@ \parsep 4.5\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip Optimal choices of $\tau $ (black) and $\rho $ (gray) as a function of $\mu =m/n$. Solid curves are for the random 3-SAT ensemble and the dashed curves are for the ensemble with a prespecified solution.}}{14}}
\newlabel{fig.parameters}{{4}{14}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Best parameter values and scaling behavior for single-step search of 3-SAT problems for random and prespecified solution ensembles.}}{15}}
\newlabel{values}{{1}{15}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces \relax \fontsize  {10.95}{13.6}\selectfont  \abovedisplayskip 11\p@ plus3\p@ minus6\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6.5\p@ plus3.5\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 9\p@ plus3\p@ minus5\p@ \parsep 4.5\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip Smallest exponential decay rate $A$ for $\left \delimiter "426830A  { P_{\rm  soln} } \right \delimiter "526930B $ as a function of $\mu =m/n$ for 3-SAT with prespecified solution. For comparison, the gray and dashed curves show the scaling for random selection and, approximately, for unstructured search.}}{16}}
\newlabel{fig.prespecified}{{5}{16}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces \relax \fontsize  {10.95}{13.6}\selectfont  \abovedisplayskip 11\p@ plus3\p@ minus6\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6.5\p@ plus3.5\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 9\p@ plus3\p@ minus5\p@ \parsep 4.5\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip Optimal asymptotic behavior of $\left \delimiter "426830A  { P_{\rm  soln} } \right \delimiter "526930B $ for 3-SAT with $\mu =2$ (gray) and 4 (black) on a log-scale vs.\nobreakspace  {}$n$. The points show the exact values of $\left \delimiter "426830A  { P_{\rm  soln} } \right \delimiter "526930B $.}}{16}}
\newlabel{fig.scaling}{{6}{16}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Limiting Cases}{17}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces \relax \fontsize  {10.95}{13.6}\selectfont  \abovedisplayskip 11\p@ plus3\p@ minus6\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6.5\p@ plus3.5\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 9\p@ plus3\p@ minus5\p@ \parsep 4.5\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip Limiting behaviors, on a log-log plot, for exponential decay rate $A$. Behavior for random 3-SAT (black curve, up to $\mu =6$), prespecified solution 3-SAT (gray curve, for $\mu $ between 0.1 and 40) and the upper bound based on probability to find the prespecified solution (black curve, for $\mu \ge 20$). For comparison the dashed lines show the limiting behaviors for small and large $\mu $, which correspond very closely to the exact values for $\mu <0.3$ and $\mu >1000$.}}{17}}
\newlabel{fig.limits}{{7}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Solving Weakly Constrained Problems}{18}}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Scaling of $\left \delimiter "426830A  { P_{\rm  soln} } \right \delimiter "526930B $ from Eq.\nobreakspace  {}(14\hbox {}) and $\left \delimiter "426830A S \right \delimiter "526930B /2^n$ for weakly constrained random 3-SAT with $m=2 \sqrt {n}$.}}{18}}
\newlabel{table.weak}{{2}{18}}
\citation{hogg98}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Solving Highly Constrained Problems}{19}}
\citation{selman92}
\@writefile{toc}{\contentsline {section}{\numberline {7}Required Precision}{20}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Problem Search Costs}{20}}
\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Comparison of search cost estimates based on 1000 soluble random 3-SAT problems.}}{21}}
\newlabel{cost}{{3}{21}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces \relax \fontsize  {10.95}{13.6}\selectfont  \abovedisplayskip 11\p@ plus3\p@ minus6\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6.5\p@ plus3.5\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 9\p@ plus3\p@ minus5\p@ \parsep 4.5\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip Comparison of quantum and classical search for random 3-SAT with $n=20$ and $m=80$. Each point shows the expected search cost for a single problem instance.}}{21}}
\newlabel{fig.classical}{{8}{21}}
\citation{boyer96}
\@writefile{toc}{\contentsline {section}{\numberline {9}Discussion}{22}}
\citation{frank97}
\citation{sloane73}
\bibcite{abramowitz65}{1}
\bibcite{bender78}{2}
\bibcite{benioff82}{3}
\bibcite{bernstein92}{4}
\bibcite{berthiaume94}{5}
\bibcite{boyer96}{6}
\bibcite{brassard98}{7}
\bibcite{cerf98}{8}
\bibcite{cerny93}{9}
\bibcite{cheeseman91}{10}
\bibcite{chuang98a}{11}
\bibcite{chuang98}{12}
\bibcite{crawford95}{13}
\bibcite{deutsch85}{14}
\bibcite{deutsch89}{15}
\bibcite{divincenzo95}{16}
\bibcite{feynman86}{17}
\bibcite{frank97}{18}
\bibcite{garey79}{19}
\bibcite{grover97a}{20}
\bibcite{grover96}{21}
\bibcite{haroche96}{22}
\bibcite{hogg97}{23}
\bibcite{hogg98}{24}
\bibcite{hogg95e}{25}
\bibcite{hogg98b}{26}
\bibcite{hoyer97}{27}
\bibcite{knill98}{28}
\bibcite{landauer94a}{29}
\bibcite{lloyd93}{30}
\bibcite{monroe96a}{31}
\bibcite{nijenhuis78}{32}
\bibcite{palmer85}{33}
\bibcite{rieffel98}{34}
\bibcite{selman95}{35}
\bibcite{selman92}{36}
\bibcite{shor95}{37}
\bibcite{shor94}{38}
\bibcite{sloane73}{39}
\bibcite{terhal97}{40}
\bibcite{unruh94}{41}
\bibcite{williams92}{42}