College of Computer Science, South-Central University for Nationalities, Wuhan 430074, China;
College of Computer Science, South-Central University for Nationalities, Wuhan 430074, China;
machine computation; graphlike manifold; homeomorphic class;