As one of the most powerful tools in game theory, double auction is widely utilized to tackle the spectrum allocation problem in a secondary market. In this paper, we propose a multi-unit double auction framework in which the conflict graph-based bidder group formation, the winner determination strategy, and the spectrum pricing are elaborately designed. Through an in-depth theoretical analysis, we prove that our auction scheme can achieve three critical properties including the individual rationality, the ex-post budget balance, and the truthfulness. Extensive simulation results validate that the proposed auction framework can significantly improve the user satisfaction degree.
['Tao Jing', 'Chenyu Zhao', 'Xiaoshuang Xing', 'Yan Huo', 'Wei Li', 'Xiuzhen Cheng']
A multi-unit truthful double auction framework for secondary market