diff --git a/approx_alg.tex b/approx_alg.tex index 9fef447..7bd712c 100644 --- a/approx_alg.tex +++ b/approx_alg.tex @@ -143,7 +143,7 @@ as well as for all three queries of the PDBench \abbrBIDB benchmark (see \Cref{a \secrev{ \begin{Lemma} \label{lem:c-TIDB-gamma} -Given \emph{\abbrOneBIDB} computed from the reduction of~\Cref{def:ctidb-reduct}, $\gamma\inparen{\circuit}\leq 1 - \inparen{c + 1}^{\inparen{k-1}}$. +Given \emph{\abbrOneBIDB} computed from the reduction of~\Cref{def:ctidb-reduct}, $\gamma\inparen{\circuit}\leq 1 - \inparen{c + 1}^{-\inparen{k-1}}$. \end{Lemma} \begin{proof}[Proof of~\Cref{lem:c-TIDB-gamma}] Let $\pdb' = \inparen{\onebidbworlds{\tupset'}, \pdb'}$ be the reduced \abbrOneBIDB and $\pdb = \inparen{\worlds, \pdb}$ the original \abbrCTIDB.