From 56ef116dcbe0d4b81f7b5bc2d38d9d51add2c62a Mon Sep 17 00:00:00 2001 From: Stratis Ioannidis Date: Sun, 7 Jul 2013 19:01:14 -0700 Subject: monotone --- main.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'main.tex') diff --git a/main.tex b/main.tex index 324f11f..b6031cb 100644 --- a/main.tex +++ b/main.tex @@ -65,7 +65,7 @@ fixed costs $c_{-i}$ of agents in $\mathcal{N}\setminus\{i\}$, $i\in S(c_i, c_{-i})$ implies $i\in S(c_i', c_{-i})$, and (b) agents are paid \emph{threshold payments}, \emph{i.e.}, for all $i\in S(c)$, $p_i(c)=\inf\{c_i': i\in S(c_i', c_{-i})\}$. \end{lemma} -Lemma~\ref{thm:myerson-variant} allow us to incorporate our relaxation in the above framework, yielding the following theorem: +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 and budget feasible mechanim for \EDP{} that runs in time -- cgit v1.2.3-70-g09d2