广播者重新打包问题

美国联邦通信委员会（FCC）正在进行的激励拍卖如果成功，将把价值数十亿美元的无线电频谱从电视广播者转移给移动网络运营商。数百个广播者可能会停播。大多数继续播出的广播者，包括数百个未参与竞拍的加拿大广播者，将不得不移动到新频道以继续广播。只有当所有这些广播者都能容纳在剩余的电视频谱中时，拍卖才能结束。给定的一组广播者是否适合容纳，就是广播者重新打包问题。FCC 必须在每轮竞拍中计算其解数千次。速度至关重要。通过将广播者重新打包问题归约到最大独立集问题，我们证明了前者是 $\mathcal{NP}$-complete 的。这种归约还使我们能够扩展文献中利用稀疏性的启发式方法，这些方法使得 FCC 的重新打包问题实例变得易于处理。最后，我们将这些启发式方法与可满足性和整数规划归约联系起来。这为在现成软件中实现算法以解决广播者重新打包问题提供了基础。