ODIn
/
paper-BagRelationalPDBsAreHard
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fixed typo Lem 4.8 missing the negative sign in the exponent.

master
Aaron Huber 2022-03-01 14:42:08 -05:00
parent 70df07e4fd
commit 7199888c25
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
approx_alg.tex
View File

@ -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.