Vitalsource Technologies, Inc. Computational Complexity Of Equivalence And Isomorphism Problems