1. Department of Mathematics, The Chinese University of Hong Kong, Shatin, New Territories, Hong Kong
2. College of Computer Science, Chongqing University, Chongqing, China
3. School of Computer Science and Informatics, Cardiff University, Cardiff, U.K.