Anche se non è un punto cruciale, non vedo letteratura intorno a questa domanda. Ci sono risultati di relativizzazione?
Non sarebbe del tutto semplice dimostrare una rigorosa inclusione adattando il teorema della gerarchia temporale non deterministica esplorando tutti i possibili percorsi della macchina NP?