English
Related papers

Related papers: Proving soundness of combinatorial Vickrey auction…

200 papers

In mechanism design, it is challenging to design the optimal auction with correlated values in general settings. Although value distribution can be further exploited to improve revenue, the complex correlation structure makes it hard to…

Computer Science and Game Theory · Computer Science 2023-02-21 Da Huo , Zhilin Zhang , Zhenzhe Zheng , Chuan Yu , Jian Xu , Fan Wu

We consider the fundamental problem of designing a truthful single-item auction with the challenging objective of extracting a large fraction of the highest agent valuation as revenue. Following a recent trend in algorithm design, we assume…

Computer Science and Game Theory · Computer Science 2024-01-25 Ioannis Caragiannis , Georgios Kalantzis

Mechanized reasoning uses computers to verify proofs and to help discover new theorems. Computer scientists have applied mechanized reasoning to economic problems but -- to date -- this work has not yet been properly presented in economics…

Logic in Computer Science · Computer Science 2016-08-12 Manfred Kerber , Christoph Lange , Colin Rowat

Double sided auctions are widely used in financial markets to match demand and supply. Prior works on double sided auctions have focused primarily on single quantity trade requests. We extend various notions of double sided auctions to…

Computer Science and Game Theory · Computer Science 2021-04-20 Raja Natarajan , Suneel Sarswat , Abhishek Kr Singh

Automated bidding, an emerging intelligent decision making paradigm powered by machine learning, has become popular in online advertising. Advertisers in automated bidding evaluate the cumulative utilities and have private financial…

Computer Science and Game Theory · Computer Science 2023-08-22 Yidan Xing , Zhilin Zhang , Zhenzhe Zheng , Chuan Yu , Jian Xu , Fan Wu , Guihai Chen

The focus of classic mechanism design has been on truthful direct-revelation mechanisms. In the context of combinatorial auctions the truthful direct-revelation mechanism that maximizes social welfare is the VCG mechanism. For many…

Computer Science and Game Theory · Computer Science 2013-10-14 Paul Duetting , Monika Henzinger , Martin Starnberger

We study the problem of designing optimal auctions under restrictions on the set of permissible allocations. In addition to allowing us to restrict to deterministic mechanisms, we can also indirectly model non-additive valuations. We prove…

Computer Science and Game Theory · Computer Science 2016-06-07 Ian Kash , Rafael Frongillo

We consider budget constrained combinatorial auctions where bidder $i$ has a private value $v_i$, a budget $b_i$, and is interested in all the items in $S_i$. The value to agent $i$ of a set of items $R$ is $|R \cap S_i| \cdot v_i$. Such…

Computer Science and Game Theory · Computer Science 2010-04-21 Amos Fiat , Stefano Leonardi , Jared Saia , Piotr Sankowski

We initiate the study of efficient mechanism design with guaranteed good properties even when players participate in multiple different mechanisms simultaneously or sequentially. We define the class of smooth mechanisms, related to smooth…

Computer Science and Game Theory · Computer Science 2012-11-07 Vasilis Syrgkanis , Eva Tardos

In the standard single-dimensional model of position auctions, bidders agree on the relative values of the positions and each of them submits a single bid that is interpreted in terms of these values. Motivated by current practice in…

Computer Science and Game Theory · Computer Science 2018-06-22 Paul Dütting , Felix Fischer , David C. Parkes

We provide a constructive proof of Border's theorem [Bor91, HR15a] and its generalization to reduced-form auctions with asymmetric bidders [Bor07, MV10, CKM13]. Given a reduced form, we identify a subset of Border constraints that are…

Computer Science and Game Theory · Computer Science 2017-11-21 Yang Cai , Constantinos Daskalakis , S. Matthew Weinberg

Standard ad auction formats do not immediately extend to settings where multiple size configurations and layouts are available to advertisers. In these settings, the sale of web advertising space increasingly resembles a combinatorial…

Computer Science and Game Theory · Computer Science 2020-11-10 Rad Niazadeh , Jason Hartline , Nicole Immorlica , Mohammad Reza Khani , Brendan Lucier

To support a freight carrier in a combinatorial transport auction, we proposes an exact and two heuristic strategies for bidding on subsets of requests. The exact bidding strategy is based on the concept of elementary request combinations.…

Computer Science and Game Theory · Computer Science 2014-06-10 Tobias Buer

A seller wants to sell a good to a set of bidders using a credible mechanism. We show that when the seller has private information about her cost, it is impossible for a static mechanism to achieve the optimal revenue. In particular, even…

Theoretical Economics · Economics 2025-09-29 Martino Banchio , Andrzej Skrzypacz , Frank Yang

The existence of incentive-compatible computationally-efficient protocols for combinatorial auctions with decent approximation ratios is the paradigmatic problem in computational mechanism design. It is believed that in many cases good…

Computer Science and Game Theory · Computer Science 2009-05-14 Elchanan Mossel , Christos Papadimitriou , Michael Schapira , Yaron Singer

Recent spectrum auctions in the United Kingdom, and some proposals for future auctions of spectrum in the United States, are based on preliminary price discovery rounds, followed by calculation of final prices for the winning buyers. For…

Computer Science and Game Theory · Computer Science 2012-09-12 Vineet Abhishek , Bruce Hajek

Identifying high-revenue mechanisms that are both dominant strategy incentive compatible (DSIC) and individually rational (IR) is a fundamental challenge in auction design. While theoretical approaches have encountered bottlenecks in…

Computer Science and Game Theory · Computer Science 2024-07-23 Zhijian Duan , Haoran Sun , Yichong Xia , Siqiang Wang , Zhilin Zhang , Chuan Yu , Jian Xu , Bo Zheng , Xiaotie Deng

Algorithmic Mechanism Design attempts to marry computation and incentives, mainly by leveraging monetary transfers between designer and selfish agents involved. This is principally because in absence of money, very little can be done to…

Computer Science and Game Theory · Computer Science 2013-10-02 Dimitris Fotakis , Piotr Krysta , Carmine Ventre

We show that every universally truthful randomized mechanism for combinatorial auctions with submodular valuations that provides $m^{\frac 1 2 -\epsilon}$ approximation to the social welfare and uses value queries only must use…

Computer Science and Game Theory · Computer Science 2015-03-17 Shahar Dobzinski

Combinatorial auctions are formulated as frustrated lattice gases on sparse random graphs, allowing the determination of the optimal revenue by methods of statistical physics. Transitions between computationally easy and hard regimes are…

Statistical Mechanics · Physics 2009-11-11 Tobias Galla , Michele Leone , Matteo Marsili , Mauro Sellitto , Martin Weigt , Riccardo Zecchina