Sharp Separation and Applications to Exact and Parameterized Algorithms