Algorithm 非确定性图灵机在多项式时间内求解非确定性算法吗

非确定性图灵机能在多项式时间内以良好的猜测解决非确定性算法吗。如果是，为什么或如何？如果不是，为什么不呢？

这取决于算法，根据定义，可以对在非确定性图灵机上以多项式时间运行的算法类执行此操作。这一点都不有趣，只是一个重言式。比方说，算法可以判断一组1-子句在时间O（n^3*log（n））内是否不可达到。这是否意味着该算法可以用非确定性图灵机在多项式时间内求解。我知道它是在多项式时间内工作的，那么对于一个非det图灵机也是可能的，但我需要知道为什么会这样？在我的例子中，这是一个统一算法。我投票结束这个问题，因为这是一个理论上的计算机科学问题。