به طور غیر رسمی، این سوال را می‌پرسد که آیا هر مشکلی که راه‌حل آن می‌تواند به سرعت توسط یک کامپیوتر تأیید شود، می‌تواند به سرعت توسط یک کامپیوتر حل شود یا خیر. به طور گسترده حدس زده می‌شود که پاسخ خیر است.