Algoritmo BQP para dos problemas de bisección de gráficos y sus implicaciones en NP

Leo el periodico

• Ahmed Younes, " Un algoritmo de tiempo polinómico cuántico de error acotado para dos problemas de bisección gráfica ", 2015. doi: 10.1007 / s11128-015-1069-a

que se publica en la revista Springer Quantum Information Processing. El artículo parece afirmar que proporciona un algoritmo BQP para los problemas NP-duros de bisección mínima y bisección máxima.

$NP\subseteq BQP$N P ⊈ B Q $NP\not\subseteq BQP$$NP\nsubseteq BQP$

• Charles H. Bennett, Ethan Bernstein, Gilles Brassard y Umesh Vazirani, " Fortalezas y debilidades de la computación cuántica ", 1997. doi: 10.1137 / S0097539796300933

Estoy perplejo porque me parece que el análisis de complejidad del artículo se refiere a la complejidad de la consulta, no a la complejidad del tiempo. En otras palabras, no está claro si el algoritmo está en BQP. Por otro lado, las implicaciones del documento deberían haber sido claras para cualquier revisor en computación cuántica, por lo que espero que los revisores realmente verifiquen todos los detalles del documento para confirmar el resultado; de lo contrario, no se publicaría.

¿El algoritmo en el documento está realmente en BQP? ¿El documento realmente implica que NP BQP?$\subseteq$

• Ahmed Younes, Jonathan E. Rowe, " Algoritmo cuántico de error limitado por el tiempo polinómico para la satisfacción booleana ", 2015

Otro artículo con la misma idea de Ahmed Younes y Jonathan E. Rowe, Algoritmo cuántico de error acotado de tiempo polinómico para la satisfacción booleana . El algoritmo no es tiempo polinomial.