الانفجار التوافقي
في الرياضيات ، يُعرف الانفجار التوافقي بأنه النمو السريع لتعقيد مسألة ما نتيجة اعتماد توافقياتها على المدخلات والقيود والحدود. ويُستخدم هذا المصطلح أحيانًا لتبرير صعوبة حل بعض المسائل. [ 1 ] [ 2 ] ومن أمثلة هذه المسائل بعض الدوال الرياضية ، وتحليل بعض الألغاز والألعاب، وبعض الأمثلة الشاذة التي يمكن نمذجتها باستخدام دالة أكرمان .
أمثلة
المربعات اللاتينية
المربع اللاتيني من الرتبة n هو مصفوفة n × n تحتوي على عناصر من مجموعة مكونة من n عنصرًا، بحيث يظهر كل عنصر من المجموعة مرة واحدة فقط في كل صف وعمود من المصفوفة. مثال على مربع لاتيني من الرتبة 3 هو:
1 2 3 2 3 1 3 1 2
من الأمثلة الشائعة على المربع اللاتيني لغز سودوكو مكتمل . [ 3 ] يُعد المربع اللاتيني كائنًا توافقيًا (على عكس الكائن الجبري) لأن ترتيب العناصر هو المهم فقط، وليس ماهية هذه العناصر. يوضح الجدول التالي مثالًا على التزايد الهائل في عدد المربعات اللاتينية كدالة للترتيب (بغض النظر عن المجموعة التي تُسحب منها العناصر) (المتتالية A002860 في OEIS ) .
| ن | عدد المربعات اللاتينية من الرتبة n |
|---|---|
| 1 | 1 |
| 2 | 2 |
| 3 | 12 |
| 4 | 576 |
| 5 | 161,280 |
| 6 | 812,851,200 |
| 7 | 61,479,419,904,000 |
| 8 | 108,776,032,459,082,956,800 |
| 9 | 5,524,751,496,156,892,842,531,225,600 |
| 10 | 9,982,437,658,213,039,871,725,064,756,920,320,000 |
| 11 | 776,966,836,171,770,144,107,444,346,734,230,682,311,065,600,000 |
سودوكو
قد يحدث انفجار توافقي في بعض الألغاز التي تُلعَب على شبكة، مثل سودوكو. [ 2 ] سودوكو نوع من المربع اللاتيني يتميز بخاصية إضافية، وهي أن كل عنصر يظهر مرة واحدة فقط في أقسام فرعية بحجم √n × √n ( تُسمى مربعات ) . يحدث الانفجار التوافقي مع ازدياد قيمة n ، مما يفرض قيودًا على خصائص سودوكو التي يمكن بناؤها وتحليلها وحلها، كما هو موضح في الجدول التالي.
| ن | عدد شبكات سودوكو من الرتبة n (حجم المربعات √ n × √ n ) | عدد المربعات اللاتينية من الرتبة n (للمقارنة) |
|---|---|---|
| 1 | 1 | 1 |
| 4 | 288 [ 4 ] | 576 |
| 9 | 6,670,903,752,021,072,936,960 [ 4 ] [ 5 ] | 5,524,751,496,156,892,842,531,225,600 |
| ( n = 9 هو سودوكو 9 × 9 الشائع اللعب. لا تتضمن الأحجية مربعات يكون فيها √ n عددًا غير نسبي .) | ||
ألعاب
أحد الأمثلة على الألعاب التي يؤدي فيها التعقيد التوافقي إلى حدٍّ للحل هو لعبة الشطرنج (لعبة تتكون من 64 مربعًا و32 قطعة). الشطرنج ليست لعبة محلولة . في عام 2005، تم حل جميع نهايات لعبة الشطرنج التي تحتوي على ست قطع أو أقل، مما أظهر نتيجة كل وضعية في حال لعبها بشكل مثالي. استغرق الأمر عشر سنوات أخرى لإكمال قاعدة البيانات بإضافة قطعة شطرنج أخرى، وبذلك اكتملت قاعدة بيانات مكونة من 7 قطع. تُعتبر إضافة قطعة أخرى إلى نهاية لعبة الشطرنج (وبالتالي تكوين قاعدة بيانات مكونة من 8 قطع) أمرًا غير قابل للحل نظرًا للتعقيد التوافقي الإضافي. [ 6 ] [ 7 ]
علاوة على ذلك، يصبح احتمال حل الألعاب الشبيهة بالشطرنج الأكبر حجماً أكثر صعوبة مع زيادة حجم اللوحة، كما هو الحال في متغيرات الشطرنج الكبيرة ، والشطرنج اللانهائي . [ 8 ]
الحوسبة
يمكن أن يحدث انفجار توافقي في بيئات الحوسبة بطريقة مشابهة للاتصالات والفضاء متعدد الأبعاد . تخيل نظامًا بسيطًا بمتغير واحد فقط، وهو متغير منطقي يُسمى A. للنظام حالتان محتملتان: A = صحيح أو A = خطأ. إضافة متغير منطقي آخر B ستعطي النظام أربع حالات محتملة: A = صحيح و B = صحيح، A = صحيح و B = خطأ، A = خطأ و B = صحيح، A = خطأ و B = خطأ. نظام يحتوي على n متغيرًا منطقيًا له 2 ^n حالة محتملة، بينما نظام يحتوي على n متغيرًا، لكل منها Z قيمة مسموحة (بدلاً من القيمتين المنطقيتين فقط 2^n) سيكون له Z^ n حالة محتملة.
يمكن اعتبار الحالات الممكنة بمثابة العقد الطرفية لشجرة ارتفاعها n ، حيث تحتوي كل عقدة على Z من الأبناء. قد يكون هذا التزايد السريع في عدد العقد الطرفية مفيدًا في مجالات مثل البحث ، إذ يُمكن الوصول إلى العديد من النتائج دون الحاجة إلى النزول إلى أعماق كبيرة. ولكنه قد يُشكل عائقًا عند التعامل مع هذه البنى.
يمكن تصور التسلسل الهرمي للفئات في لغة برمجة كائنية التوجه على أنه شجرة، حيث ترث أنواع مختلفة من الكائنات من فئاتها الأصلية. عند الحاجة إلى دمج فئات مختلفة، كما في عملية مقارنة (مثل A < B )، يتضاعف عدد التركيبات الممكنة بشكل كبير. وإذا تطلب الأمر برمجة كل نوع من أنواع المقارنة على حدة، يصبح الأمر معقدًا للغاية حتى مع عدد قليل من الفئات. يمكن للتوريث المتعدد حل هذه المشكلة، إذ يسمح للفئات الفرعية بامتلاك عدة فئات أصلية، وبالتالي يمكن التركيز على عدد قليل من الفئات الأصلية بدلًا من كل فئة فرعية، دون الإخلال بالتسلسل الهرمي الحالي.
مثال على ذلك هو تصنيف الخضراوات المختلفة التي ترث صفاتها من أسلافها. يصبح من الصعب مقارنة مذاق كل نوع من الخضراوات بالآخر، لأن التسلسل الهرمي لا يحتوي إلا على معلومات وراثية ولا يذكر المذاق. ولكن، بدلاً من كتابة مقارنات بين الجزر والجزر، والجزر والبطاطا، والجزر والبراعم، والبطاطا والبطاطا، والبطاطا والبراعم، والبراعم، يمكن لجميعها أن ترث صفات المذاق من فئة منفصلة مع الحفاظ على تسلسلها الهرمي الحالي القائم على أسلافها، وبذلك يمكن تطبيق كل ما سبق بمقارنة مذاقها فقط.
تواصل
في مجال الإدارة والحوسبة ، يُشير مصطلح " الانفجار التوافقي" إلى الزيادة المتسارعة في خطوط الاتصال مع إضافة منظمات جديدة في عملية ما. (يُشار إلى هذا النمو عادةً بـ"النمو الأسي"، ولكنه في الواقع نمو متعدد الحدود ).
إذا احتاجت منظمتان للتواصل بشأن موضوع معين، فقد يكون من الأسهل التواصل مباشرةً بطريقة غير رسمية ، إذ لا يتطلب الأمر سوى قناة اتصال واحدة . أما إذا أُضيفت منظمة ثالثة، فستحتاج إلى ثلاث قنوات منفصلة. وتتطلب إضافة منظمة رابعة ست قنوات، وخمس قنوات عشر، وست قنوات خمس عشرة، وهكذا.
بشكل عام، سيستغرق الأمر خطوط الاتصال لـ n منظمة، وهو ببساطة عدد 2 من تركيبات n عنصر (انظر أيضًا معامل ذي الحدين ). [ 9 ]
يتمثل النهج البديل في إدراك متى لن يكون هذا التواصل مطلبًا لمرة واحدة، وابتكار طريقة عامة أو وسيطة لنقل المعلومات. لكن يعيب هذا النهج أنه يتطلب جهدًا أكبر من الطرفين الأولين، إذ يتعين على كل منهما تحويل منهجه الداخلي إلى المنهج المشترك، بدلًا من النهج الأسهل ظاهريًا المتمثل في فهم الآخر فحسب.
انظر أيضاً
مراجع
- ↑ كريپندورف، كلاوس. "الانفجار التوافقي" . قاموس الويب لعلم التحكم الآلي والأنظمة . PRINCIPIA CYBERNETICA WEB. مؤرشف من الأصل في 6 أغسطس 2010. تم الاسترجاع في 29 نوفمبر 2010 .
- 1 2 http://intelligence.worldofcomputing/combinatorial-explosion مؤرشف في 2011-08-23 في Wayback Machine Combinatorial Explosion.
- ↑ جميع الألغاز المكتملة هي مربعات لاتينية، ولكن لا يمكن اعتبار جميع المربعات اللاتينية ألغازًا مكتملة نظرًا لوجود بنية إضافية في لغز سودوكو.
- 1 2 سلون، ن. ج. أ. (محرر). "المتتالية A107739 (عدد سودوكو (أو سودوكو) المكتملة بحجم n^2 × n^2)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS . تم الاطلاع بتاريخ 14 أبريل 2017 .
- ↑ "مسائل تعداد سودوكو" . Afjarvis.staff.shef.ac.uk . تم الاطلاع عليه بتاريخ 20 أكتوبر 2013 .
- ↑ http://chessok.com/Lomonosov قواعد بيانات نهايات اللعب قواعد بيانات نهايات اللعب من لومونوسوف
- ↑ "قاعدة بيانات نهاية اللعبة لسبع قطع (الشطرنج)" . ستاك إكستشينج .
- ↑ أفييزري فرانكل؛ د. ليختنشتاين (1981)، "حساب استراتيجية مثالية للشطرنج من الرتبة n×n يتطلب وقتًا أُسّيًا بالنسبة إلى n"، مجلة نظرية التوافيق، السلسلة أ ، 31 (2): 199-214 ، doi : 10.1016/0097-3165(81)90016-9
- ↑ بنسون، تيم. (2010). مبادئ قابلية التشغيل البيني في مجال الصحة HL7 وSNOMED . نيويورك: سبرينغر. ص 23. ISBN 9781848828032. OCLC 663097524 .
- التوافقية
- نظرية الألعاب التوافقية


