Shanghai Key Laboratory of Trustworthy Computing;
East China Normal University;
Shanghai 200062;
China;
John Hopcroft Center of Computer Science;
Shanghai Jiao Tong University;
Shanghai 200240;
China;
Yanqi Lake Beijing Institute of Mathematical Sciences and Applications;
Beijing 101408;
China;
Centre for Quantum Software and Information;
University of Technology Sydney;
Sydney NSW 2007;
Australia;