Le temps quasi-polynomial, ou QP pour faire court, est une classe de complexité sur la machine de Turing déterministe. Voici la définition précise: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp
Alors que βP est une classe de complexité de non-déterminisme limité. Voici la définition précise: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap
Il est facile de voir que n'importe quelle machine de βP peut être simulée par une machine de QP, à savoir, βP QP.
Mais avons-nous un exemple, un problème qui est en QP mais pas en βP, même si nous n'avons juste aucune preuve précise que le problème n'est pas en βP?