We study the communication complexity of welfare maximization in combinatorial auctions with bidders from either a standard valuation class (which require exponential communication to explicitly state, such as subadditive or XOS), or arbitrary succinct valuations (which can be fully described in polynomial communication, such as single-minded). Although succinct valuations can be efficiently communicated, we show that additional succinct bidders have a nontrivial impact on communication complexity of classical combinatorial auctions. Specifically, let $n$ be the number of subadditive/XOS bidders. We show that for SA $\cup$ SC (the union of subadditive and succinct valuations): (1) There is a polynomial communication $3$-approximation algorithm; (2) As $n \to \infty$, there is a matching $3$-hardness of approximation, which (a) is larger than the optimal approximation ratio of $2$ for SA, and (b) holds even for SA $\cup$ SM (the union of subadditive and single-minded valuations); and (3) For all $n \geq 3$, there is a constant separation between the optimal approximation ratios for SA $\cup$ SM and SA (and therefore between SA $\cup$ SC and SA as well). Similarly, we show that for XOS $\cup$ SC: (1) There is a polynomial communication $2$-approximation algorithm; (2) As $n \to \infty$, there is a matching $2$-hardness of approximation, which (a) is larger than the optimal approximation ratio of $e/(e-1)$ for XOS, and (b) holds even for XOS $\cup$ SM; and (3) For all $n \geq 2$, there is a constant separation between the optimal approximation ratios for XOS $\cup$ SM and XOS (and therefore between XOS $\cup$ SC and XOS as well).
翻译:我们研究了组合拍卖中福利最大化的通信复杂性,其中投标者来自标准估值类别(需要指数级通信才能显式描述,如次可加性或XOS)或任意简洁估值(可通过多项式通信完全描述,如单一意向型)。尽管简洁估值可以高效通信,但我们证明额外的简洁投标者对经典组合拍卖的通信复杂性具有非平凡影响。具体而言,令$n$为次可加/XOS投标者的数量。我们证明对于SA $\cup$ SC(次可加估值与简洁估值的并集):(1)存在多项式通信的$3$近似算法;(2)当$n \to \infty$时,存在匹配的$3$近似下界,该下界(a)大于SA的最优近似比$2$,且(b)即使对于SA $\cup$ SM(次可加估值与单一意向型估值的并集)也成立;(3)对所有$n \geq 3$,SA $\cup$ SM与SA的最优近似比之间存在常数分离(因此SA $\cup$ SC与SA之间亦然)。类似地,我们证明对于XOS $\cup$ SC:(1)存在多项式通信的$2$近似算法;(2)当$n \to \infty$时,存在匹配的$2$近似下界,该下界(a)大于XOS的最优近似比$e/(e-1)$,且(b)即使对于XOS $\cup$ SM也成立;(3)对所有$n \geq 2$,XOS $\cup$ SM与XOS的最优近似比之间存在常数分离(因此XOS $\cup$ SC与XOS之间亦然)。