Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification
复制标题
DOI:
10.1613/jair.1.11525
复制
发表时间:
2018-12
期刊:
影响因子:
--
通讯作者:
Vitor Bosshard;Benedikt Bünz;Benjamin Lubin;Sven Seuken
中科院分区:
文献类型:
--
作者:
Vitor Bosshard;Benedikt Bünz;Benjamin Lubin;Sven Seuken
We present a new algorithm for computing pure-strategy ε-Bayes-Nash equilibria (ε-BNEs) in combinatorial auctions. The main innovation of our algorithm is to separate the algorithm’s search phase (for finding the ε-BNE) from the verification phase (for computing the ε). Using this approach, we obtain an algorithm that is both very fast and provides theoretical guarantees on the ε it finds. Our main contribution is a verification method which, surprisingly, allows us to upper bound the ε across the whole continuous value space without making assumptions about the mechanism. Using our algorithm, we can now compute ε-BNEs in multi-minded domains that are significantly more complex than what was previously possible to solve. We release our code under an open-source license to enable researchers to perform algorithmic analyses of auctions, to enable bidders to analyze different strategies, and many other applications.