Approximation algorithms for secondary spectrum auctions · Study