Je regardais cette note conférence où l'auteur donne une séparation oracle entre BQPBQP\mathsf{BQP} et NPNP\mathsf{NP} . Il suggère comment "les techniques de diagonalisation standard peuvent être utilisées pour rendre cela rigoureux". Quelqu'un peut-il détailler une technique de diagonalisation à...