minor

app_approx-alg-analysis.tex

@@ -19,7 +19,7 @@ $$O(\log{k} \cdot k \cdot \depth(\circuit)\cdot\multc{\log\left(\abs{\circuit}(1
  where $k = \degree(\circuit)$.  The function returns every $\left(\monom, sign(\coef)\right)$ for $(\monom, \coef)\in \expansion{\circuit}$ with probability $\frac{|\coef|}{\abs{\circuit}(1,\ldots, 1)}$.
 \end{Lemma}
 
-With the above two lemmas, we are ready to argue the following result (proof in~\Cref{sec:proofs-approx-alg}):
+With the above two lemmas, we are ready to argue the following result: % (proof in~\Cref{sec:proofs-approx-alg}):
 \begin{Theorem}\label{lem:mon-samp}
 For any $\circuit$ with $\degree(poly(|\circuit|)) = k$, algorithm \ref{alg:mon-sam} outputs an estimate $\vari{acc}$ of $\rpoly(\prob_1,\ldots, \prob_\numvar)$ such that
 \[\probOf\left(\left|\vari{acc} - \rpoly(\prob_1,\ldots, \prob_\numvar)\right|> \error \cdot \abs{\circuit}(1,\ldots, 1)\right) \leq \conf,\]