Results 1  10
of
49
Truthful and NearOptimal Mechanism Design via Linear Programming
, 2005
"... We give a general technique to obtain approximation mechanisms that are truthful in expectation.We show that for packing domains, any ffapproximation algorithm that also bounds the integrality gap of the LP relaxation of the problem by ff can be used to construct an ffapproximation mechanism that ..."
Abstract

Cited by 85 (11 self)
 Add to MetaCart
We give a general technique to obtain approximation mechanisms that are truthful in expectation.We show that for packing domains, any ffapproximation algorithm that also bounds the integrality gap of the LP relaxation of the problem by ff can be used to construct an ffapproximation mechanism that is truthful in expectation. This immediately yields a variety of new and significantly improved results for various problem domains and furthermore, yields truthful (in expectation) mechanisms with guarantees that match the best known approximation guarantees when truthfulness is not required. In particular, we obtain the first truthful mechanisms with approximation guarantees for a variety of multiparameter domains. We obtain truthful (in expectation) mechanisms achieving approximation guarantees of O( p m) for combinatorial auctions (CAs), (1 + ffl) for multiunit CAs with B = \Omega (log m) copies ofeach item, and 2 for multiparameter knapsack problems (multiunit auctions). Our construction is based on considering an LP relaxation of the problem and using the classic VCG [25, 9, 12] mechanism to obtain a truthful mechanism in this fractional domain. We argue that the (fractional) optimal solution scaled down by ff, where ff is the integrality gap of the problem, can be represented as a convex combination of integer solutions, and by viewing this convex combination as specifying a probability distribution over integer solutions, we get a randomized, truthful in expectation mechanism. Our construction can be seen as a way of exploiting VCG in a computational tractable way even when the underlying socialwelfare maximization problem is NPhard.
Truthful mechanism design for multidimensional scheduling via cycle monotonicity
 In Proceedings 8th ACM Conference on Electronic Commerce (EC
, 2007
"... We consider the problem of makespan minimization on m unrelated machines in the context of algorithmic mechanism design, where the machines are the strategic players. This is a multidimensional scheduling domain, and the only known positive results for makespan minimization in such a domain are O(m) ..."
Abstract

Cited by 36 (11 self)
 Add to MetaCart
We consider the problem of makespan minimization on m unrelated machines in the context of algorithmic mechanism design, where the machines are the strategic players. This is a multidimensional scheduling domain, and the only known positive results for makespan minimization in such a domain are O(m)approximation truthful mechanisms [22, 20]. We study a wellmotivated special case of this problem, where the processing time of a job on each machine may either be “low ” or “high”, and the low and high values are public and jobdependent. This preserves the multidimensionality of the domain, and generalizes the restrictedmachines (i.e., {pj, ∞}) setting in scheduling. We give a general technique to convert any capproximation algorithm to a 3capproximation truthfulinexpectation mechanism. This is one of the few known results that shows how to export approximation
Mechanisms for MultiUnit Auctions
 IN PROCEEDINGS OF THE ACM CONFERENCE ON ELECTRONIC COMMERCE (EC
, 2007
"... We present an incentivecompatible polynomialtime approximation scheme for multiunit auctions with general kminded player valuations. The mechanism fully optimizes over an appropriately chosen subrange of possible allocations and then uses VCG payments over this subrange. We show that obtaining ..."
Abstract

Cited by 23 (2 self)
 Add to MetaCart
We present an incentivecompatible polynomialtime approximation scheme for multiunit auctions with general kminded player valuations. The mechanism fully optimizes over an appropriately chosen subrange of possible allocations and then uses VCG payments over this subrange. We show that obtaining a fully polynomialtime incentivecompatible approximation scheme, at least using VCG payments, is NPhard. For the case of valuations given by black boxes, we give a polynomialtime incentivecompatible 2approximation mechanism and show that no better is possible, at least using VCG payments.
On the Computational Power of Iterative Auctions I: Demand Queries
 In Proceedings of the 6th ACM Conference on Electronic Commerce (EC
, 2005
"... ..."
Buying Cheap is Expensive: Hardness of NonParametric MultiProduct Pricing
 ELECTRONIC COLLOQUIUM ON COMPUTATIONAL COMPLEXITY, REPORT NO. 68
, 2006
"... We investigate nonparametric unitdemand pricing problems, in which the goal is to find revenue maximizing prices for products P based on a set of consumer profiles C obtained, e.g., from an eCommerce website. A consumer profile consists of a number of nonzero budgets and a ranking of all the pro ..."
Abstract

Cited by 17 (5 self)
 Add to MetaCart
We investigate nonparametric unitdemand pricing problems, in which the goal is to find revenue maximizing prices for products P based on a set of consumer profiles C obtained, e.g., from an eCommerce website. A consumer profile consists of a number of nonzero budgets and a ranking of all the products the consumer is interested in. Once prices are fixed, each consumer chooses to buy one of the products she can afford based on some predefined selection rule. We distinguish between the minbuying, maxbuying, and rankbuying models. For the minbuying and general rankbuying models the best known approximation ratio is O(log C) and, previously, the problem was only known to be APXhard. We obtain the first (near) tight lower bound showing that the problem is not approximable within O(log ε C) for some ε> 0, unless NP ⊆ DTIME(n loglog n). Going to slightly stronger (still reasonable) complexity theoretic assumptions we prove inapproximability within O(ℓ ε) (ℓ being an upper bound on the number of nonzero budgets per consumer) and O(P  ε) and provide matching upper bounds. Surprisingly, these hardness results hold even if a price ladder constraint, i.e., a predefined total order on the prices of all products, is given. This changes if we require that in the rankbuying model consumers’ budgets are consistent with their
BlackBox Randomized Reductions in Algorithmic Mechanism Design
"... Abstract—We give the first blackbox reduction from arbitrary approximation algorithms to truthful approximation mechanisms for a nontrivial class of multiparameter problems. Specifically, we prove that every packing problem that admits an FPTAS also admits a truthfulinexpectation randomized mech ..."
Abstract

Cited by 16 (4 self)
 Add to MetaCart
Abstract—We give the first blackbox reduction from arbitrary approximation algorithms to truthful approximation mechanisms for a nontrivial class of multiparameter problems. Specifically, we prove that every packing problem that admits an FPTAS also admits a truthfulinexpectation randomized mechanism that is an FPTAS. Our reduction makes novel use of smoothed analysis, by employing small perturbations as a tool in algorithmic mechanism design. We develop a “duality” between linear perturbations of the objective function of an optimization problem and of its feasible set, and use the “primal ” and “dual ” viewpoints to prove the running time bound and the truthfulness guarantee, respectively, for our mechanism.
Bayesian Incentive Compatibility via Matchings
"... We give a simple reduction from Bayesian incentive compatible mechanism design to algorithm design in settings where the agents ’ private types are multidimensional. The reduction preserves performance up to an additive loss that can be made arbitrarily small in polynomial time in the number of agen ..."
Abstract

Cited by 14 (1 self)
 Add to MetaCart
We give a simple reduction from Bayesian incentive compatible mechanism design to algorithm design in settings where the agents ’ private types are multidimensional. The reduction preserves performance up to an additive loss that can be made arbitrarily small in polynomial time in the number of agents and the size of the agents ’ type spaces. 1
Mechanism design for fractional scheduling on unrelated machines
 Automata, Languages and Programming
, 2007
"... machines ..."
On the power of randomization in algorithmic mechanism design
"... In many settings the power of truthful mechanisms is severely bounded. In this paper we use randomization to overcome this problem. In particular, we construct an FPTAS for multiunit auctions that is truthful in expectation, whereas there is evidence that no polynomialtime truthful deterministic m ..."
Abstract

Cited by 11 (7 self)
 Add to MetaCart
In many settings the power of truthful mechanisms is severely bounded. In this paper we use randomization to overcome this problem. In particular, we construct an FPTAS for multiunit auctions that is truthful in expectation, whereas there is evidence that no polynomialtime truthful deterministic mechanism provides an approximation ratio better than 2. We also show for the first time that truthful in expectation polynomialtime mechanisms are provably stronger than polynomialtime universally truthful mechanisms. Specifically, we show that there is a setting in which: (1) there is a nonpolynomial time truthful mechanism that always outputs the optimal solution, and that (2) no universally truthful randomized mechanism can provide an approximation ratio better than 2 in polynomial time, but (3) an FPTAS that is truthful in expectation exists.