Analysis of Algorithms and Partial Algorithms — LessWrong