Hidden subgroup problem (source code)

= Hidden subgroup problem
{wiki}

The hidden subgroup problem asks for a subgroup $H\leq G$ given an oracle $f:G\to X$ that is constant on each left coset of $H$ and takes different values on different cosets. Abelian instances are solved by preparing coset states and applying a group <quantum Fourier transform>.