Vitalsource Technologies, Inc. Theory Of Semi-feasible Algorithms