في نظرية التعقيد الحسابي، يعدّ الصنف كثير الحدود غير الحتمي (nondeterministic polynomial time) فئة تعقيد تُستخدم لتصنيف مسائل القرار. تمثل NP مجموعة مسائل القرار التي تمتلك الحالات التي تكون إجاباتها "نعم" براهين يمكن التحقق منها في زمن كثير الحدود بواسطة آلة تورنغ حتمية، أو على نحو مكافئ، هي مجموعة المسائل التي يمكن حلها في وقت حدودي بواسطة آلة تورنغ غير حتمية.
الصنف كثير الحدود غير الحتمي هو مجموعة مسائل القرار التي يمكن حلها في وقت حدودي عبر آلة تورينغ غير حتمية.
الصنف كثير الحدود غير الحتمي هو مجموعة مسائل القرار التي يمكن التحقق منها في وقت حدودي عبر آلة تورينغ حتمية.
التعريف الأول هو أصل تسمية هذا الصنف (الزمن كثير الحدود غير الحتمي). ويُعدّ التعريفان متكافئين، نظرًا لأن خوارزمية آلة تورينغ غير الحتمية تتكوّن من مرحلتين: المرحلة الأولى تتعلق بتخمين حلٍّ للمسألة، ويتم هذا التخمين بصورة غير حتمية. أما المرحلة الثانية فتتعلق بالتحقق من صحة هذا التخمين، ويتم ذلك بصورة حتمية.