1. عند اجتماع 6 أشخاص، نجد حتمًا ثلاثية مميزة

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

• يوجد 3 أشخاص، يعرف أي اثنين منهم بعضهما البعض (كل زوج منهم متعارفان).
• يوجد 3 أشخاص، لا يعرف أي اثنين منهم بعضهما البعض (كل زوج منهم غرباء تمامًا).

الأمر هنا لا يعني أننا سنجد هؤلاء “في معظم الأحيان” فحسب، بل سنجدهم دائمًا ودون أي استثناء، بصرف النظر عن الكيفية التي صُممت بها العلاقات بينهم. علاوة على ذلك، فإن الرقم 6 هو الحد الأدنى؛ فإذا كان لدينا 5 أشخاص فقط، فمن الممكن تكوين شبكة علاقات تتجنب كلتا الثلاثيتين تمامًا.

هذه المفارقة البسيطة والمدهشة هي بوابتنا إلى نظرية رامزي (Ramsey theory). تبحث هذه النظرية في “الانتظام الحتمي الذي لا مفر منه”؛ فمهما حاولت تقسيم بنية رياضية ضخمة إلى أجزاء شديدة التعقيد والتشتت، فإنه بمجرد بلوغ هذه البنية حجمًا كافيًا، يستحيل تجنب ظهور بنى فرعية صغيرة ومنتظمة تلبي شروطًا محددة.

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

2. تحويل العلاقات الإنسانية إلى خطوط حمراء وزرقاء

شروط النموذج وفرضياته

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

لا يشمل هذا النموذج العلاقات أحادية الجانب (مثل معرفة اسم شخص مشهور دون أن يعرفك) أو العلاقات غير المؤكدة. كذلك، فإن عبارة “لا يعرف أحدهما الآخر” تعني ببساطة غياب المعرفة، ولا تعني بأي حال من الأحوال وجود عداوة أو كراهية.

سنمثل الأشخاص كنقاط (رؤوس)، والعلاقة بين كل شخصين كخط (حافة) يصل بينهما:

بما أننا نربط كل زوج من المشاركين بخط، فإن الشكل الناتج هو مخطط كامل (Complete Graph). يُرمز للمخطط الكامل ذي $n$ من الرؤوس بالرمز $K_n$، ويُعطى عدد أضلاعه (حوافه) بالصيغة التالية:

في حالة 6 أشخاص، يكون لدينا 15 خطًا. وتجدر الإشارة إلى أن مجرد معرفة A لكل من B و C لا تعني أن الثلاثة يعرفون بعضهم البعض؛ إذ يجب أن يكون الخط الواصل بين B و C أحمر أيضًا. تذكر دائمًا أن الشرط هو أن تكون أضلاع المثلث الثلاثة بأكملها من نفس اللون.

من هنا فصاعدًا، سنطلق على المثلث الذي تكون كافة أضلاعه حمراء أو كافة أضلاعه زرقاء اسم المثلث أحادي اللون (Monochromatic triangle). ولتسهيل القراءة وضمان وضوح الرسم حتى لمن يواجهون صعوبة في تمييز الألوان، سنرسم الخطوط الحمراء كخطوط متصلة، والخطوط الزرقاء كخطوط متقطعة.

3. إثبات الوجود الحتمي في حالة 6 أشخاص

الأداة الرياضية الوحيدة التي سنحتاجها في هذا الإثبات هي مبدأ جحر الحمام. سنستخدم هذه الحقيقة البديهية البسيطة: “إذا وزعنا 5 عناصر على فئتين، فلا بد أن تحتوي إحدى الفئتين على 3 عناصر على الأقل”.

الخطوة 1: التركيز على شخص واحد فقط

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

حيث يمثل الرمز $\lceil x\rceil$ دالة السقف (أصغر عدد صحيح أكبر من أو يساوي $x$). ويمكن إدراك ذلك بطريقة بديهية: فلو كان عدد الخطوط الحمراء اثنين أو أقل، والزرقاء اثنين أو أقل، لكان المجموع 4 خطوط فقط على الأكثر، وهو ما لا يكفي لتغطية الخطوط الخمسة الخارجة من A.

دعونا نفترض أن هناك 3 خطوط حمراء على الأقل، ولنسمِّ الأشخاص الثلاثة المتصلين بها B و C و D. إذن، الخطوط A–B و A–C و A–D كلها حمراء. (إذا كانت الخطوط الثلاثة زرقاء، فإن نفس الحجة تنطبق تمامًا بمجرد تبديل اللونين الأحمر والأزرق).

الخطوة 2: فحص العلاقات بين B و C و D

بالنظر إلى الخطوط الثلاثة الواصلة بين هؤلاء الأشخاص (B–C و B–D و C–D)، نجد أنفسنا أمام حالتين لا ثالث لهما:

الحالة 1: وجود خط أحمر واحد على الأقل. على سبيل المثال، إذا كان الخط B–C أحمر، فبما أن الخطين A–B و A–C أحمران أيضًا، يتشكل لدينا مثلث أحمر يربط بين A و B و C. وفي هذه الحالة، لا يهم لون الخطين الآخرين على الإطلاق.

الحالة 2: عدم وجود أي خط أحمر إطلاقًا. في هذه الحالة، تكون جميع الخطوط B–C و B–D و C–D زرقاء حتمًا. وبالتالي يتشكل مثلث أزرق رؤوسه B و C و D.

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

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

4. لماذا لا تكفي 5 أشخاص؟

إن القول بأن “6 أشخاص يكفون” يختلف تمامًا عن القول بأن “6 هو الحد الأدنى”. ولإثبات أن 6 هو الحد الأدنى الفعلي، يجب علينا تقديم مثال مضاد وحيد يوضح إمكانية ترتيب 5 أشخاص دون تحقيق الشرط.

دعونا نضع 5 أشخاص عند رؤوس مضلع خماسي منتظم. نقوم بتلوين الأضلاع الخمسة المحيطية التي تصل بين كل جارين باللون الأحمر، بينما نلون الأقطار الداخلية الخمسة المتبقية باللون الأزرق.

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

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

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

5. هذا “الحد الأدنى للحجم” يُسمى عدد رامزي

عند تلوين أضلاع مخطط كامل باللونين الأحمر والأزرق، يُعرَّف أصغر عدد من الرؤوس يضمن حتمًا ظهور مخطط كامل أحمر $K_s$ أو مخطط كامل أزرق $K_t$ بأنه عدد رامزي (Ramsey number)، ويُرمز له بالرمز $R(s,t)$.

المقصود بـ $K_s$ أحمر هو أن تكون جميع الأضلاع التي تربط بين الرؤوس الـ $s$ المختارة حمراء اللون بالكامل؛ فلا يكفي مجرد وجود مسار أحمر يصل بينها. وبما أن $K_3$ يمثل مثلثًا، فإن الخلاصة التي توصلنا إليها حتى الآن يمكن صياغتها في سطر واحد:

تنص مبرهنة رامزي على أنه لأي قيمتين منتهيتين وثابتتين لـ $s$ و $t$، يوجد دومًا مثل هذا العدد المنتهي. ومع ذلك، فإن مجرد “إثبات الوجود” يختلف تمامًا عن “القدرة على إيجاد القيمة الدقيقة بسهولة”. فعلى الرغم من بساطة إثبات المثلث، إلا أن توسيع حجم البنى أحادية اللون المستهدفة يؤدي إلى تعقيد حسابي هائل يتزايد بصورة انفجارية.

توجد علاقة أساسية تحدد الحد الأعلى لهذه الأعداد:

ولفهم هذا المبدأ، لنفترض أن الطرف الأيمن يساوي $N$، ونختر رأسًا واحدًا من بين الرؤوس الـ $N$. فإذا كان هذا الرأس متصلًا بأضلاع حمراء مع عدد من الرؤوس يبلغ $R(s-1,t)$ رأسًا على الأقل، فإن هذه الرؤوس ستحتوي حتمًا على $K_{s-1}$ أحمر أو $K_t$ أزرق. وفي الحالة الأولى، يمكننا إضافة الرأس الأصلي للحصول على $K_s$ أحمر كامل، بينما في الحالة الثانية نكون قد حققنا الهدف مباشرة بوجود $K_t$ أزرق.

أما إذا لم يكن عدد الخطوط الحمراء كافيًا، فإن عدد الرؤوس المتصلة بأضلاع زرقاء سيكون حتمًا $R(s,t-1)$ رأسًا على الأقل، وحينها نطبق نفس الحجة تمامًا على اللون المعاكس. وهذا يُعد تعميمًا مباشرًا لفكرة إثباتنا السابق القائمة على “التركيز على رأس واحد وجمع جيرانه المرتبطين بنفس اللون”.

وبالانطلاق من القيم الحدية البديهية $R(2,t)=t$ و $R(s,2)=s$، تتيح لنا هذه المتراجحة توليد حدود عليا منتهية بالتتابع. ولكن نظرًا لوجود علامة التباين ($\leq$)، فإن العدد الناتج قد لا يكون هو الحد الأدنى الدقيق. ومن الأهمية بمكان التمييز بين “الحجم الذي يضمن تحقق الشرط بالتأكيد” و"الحد الأدنى الفعلي المطلوب تمامًا".

6. الفارق الشاسع بين “شبه مؤكد” و"حتمي بلا استثناء"

دعونا نُجرِ تجربة فكرية نقوم فيها بتلوين كل ضلع بصورة مستقلة باحتمال متساوٍ قدره $1/2$ لكل من اللونين الأحمر والأزرق. وعلى الرغم من أن هذا النموذج الاحتمالي غير ضروري للإثبات الرياضي الصارم، إلا أنه يساعدنا في استيعاب التباين الجوهري بين الاحتمالية واليقين.

عند تمييز الرؤوس بتسميات محددة مثل A و B و C…، يُعطى إجمالي عدد طرق التلوين الممكنة بالصيغة التالية (مع اعتبار الأشكال الناتجة عن الدوران أو إعادة التسمية تلوينات مميزة ومستقلة):

في حالة 6 أشخاص، يبلغ عدد الحالات $2^{15}=32768$ طريقة. وعند فحص كافة التلوينات للأعداد من 3 إلى 6 أشخاص، نحصل على النتائج التالية:

في حالة 5 أشخاص، نجد أن التلوين العشوائي يُنتج مثلثًا أحادي اللون بنسبة تصل إلى نحو 98.83%. ولو اكتفينا ببضع تجارب عشوائية، لربما ظننا خطأً أن “المثلث موجود دائمًا حتى مع 5 أشخاص”. ومع ذلك، تظل هناك 12 حالة مضادة من أصل 1024 حالة تلوين ممكنة. فهناك بون شاسع وفارق نوعي حاسم بين “احتمال مرتفع للغاية” و"انعدام الأمثلة المضادة تمامًا".

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

كم عدد المثلثات المتوقعة في المتوسط؟

لأي 3 رؤوس محددة، توجد 3 أضلاع تربط بينها، مما يعطي $2^3=8$ طرق ممكنة لتلوينها. ومن بين هذه الطرق، توجد حالتان فقط تكون فيهما الأضلاع أحادية اللون (إما كلها حمراء أو كلها زرقاء)، وبالتالي فإن احتمال تشكل مثلث أحادي اللون على هذه الرؤوس هو $2/8 = 1/4$. وإذا رمزنا لعدد المثلثات أحادية اللون بالرمز $T$، فبفضل خاصية خطية القيمة المتوقعة (Linearity of Expectation)، نحصل على:

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

ومع ذلك، فإن كون القيمة المتوقعة أكبر من الصفر لا يضمن إطلاقًا وجود مثلث في جميع التلوينات دون استثناء. ففي حالة 5 أشخاص، يبلغ المتوسط 2.5 مثلث، ورغم ذلك توجد أمثلة مضادة تحوي صفرًا من المثلثات. إن عدم الخلط بين “المتوسط الإحصائي” و"أسوأ الحالات الحتمية" هو أحد أعمق الدروس الفكرية التي تقدمها لنا نظرية رامزي.

7. التحقق البرمجي من كافة الحالات البالغ عددها 32768 باستخدام Python

يعمل الكود التالي بالاعتماد الكامل على المكتبة القياسية في بايثون دون الحاجة لتثبيت أي حزم إضافية. نمثل اللون الأحمر بالبت 0 واللون الأزرق بالبت 1، بحيث تقابل خانات التمثيل الثنائي ألوان الأضلاع. بعد ذلك، نختبر كل 3 رؤوس للتأكد مما إذا كانت الأضلاع الثلاثة الواصلة بينها تشترك في نفس اللون:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

from itertools import combinations

def check_all(n):
    edges = list(combinations(range(n), 2))
    edge_index = {edge: i for i, edge in enumerate(edges)}
    triples = [
        [edge_index[e] for e in combinations(vertices, 2)]
        for vertices in combinations(range(n), 3)
    ]
    total = 1 << len(edges)
    without_triangle = 0
    minimum = len(triples)

    for coloring in range(total):
        count = 0
        for i, j, k in triples:
            if ((coloring >> i) & 1) == ((coloring >> j) & 1) == ((coloring >> k) & 1):
                count += 1
        without_triangle += (count == 0)
        minimum = min(minimum, count)

    return total, without_triangle, minimum

for n in range(3, 7):
    total, missing, minimum = check_all(n)
    print(f"{n} أشخاص: إجمالي الحالات {total}، بدون مثلث {missing}، الحد الأدنى {minimum}")

1
2
3
4

3 أشخاص: إجمالي الحالات 8، بدون مثلث 6، الحد الأدنى 0
4 أشخاص: إجمالي الحالات 64، بدون مثلث 18، الحد الأدنى 0
5 أشخاص: إجمالي الحالات 1024، بدون مثلث 12، الحد الأدنى 0
6 أشخاص: إجمالي الحالات 32768، بدون مثلث 0، الحد الأدنى 2

تُعد نتيجة “وجود مثلثين على الأقل” عند 6 أشخاص كشفًا أعمق وأقوى مما تضمنه إثباتنا المبدئي. والبرهان الرياضي على ذلك بسيط: إذا رمزنا لعدد الأضلاع الحمراء المتصلة بكل رأس $v$ بالرمز $r_v$، ولعدد الأضلاع الزرقاء بالرمز $b_v$، فإن $r_v+b_v=5$. وحيث إن حاصل ضرب عددين مجموعهما 5 يحقق دائمًا $r_vb_v\leq6$ (لأن $2 \times 3 = 6$).

في أي مثلث غير أحادي اللون (مختلط الألوان)، يوجد بالضبط رأسان يتصل بكل منهما ضلع أحمر وضلع أزرق في ذلك المثلث. وبناءً على ذلك، إذا قمنا بحساب عدد أزواج “ضلع أحمر وضلع أزرق” عند كل رأس في المخطط بأكمله، فإننا نكون قد عددنا كل مثلث غير أحادي اللون مرتين تمامًا. وبما أن العدد الكلي للمثلثات الممكنة هو $\binom{6}{3} = 20$ مثلثًا، ينتج لدينا:

وهكذا يثبت رياضيًا أن $T \geq 2$. علاوة على ذلك، إذا قسمنا الرؤوس الستة إلى مجموعتين متساويتين في كل منهما 3 رؤوس، ولونا كافة الأضلاع الداخلية في كل مجموعة بالأحمر، وجميع الأضلاع العابرة بين المجموعتين بالأزرق، فسنحصل على مثلثين أحمرين وصفر من المثلثات الزرقاء. ومن ثم، فإن الحد الأدنى البالغ 2 دقيق تمامًا ولا يمكن خفضه.

إن أسلوب الحصر الشامل لكافة الحالات فعال للغاية مع الأعداد الصغيرة، لكن إجمالي عدد التلوينات يتصاعد بمعدل هائل يبلغ $2^{n(n-1)/2}$. ونظرًا لأن تشغيل هذا الكود لأعداد أكبر يتطلب قدرات حسابية فائقة ويتسبب في بطء شديد، فقد اقتصرنا هنا على الأعداد من 3 إلى 6. ويمكنك الاطلاع على الرسوم التوضيحية والتوزيع الإحصائي الدقيق عبر سكربت إعادة الإنتاج وملف نتائج الحسابات JSON.

8. التطبيق 1: الاتصال الكامل أو الانفصال الكامل في الشبكات

لنجرب استبدال مفهوم “المعرفة الشخصية” بـ “الاتصال المباشر بين الأجهزة”. لنفترض أن لدينا 6 أجهزة شبكية، وأن كل زوج منها إما أن يكون بينهما “اتصال مباشر” أو “لا يوجد اتصال مباشر”. وطالما كانت خطوط الاتصال غير موجهة (ثنائية الاتجاه)، فإن نفس المبرهنة تنطبق بحذافيرها.

يترتب على ذلك حتمية وجود إحدى مجموعتين: إما مجموعة من 3 أجهزة ترتبط جميع أزواجها باتصالات مباشرة متبادلة، أو مجموعة من 3 أجهزة لا يوجد بين أي زوج منها أي اتصال مباشر على الإطلاق. تُعرف المجموعة الأولى في نظرية المخططات باسم العصبة (Clique) ذات 3 رؤوس، بينما تُعرف الثانية باسم المجموعة المستقلة (Independent Set) ذات 3 رؤوس. وتجدر الإشارة هنا إلى أن “عدم وجود اتصال مباشر” لا يعني بالضرورة تعذر الاتصال عبر أجهزة وسيطة أخرى.

يمكن توظيف هذا المنظور في التحقق من تصاميم الشبكات المصغرة، أو في جدولة المهام التي تُحدد فيها العلاقات الثنائية من حيث التوافق أو التعارض. فإذا اشترط مصمم نظامٍ ما: “أريد تجنب وجود أي 3 مهام متوافقة كليًا فيما بينها، وتجنب وجود أي 3 مهام متعارضة كليًا في نفس الوقت”، فإن وجود 6 مهام يجعل تلبية هذا الشرط مستحيلة رياضيًا قبل حتى البدء في البحث أو الحساب.

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

9. التطبيق 2: استخراج متتاليات جزئية متزايدة أو متناقصة من سلاسل عشوائية

لنرتب 6 أعداد مختلفة تمامًا عن بعضها البعض في متتالية. إذا كان الموضع $i$ يسبق الموضع $j$، نصل بين الموضعين بخط أحمر إذا كان $a_i\lt a_j$، وبخط أزرق إذا كان $a_i\gt a_j$.

يمثل هذا التشكيل أيضًا تلوينًا ثنائيًا لأضلاع مخطط كامل ذي 6 رؤوس. وبناءً على ذلك، لا بد من وجود مثلث أحادي اللون. فإذا رمزنا للمواضع الثلاثة المشكلة لهذا المثلث بالترتيب التصاعدي $i\lt j\lt k$، نجد في حالة المثلث الأحمر أن:

أما في حالة المثلث الأزرق، فإن:

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

في المتتالية الموضحة بالرسم $4,1,5,2,6,3$، نحصل على $1,2,3$ باختيار العناصر الموجودة في المواضع الثاني والرابع والسادس. ولم يتم هنا فرز الأعداد تصاعديًا، بل استُخرجت مع الحفاظ الصارم على ترتيب ظهورها الأصلي في السلسلة.

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

ومن الجدير بالذكر أن مسألة المتتاليات هذه لا تتطلب بالضرورة 6 حدود كحد أدنى؛ إذ إن وجود 5 حدود متباينة فقط يكفي لضمان وجود متتالية جزئية رتيبة (متزايدة أو متناقصة) بطول 3. وتُعد هذه النتيجة حالة خاصة من مبرهنة إردوش-سيكرز للمتتاليات الجزئية الرتيبة (Erdős–Szekeres theorem). والسبب في إمكانية تحقيق نتيجة أقوى هنا هو أن التلوين المشتق من مقارنة الأعداد يخضع لقيود الترتيب الرياضي المتعدي، بخلاف التلوين العشوائي الحر لأضلاع المخططات العامة. محاضرات حول المتتاليات الجزئية الرتيبة

10. الخلاصة: حتى في قلب الفوضى، هناك أنماط لا مفر منها

استطعنا إثبات وجود مثلث أحادي اللون حتمًا بمجرد تحويل العلاقات بين 6 أشخاص إلى ألوان حمراء وزرقاء والتركيز على الخطوط الخمسة الخارجة من شخص واحد. وبما أن الشكل الخماسي لخمسة أشخاص يقدم مثالًا مضادًا ينفي الحتمية، فإن عدد رامزي المحدد بدقة هو $R(3,3)=6$.

وفيما يلي ثلاث ركائز أساسية يجدر بنا استحضارها دائمًا:

• “الحتمي” يختلف جوهريًا عن “الاحتمال المرتفع جدًا في التجارب العشوائية”. فمع 5 أشخاص، ورغم وصول النسبة إلى قرابة 98.83%، بقيت أمثلة مضادة، بينما تلاشت كافة الأمثلة المضادة دون استثناء عند بلوغ 6 أشخاص.
• وجود النمط المنتظم لا يعني بالضرورة دلالة سببية أو خاصية شاملة للمجموعة. فمجرد استخراج مثلث أحادي اللون أو متتالية متزايدة لا يفسر السلوك العام للمنظومة ككل.
• الضمان الرياضي مشروط دائمًا بنطاق التطبيق والفروض المسبقة. لذا يجب التحقق بوضوح من تماثل العلاقات، وإمكانية تصنيف جميع الأزواج إلى فئتين قطعيًا، وطبيعة البنية الفرعية المبحوث عنها.

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

مراجع ومصادر للاستزادة

• جامعة ولاية أوهايو، Ramsey Theory: شرح مبسط لتلوين الأضلاع الثنائي وأعداد رامزي الصغيرة.
• يوفال فيغدرسون، PCMI 2025، Extremal graph theory and Ramsey theory: Lecture 10: محاضرات حول الفكر الرامزي وتطبيقاته بما فيها المتتاليات الجزئية الرتيبة.

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