From 43c2c5cfa7a1fe31795bbc00c56116a25544da26 Mon Sep 17 00:00:00 2001 From: Stratis Ioannidis Date: Mon, 8 Jul 2013 09:37:37 -0700 Subject: alpha, beta --- main.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'main.tex') diff --git a/main.tex b/main.tex index 251680d..099d1d4 100644 --- a/main.tex +++ b/main.tex @@ -67,7 +67,7 @@ c_{-i})$ implies $i\in S(c_i', c_{-i})$, and (b) \end{lemma} Lemma~\ref{thm:myerson-variant} allows us to incorporate our relaxation in the above framework, yielding the following theorem: \begin{theorem}\label{thm:main} - For any $\delta>0$, and any $\epsilon>0$, there exists a $\delta$-truthful, individually rational + For any $\delta\in(0,1]$, and any $\epsilon\in (0,1]$, there exists a $\delta$-truthful, individually rational and budget feasible mechanim for \EDP{} that runs in time $O\big(poly(n, d, \log\log\frac{B}{b\varepsilon\delta})\big)$ and returns -- cgit v1.2.3-70-g09d2