TY - GEN
T1 - False-name-proof combinatorial auction design via single-minded decomposition
AU - Zhao, Dengji
AU - Luo, Siqi
AU - Todo, Taiki
AU - Yokoo, Makoto
PY - 2014/1/1
Y1 - 2014/1/1
N2 - This paper proposes a new approach to building false-name-proof (FNP) combinatorial auctions from those that are FNP only with single-minded bidders, each of whom requires only one particular bundle. Under this approach, a general bidder is decomposed into a set of single-minded bidders, and after the decomposition the price and the allocation are determined by the FNP auctions for single-minded bidders. We first show that the auctions we get with the single-minded decomposition are FNP if those for single-minded bidders satisfy a condition called PIA. We then show that another condition, weaker than PIA, is necessary for the decomposition to build FNP auctions. To close the gap between the two conditions, we have found another sufficient condition weaker than PIA for the decomposition to produce strategy-proof mechanisms. Furthermore, we demonstrate that once we have PIA, the mechanisms created by the decomposition actually satisfy a stronger version of false-name-proofness, called false-name-proofness with withdrawal.
AB - This paper proposes a new approach to building false-name-proof (FNP) combinatorial auctions from those that are FNP only with single-minded bidders, each of whom requires only one particular bundle. Under this approach, a general bidder is decomposed into a set of single-minded bidders, and after the decomposition the price and the allocation are determined by the FNP auctions for single-minded bidders. We first show that the auctions we get with the single-minded decomposition are FNP if those for single-minded bidders satisfy a condition called PIA. We then show that another condition, weaker than PIA, is necessary for the decomposition to build FNP auctions. To close the gap between the two conditions, we have found another sufficient condition weaker than PIA for the decomposition to produce strategy-proof mechanisms. Furthermore, we demonstrate that once we have PIA, the mechanisms created by the decomposition actually satisfy a stronger version of false-name-proofness, called false-name-proofness with withdrawal.
UR - http://www.scopus.com/inward/record.url?scp=84923190005&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84923190005&partnerID=8YFLogxK
U2 - 10.3233/978-1-61499-419-0-945
DO - 10.3233/978-1-61499-419-0-945
M3 - Conference contribution
AN - SCOPUS:84923190005
T3 - Frontiers in Artificial Intelligence and Applications
SP - 945
EP - 950
BT - ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings
A2 - Schaub, Torsten
A2 - Friedrich, Gerhard
A2 - O'Sullivan, Barry
PB - IOS Press
T2 - 21st European Conference on Artificial Intelligence, ECAI 2014
Y2 - 18 August 2014 through 22 August 2014
ER -