Analytical, Theoretical And Empirical Advances In Genome-Scale Algorithmics