Reallocating a large chunk of radio spectrum bandwidth from broadcast television use to mobile broadband in the United States and Canada can create tens of billions of dollars of economic value, but will require the solution of more than a million large-scale graph coloring problems. Although each of these problems is NP-hard, the complications for individual broadcasters must be kept modest. Computer science and game theory have come together to enable an elegant, effective solution.