Shanghai Key Laboratory of Intelligent Information Processing and Institute of Theoretical Computer Science, School of Computer Science, Fudan University