لكي تكون التعليمتان و J مستقلتين فإنه من الكافي أن تتحقق العلاقات التالية والتي تدعى شروط برنشتاين:
عندما لا تتحقق شروط برنشتاين عندئذ يوجد تبعية منطقية بين I و J وللحصول على حساب أكيد يجب أن ينجز التسلسل.
سنحدد الآن طريقة للحصول على بيان الترتيب الجزئي الذي يزيد الحد الأعلى لاحتمال التوازي للحساب التسلسلي: نعمل لى تطبيق شروط برنشتاين على كل زوج من التعليمات
فإذا لم يكن أي منه...