标签： algorithm polynomials turing-machines non-deterministic
非确定性图灵机能否在多项式时间内通过良好的猜测来求解非确定性算法。如果是，为什么或如何？如果不是为什么不呢？