استنتاج المجموعات الجزئية

الصعوبة: متوسط

إذا احتُوي مرشّحو رقم داخل مرشّحي رقم آخر، فالفرق يؤكِّد النتيجة.

هو أسلوب يقارن «مجموعتي الخلايا المغلقة المجاورة» لخليتين رقميتين متجاورتين. ويتحقق حين تكون مجموعة مرشّحي اللغم لخلية محتواةً كليًا داخل مجموعة مرشّحي الخلية الأخرى.

فمثلًا إذا كان مرشّحو A محتوَين داخل مرشّحي B، وكان الناتج من طرح عدد ألغام A من عدد الألغام التي يحتاجها B مساويًا «عدد خلايا مجموعة الفرق»، فتلك المجموعة الفرقية كلها ألغام. وعلى العكس، إذا كان صفرًا فكلها آمنة.

والنمطان 1-1 و1-2 في الحقيقة حالتان خاصتان من منطق المجموعات الجزئية هذا. وإذا فكّرت بعلاقة احتواء المجموعات، أمكنك معالجة الحدود المعقّدة بصورة عامة.

أساليب ذات صلة