Affiliation: | (1) Department of Computer Science and Technology, Peking University, 100871 Beijing, P.R. China;(2) Department of Mathematics, Fudan University, 200433 Shanghai, P.R. China;(3) CAD Center, Department of Computer Science and Technology, Tsinghua University, 100084 Beijing, P.R. China |