Exact Algorithms and Fixed-Parameter Tractability