Theory of Semi-Feasible Algorithms door