الانفجار التوافقي

في الرياضيات ، يُعرف الانفجار التوافقي بأنه النمو السريع لتعقيد مسألة ما نتيجة اعتماد توافقياتها على المدخلات والقيود والحدود. ويُستخدم هذا المصطلح أحيانًا لتبرير صعوبة حل بعض المسائل. [ 1 ] [ 2 ] ومن أمثلة هذه المسائل بعض الدوال الرياضية ، وتحليل بعض الألغاز والألعاب، وبعض الأمثلة الشاذة التي يمكن نمذجتها باستخدام دالة أكرمان .

أمثلة

المربعات اللاتينية

المربع اللاتيني من الرتبة n هو مصفوفة n × n تحتوي على عناصر من مجموعة مكونة من n عنصرًا، بحيث يظهر كل عنصر من المجموعة مرة واحدة فقط في كل صف وعمود من المصفوفة. مثال على مربع لاتيني من الرتبة 3 هو:

123
231
312

من الأمثلة الشائعة على المربع اللاتيني لغز سودوكو مكتمل . [ 3 ] يُعد المربع اللاتيني كائنًا توافقيًا (على عكس الكائن الجبري) لأن ترتيب العناصر هو المهم فقط، وليس ماهية هذه العناصر. يوضح الجدول التالي مثالًا على التزايد الهائل في عدد المربعات اللاتينية كدالة للترتيب (بغض النظر عن المجموعة التي تُسحب منها العناصر) (المتتالية A002860 في OEIS ) .

نعدد المربعات اللاتينية من الرتبة n
11
22
312
4576
5161,280
6812,851,200
761,479,419,904,000
8108,776,032,459,082,956,800
95,524,751,496,156,892,842,531,225,600
109,982,437,658,213,039,871,725,064,756,920,320,000
11776,966,836,171,770,144,107,444,346,734,230,682,311,065,600,000

سودوكو

قد يحدث انفجار توافقي في بعض الألغاز التي تُلعَب على شبكة، مثل سودوكو. [ 2 ] سودوكو نوع من المربع اللاتيني يتميز بخاصية إضافية، وهي أن كل عنصر يظهر مرة واحدة فقط في أقسام فرعية بحجم √n × √n ( تُسمى مربعات ) . يحدث الانفجار التوافقي مع ازدياد قيمة n ، مما يفرض قيودًا على خصائص سودوكو التي يمكن بناؤها وتحليلها وحلها، كما هو موضح في الجدول التالي.

نعدد شبكات سودوكو من الرتبة n (حجم المربعات n × n )عدد المربعات اللاتينية من الرتبة n (للمقارنة)
11 1
4288 [ 4 ]576
96,670,903,752,021,072,936,960 [ 4 ] [ 5 ]5,524,751,496,156,892,842,531,225,600
(n = 9 is the commonly played 9 × 9 Sudoku. The puzzle does not include grids where n is irrational.)

Games

One example in a game where combinatorial complexity leads to a solvability limit is in solving chess (a game with 64 squares and 32 pieces). Chess is not a solved game. In 2005 all chess game endings with six pieces or fewer were solved, showing the result of each position if played perfectly. It took ten more years to complete the tablebase with one more chess piece added, thus completing a 7-piece tablebase. Adding one more piece to a chess ending (thus making an 8-piece tablebase) is considered intractable due to the added combinatorial complexity.[6][7]

Furthermore, the prospect of solving larger chess-like games becomes more difficult as the board-size is increased, such as in large chess variants, and infinite chess.[8]

Computing

Combinatorial explosion can occur in computing environments in a way analogous to communications and multi-dimensional space. Imagine a simple system with only one variable, a Boolean called A. The system has two possible states, A = true or A = false. Adding another Boolean variable B will give the system four possible states, A = true and B = true, A = true and B = false, A = false and B = true, A = false and B = false. A system with n Booleans has 2n possible states, while a system of n variables each with Z allowed values (rather than just the 2 (true and false) of Booleans) will have Zn possible states.

The possible states can be thought of as the leaf nodes of a tree of height n, where each node has Z children. This rapid increase of leaf nodes can be useful in areas like searching, since many results can be accessed without having to descend very far. It can also be a hindrance when manipulating such structures.

يمكن تصور التسلسل الهرمي للفئات في لغة برمجة كائنية التوجه على أنه شجرة، حيث ترث أنواع مختلفة من الكائنات من فئاتها الأصلية. عند الحاجة إلى دمج فئات مختلفة، كما في عملية مقارنة (مثل A  < B )، يتضاعف عدد التركيبات الممكنة بشكل كبير. وإذا تطلب الأمر برمجة كل نوع من أنواع المقارنة على حدة، يصبح الأمر معقدًا للغاية حتى مع عدد قليل من الفئات. يمكن للتوريث المتعدد حل هذه المشكلة، إذ يسمح للفئات الفرعية بامتلاك عدة فئات أصلية، وبالتالي يمكن التركيز على عدد قليل من الفئات الأصلية بدلًا من كل فئة فرعية، دون الإخلال بالتسلسل الهرمي الحالي. 

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

تواصل

باستخدام خطوط اتصال منفصلة، ​​تحتاج أربع منظمات إلى ست قنوات
باستخدام وسيط، لا يلزم سوى قناة واحدة لكل مؤسسة

في مجال الإدارة والحوسبة ، يُشير مصطلح " الانفجار التوافقي" إلى الزيادة المتسارعة في خطوط الاتصال مع إضافة منظمات جديدة في عملية ما. (يُشار إلى هذا النمو عادةً بـ"النمو الأسي"، ولكنه في الواقع نمو متعدد الحدود ).

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

بشكل عام، سيستغرق الأمر ل=ن(ن-1)2=(ن2){\displaystyle l={\frac {n(n-1)}{2}}={n \choose 2}} خطوط الاتصال لـ n منظمة، وهو ببساطة عدد 2 من التوليفات المكونة من n عنصرًا (انظر أيضًا معامل ذي الحدين ). [ 9 ]

يتمثل النهج البديل في إدراك متى لن يكون هذا التواصل مطلبًا لمرة واحدة، وابتكار طريقة عامة أو وسيطة لنقل المعلومات. لكن يعيب هذا النهج أنه يتطلب جهدًا أكبر من الطرفين الأولين، إذ يتعين على كل منهما تحويل منهجه الداخلي إلى المنهج المشترك، بدلًا من النهج الأسهل ظاهريًا المتمثل في فهم الآخر فحسب.

انظر أيضاً

مراجع

  1. كريپندورف، كلاوس. "الانفجار التوافقي" . قاموس الويب لعلم التحكم الآلي والأنظمة . PRINCIPIA CYBERNETICA WEB. مؤرشف من الأصل في 6 أغسطس 2010. تم الاسترجاع في 29 نوفمبر 2010 .
  2. 1 2 http://intelligence.worldofcomputing/combinatorial-explosion مؤرشف في 2011-08-23 في Wayback Machine Combinatorial Explosion.
  3. جميع الألغاز المكتملة هي مربعات لاتينية، ولكن لا يمكن اعتبار جميع المربعات اللاتينية ألغازًا مكتملة نظرًا لوجود بنية إضافية في لغز سودوكو.
  4. 1 2 سلون، ن. ج. أ. (محرر). "المتتالية A107739 (عدد سودوكو (أو سودوكو) المكتملة بحجم n^2 × n^2)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS . تم الاطلاع بتاريخ 14 أبريل 2017 .  
  5. "مسائل تعداد سودوكو" . Afjarvis.staff.shef.ac.uk . تم الاطلاع عليه بتاريخ 20 أكتوبر 2013 .
  6. http://chessok.com/Lomonosov قواعد بيانات نهايات اللعب قواعد بيانات نهايات اللعب من لومونوسوف
  7. "قاعدة بيانات نهاية اللعبة لسبع قطع (الشطرنج)" . ستاك إكستشينج .
  8. أفييزري فرانكل؛ د. ليختنشتاين (1981)، "حساب استراتيجية مثالية للشطرنج من الرتبة n×n يتطلب وقتًا أُسّيًا بالنسبة إلى n"، مجلة نظرية التوافيق، السلسلة أ ، 31 (2): 199-214 ، doi : 10.1016/0097-3165(81)90016-9
  9. بنسون، تيم. (2010). مبادئ قابلية التشغيل البيني في مجال الصحة HL7 وSNOMED . نيويورك: سبرينغر. ص 23. ISBN  9781848828032. OCLC 663097524 .