Algoritmo BQP para dois problemas de bissecção de grafos e suas implicações no NP

Eu li o jornal

Ahmed Younes, " Um algoritmo de tempo polinomial quântico com erro limitado para dois problemas de bissecção de gráficos ", 2015. doi: 10.1007 / s11128-015-1069-y

publicado na revista Quantum Information Processing da Springer. O artigo parece afirmar que fornece um algoritmo BQP para os problemas NP-difíceis de min-bissecção e max-bissecção.

$NP\subseteq BQP$ $NP\not\subseteq BQP$ $NP\nsubseteq BQP$

Charles H. Bennett, Ethan Bernstein, Gilles Brassard e Umesh Vazirani, " Pontos Fortes e Fracos da Computação Quântica ", 1997. doi: 10.1137 / S0097539796300933

Estou intrigado porque me parece que a análise de complexidade do artigo diz respeito à complexidade da consulta e não à complexidade do tempo. Em outras palavras, não está claro se o algoritmo está no BQP. Por outro lado, as implicações do artigo deveriam ter sido claras para qualquer revisor em computação quântica, portanto, espero que os revisores realmente verifiquem todos os detalhes do artigo para confirmar o resultado, caso contrário, ele não seria publicado.

O algoritmo no artigo está realmente no BQP? O artigo realmente implica que NP $\subseteq$ BQP?

Ahmed Younes, Jonathan E. Rowe, " Um algoritmo quântico de erro vinculado a um tempo polinomial para satisfação booleana ", 2015

cc.complexity-theory np-hardness quantum-computing

— neófito
fonte

Afaik, este artigo não é bem conhecido na comunidade de computação quântica. É um pouco suspeito que ele não tenha sido listado no zoológico do algoritmo quântico . Também estou bastante confuso ao ver o jornal desse diário.

— Juan Bermejo Vega

Vi algumas sugestões de que o algoritmo faz a pós-seleção (e, portanto, não é surpreendente, pois @ScottAaronson mostrou PostBQP = PP). Por exemplo, aqui algoritmicassertions.com/quantum/2015/08/01/… e aqui scottaaronson.com/blog/?p=2408#comment-743305 .

— Sasho Nikolov