Seminar • Algorithms and Complexity — The Power of Constructive Proofs
Antonina Kolokolova, Department of Computer Science
Memorial University of Newfoundland
A unifying theme in complexity theory in the past few years has been the duality between lower bounds and algorithms. Indeed, some of the main recent lower bounds have been proven by developing better algorithms.