في علم الحاسوب ، الخوارزمية القطعية (Deterministic algorithm) هي خوارزمية لها سلوك متوقع من حيث المعنى.[1][2][3] عند إعطاء مدخلات معينة، فإنه سوف تنتج دائما نفس المخرجات. الخوارزميات القطعية هي إلى حد بعيد النوع الأكثر بساطة وسهولة بالنسبة للعديد من الخوارزمية، فضلا عن أنها واحدة من أكثر الخوارزميات العملية، حيث يمكن تشغيلها على الأجهزة الحقيقية بكفاءة.
من حيث التعريف الخوارزمية القطعية هي دالة رياضية. كمعطى لها قيمة فريدة مدخلا، والخوارزمية هي العملية التي تنتج هذه القيمة خاصة مخرجا.
تعريف رسمي
انظر إلى آلة ذات حالات محدودة وإلى آلة مجردة وإلى آلة تورنغ وإلى أتمتة محدودة قطعية.
مراجع
- Edward A. Lee. "The Problem with Threads" ( كتاب إلكتروني PDF ). مؤرشف من الأصل ( كتاب إلكتروني PDF ) في 20 يوليو 201829 مايو 2009.
- Bocchino Jr., Robert L.; Adve, Vikram S.; Adve, Sarita V.; Snir, Marc (2009). Parallel Programming Must Be Deterministic by Default. USENIX Workshop on Hot Topics in Parallelism. مؤرشف من الأصل في 27 يناير 2016.
- Determinism categories in the Mercury programming language - تصفح: نسخة محفوظة 3 يوليو 2012 على موقع واي باك مشين.