تم النشر اليوم 2024/07/07 | مشكلة الإقران المتكافئ

حل المشكلة

في عام 1962، أثبت دافيد جيل ولويد شابلى أن الوصول لحالة الإقران الأمثل دائما متاح بوجود عدد متساوٍ من الذكور والإناث عن طريق خوارزمية جيل-شابلى. تتكون خوارزمية جيل-شابلى من عدة تكرارات أو دورات. في أول دورة للخوارزمية، يقوم كل من الرجال بالتقدم لأكثر امرأة يفضلها وتقوم كل النساء بالموافقة غير النهائية على واحد ممن تقدموا لها حسب الأفضلية وتقوم برفض الآخرين، وبهذا يتكون عدد من الأزواج من النساء والرجال المقترنين بصفة غير نهائية ويكون عدد هذه الأزواج أقل من أو مساو للعدد الكلى للرجال أو النساء. في كل من الدورات التالية، يتقدم كل رجل لم يرتبط بعد للمرأة التي لم يتقدم لها بعد حتى وإن كانت مرتبطة بترتيب الأفضلية بالنسبة له، وحينها إن كانت تلك المرأة مرتبطة بالفعل توافق عليه إن كان ذو أفضلية عن من كانت قد ارتبطت به بشكل مؤقت، أو ترفضه ان كان بترتيب أفضلية أقل ممن قد ارتبطت به أو حتى أقل ممن العروض الجديدة خلال هذه الدورة إن كانت لم ترتبط بعد. وتستمر الدورات حتى يقترن عدد ن من الرجال بعدد ن من النساء. و تعد هعملية الإقران تلك من العمليات معقدة حسابياً حيث انها تتكون من عدد من العمليات قد يصل إلى مربع عدد الرجال/النساء، وبذا برمز O الكبير تكون العملية O(ن^2)

تطبيقات مشابهة

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

مثال

أ = {ج، د، س}، وب = {و، ز، ط} يُعرف كل فرد ترتيب أفضلية كل الأفراد من القائمة بالنسبة له: ج: و، ز، ط د: ز، و، ط س: و، ط، ز و: س، ج، د ز: ج، س، د ط: ج، س، د أول تكرار: يرتبط كلٍ من (س، و) و (د، ز) وترفض «و» «ج» ثانى تكرار: يرتبط (ج، ز) ويصبح «د» غير مرتبط مرة ثانية ثالث تكرار: يتقدم «د» ل «و» ولكنها تظل مع «س» حيث أنه أكثر من «د» أفضلية رابع تكرار: يرتبط (د، ط)

الخوارزمية

دالة الإقران الأمثل{ تُعَرَّف القائمتان أ تضم جميع الرجال، وب تضم جميع النساء كغير مرتبطين أعد لطالما تواجد رجل ج غير مرتبطين{ م: المرأة ذات أعلى أفضلية بالنسبة ل«ج» ولم يتقدم لها بعد إذا لم تكن المرأة م مرتبطة، يرتبط (م، ج) بشكل مؤقت ّإذا كانت المرأة م مرتبطة ب«د»: إذا فضّلت المرأة م الرجل ج عن د، يرتبط (م، ج) ويصبح الرجل د غير مرتبط إذا لم تُفَضِّل المرأة م الرجل ج عن د، يظل (م، د) مرتبطين} }

نتاج الخوارزمية

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

شرح مبسط

يهدف الإقران الأمثل إلي المزاوجة بين عناصر متساوية العدد منتمية لفصيلتين.[1][2] يقوم كل عنصر س منتمي للنوع الأول بسرد العناصر المنتمية للنوع الثانى كلها بأفضلية اقترانه بها، وفي النهاية يتكون الزوجان (س، ص). يعد هذا الاقتران هو الأمثل في أي من الحالتين التاليتين:1- ألا يفضل العنصر س عنصراً آخر من النوعية الأخرى أكثر ممن اقترن به.2- ألا يفضل ص عنصرا آخر من النوعية الأولى عن هذا الذي اقترن به.