تصميم خوارزمية
الخوارزمية هو مصطلح يشير إلى مجموعة محدودة ومعينة من الخطوات، حيث أن كل واحدة من هذه الخطوات قد تتطلب في حد ذاتها واحد أو أكثر من العمليات الحسابية والمنطقية ، وإذا ما تم إتمام وتنفيذ هذه الخطوات بشكل صحيح فإنه سوف نحصل على نتيجة أو على مجموعة من النواتج بعد فترة محدودة ومعينة من الوقت اللازم لتنفيذ ذلك .
وهناك مجموعة وعناصر من القيود والممانعات على نوع العمليات التي يمكن أن تتضمن وتحيط الخوارزمية وهي التالي:
مسألة كثير حدود وكثير حدود غير قطعي
امر اخر مهم جدا هو نجاعة الخوارزمية , وفي هذه الحالة النجاعة هي كمية الوقت التي تستخدمها الخوارزمية حتى الوصول لنتيجة , وبشكل دقيق : فلتكن formula_3 دالة من الاعداد الطبيعية إلى الاعداد الطبيعية (لعلنا نسميها دالة الوقت) , حينها نرمز ل- formula_4 هي مجموعة كل المسائل التي يوجد آلة تيورنج حتمية تحلها خلال formula_5 وقت اي عدد خطوات الحساب التي تلزم الآلة للوصول لجواب , نستطيع أيضا بشكل مشابه تعريف formula_6 ولكن النموذج هو آلة تيورنج غير حتمية .