محوّل ترميز الفترات من الحدين وعلامتي التضمين

إنها الخطوة الأخيرة في كل متباينة خطية محلولة، وتُنجَز باتساق في استدعاء واحد، مع خطأ واضح عندما يتجاوز الحد الأدنى الحد الأعلى.

ما هو ترميز الفترة

ترميز الفترة هو الطريقة القياسية المختصرة لكتابة مجموعة من الأعداد الحقيقية المحصورة بين حدّين. فالقوس المربع يعني أن الحد مشمول في المجموعة، بينما القوس الدائري يعني أنه مستبعَد. وهكذا تُقرأ [-2, 5) على أنها كل عدد من سالب اثنين حتى خمسة دون أن تشملها.

يلتقي الطلاب بهذا الترميز فور حلّهم أول متباينة خطية، ويرافقهم في التفاضل والتكامل وما بعدهما. وضبط الأقواس أمر جوهري: فالخلط بين طرف مفتوح وطرف مغلق يغيّر معنى الإجابة، وهو من أكثر الأخطاء شيوعًا عند نسخ النتائج يدويًا من برنامج حلّ إلى تقرير أو نص برمجي للتصحيح أو بيانات اختبار. تستقبل هذه القدرة الحدّين ورايتَي الشمول بصورة منفصلة، فيكون القرار صريحًا في المدخلات بدلًا من استنتاجه من سلسلة نصية نسّقها شخص آخر.

وتغطي التركيبات الأربع للرايتين جميع الحالات المحدودة: مغلق-مغلق، ومغلق-مفتوح، ومفتوح-مغلق، ومفتوح-مفتوح، ويقابل كلٌّ منها زوج واحد فقط من الأقواس، فلا يبقى أي غموض حول الشكل الذي ينبغي أن تتخذه المخرجات لمدخلات معيّنة.

كيف يعمل التحويل

تُرسل حدًّا أدنى وحدًّا أعلى وقيمتين منطقيتين. يتحقق المحوِّل أولًا من أن كلا الحدّين عددٌ منتهٍ، ثم يتأكد من أن الحد الأدنى لا يتجاوز الحد الأعلى — فالزوج المعكوس يُرفَض بخطأ إدخال غير صالح بدلًا من إنتاج سلسلة لا معنى لها. ويُسمح بتساوي الحدّين عندما يكون كلاهما مشمولًا، مما ينتج فترة منحلّة مثل [3, 3] تحتوي نقطة واحدة فقط؛ أما تساوي الحدّين مع طرف مستبعَد فيصف المجموعة الخالية ويُرفَض، لأنه لا توجد سلسلة أقواس صادقة له.

وتعكس المخرجات المدخلات إلى جانب الفترة المنسَّقة، فيتمكن المستدعي من تسجيل الرايات التي أنتجت كل سلسلة بدقة. وتُعرَض الأعداد بثبات — الأعداد الصحيحة دون فاصلة عشرية — بحيث تنتج المدخلات نفسها البايتات نفسها على أي جهاز، مما يجعل النتيجة آمنة للاستخدام في الاختبارات المرجعية والمقارنات.

موضعها في خط المعالجة

معظم المستدعين لا يكتبون الحدود يدويًا؛ بل تأتي الرايات من حلّال متباينات أو مدقِّق قيود أو خطوة تحسين، ويقف هذا المحوِّل في نهاية تلك السلسلة بوصفه طبقة التنسيق. ومن استخداماته النموذجية عرض مجموعة الحلول على منصة واجبات دراسية، وتوليد الإجابات المتوقعة لمصحِّح آلي، وتوحيد نتائج عدة حلّالات في سلسلة قياسية واحدة قبل مقارنتها، وبناء تقارير قيود مقروءة. ولأن المخرجات حتمية وثابتة البايتات، فهي ملائمة بطبيعتها لاختبارات اللقطات: يمكن لمجموعة الاختبارات التحقق من سلسلة الفترة الدقيقة بدلًا من تعبير نمطي، ويظهر أي تغيير في راية سابقة فورًا على هيئة فرق.

وإذا كنت بحاجة إلى الخطوة السابقة — حلّ المتباينة نفسها — فاقترنها بقدرة حلّال المتباينات الخطية في الكتالوج نفسه، فهي تُنتج بالضبط الحدود والرايات التي يتوقعها هذا المحوِّل.