Vitalsource Technologies, Inc. Theory Of Computational Complexity