1 paper
François Le Gall, Harumichi Nishimura, Dhara Thakkar
In this work, we show that verifying the order of a finite group given as a black-box is in the complexity class QCMA. This solves an open problem asked by Watrous in 2000 in his s…