ਨਿਰਣਾਇਕ ਟਿਊਰਿੰਗ ਮਸ਼ੀਨਾਂ
ਕਿਉਂਕਿ ਨਿਰਣਾਇਕ ਟਿਊਰਿੰਗ ਮਸ਼ੀਨਾਂ ਵਿਸ਼ੇਸ਼ ਗੈਰ-ਨਿਰਣਾਇਕ ਟਿਊਰਿੰਗ ਮਸ਼ੀਨਾਂ ਹੁੰਦੀਆਂ ਹਨ, ਇਹ ਅਸਾਨੀ ਨਾਲ ਵੇਖਿਆ ਜਾਂਦਾ ਹੈ ਕਿ P ਵਿੱਚ ਹਰੇਕ ਸਮੱਸਿਆ ਵੀ NP ਸ਼੍ਰੇਣੀ ਦਾ ਮੈਂਬਰ ਹੈ।
ਕਿਹੜੀ ਸਿਧਾਂਤਕ ਮਸ਼ੀਨ ਵਿੱਚ ਇਹ ਪੁਸ਼ਟੀ ਕੀਤੀ ਗਈ ਹੈ ਕਿ ਪੀ ਦੀ ਐਨ ਪੀ ਸ਼੍ਰੇਣੀ ਵਿੱਚ ਮੈਂਬਰਸ਼ਿਪ ਵਿੱਚ ਇੱਕ ਸਮੱਸਿਆ ਹੈ?