Theory of Semi-Feasible Algorithms by