1. College of Computer Science and Technology, Key Laboratory of Symbolic Computation and KnowledgeEngineering of Ministry of Education, Jilin University, Changchun 130012, China|2. Institute of Computer Science and Technology, Peking University, Beijing 100871, China; 3. College of Mathematics, Jilin University, Changchun 130012, China