{"title":"Approximation algorithm and mechanism design for bisubmodular welfare maximization problem","authors":"Yuanyuan Wang, Qingqin Nong, Wenjing Liu, Qizhi Fang","doi":"10.1016/j.tcs.2025.115302","DOIUrl":null,"url":null,"abstract":"<div><div>In a combinatorial auction, <em>m</em> indivisible items are sold to multiple buyers. This paper explores the welfare maximization problem in combinatorial auctions with bisubmodular buyers. When buyers' valuations are public, we give a simple greedy algorithm that outputs an allocation achieving 2-approximation, and we prove a hardness result for the bisubmodular welfare maximization problem. When buyers are strategic individuals with valuations as private information, we give a dominant-strategy incentive compatible (DSIC) mechanism that can motivate buyers to provide truthful information and outputs an allocation achieving <span><math><mi>O</mi><mo>(</mo><msqrt><mrow><mi>m</mi></mrow></msqrt><mo>)</mo></math></span>-approximation.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1046 ","pages":"Article 115302"},"PeriodicalIF":1.0000,"publicationDate":"2025-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304397525002403","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
In a combinatorial auction, m indivisible items are sold to multiple buyers. This paper explores the welfare maximization problem in combinatorial auctions with bisubmodular buyers. When buyers' valuations are public, we give a simple greedy algorithm that outputs an allocation achieving 2-approximation, and we prove a hardness result for the bisubmodular welfare maximization problem. When buyers are strategic individuals with valuations as private information, we give a dominant-strategy incentive compatible (DSIC) mechanism that can motivate buyers to provide truthful information and outputs an allocation achieving -approximation.
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.