1 Module 5 Topics –Proof of the existence of unsolvable problems Proof Technique –There are more problems/languages than there are programs/algorithms.
FPT is Characterized by Useful Obstruction Sets Bart M. P. Jansen Joint work with Michael R. Fellows, Charles Darwin Univ. June 21st 2013, WG 2013, Lübeck.
FPT is Characterized by Useful Obstruction Sets