🎛️ لوّن هذه الخريطة بأربعة ألوان
انقر على منطقة، ثم على لون. القاعدة: لا يمكن أن تحمل منطقتان متجاورتان نفس اللون. تقول المبرهنة إن ذلك ممكن دائمًا بأربعة ألوان كحد أقصى.
المنطقة المختارة
—
المناطق الملوّنة
0 / 12
الحالة
قيد التنفيذ
اختر منطقة بالنقر عليها، ثم اختر لونًا. تجنّب التعارض مع الجيران.
🎓 1852: طالب يرسم خريطة
فرانسيس غوثري، طالب في لندن، يلوّن خريطة لمقاطعات إنجلترا. يلاحظ أنه ينجح دائمًا باستعمال أربعة ألوان فقط دون أن تحمل منطقتان متجاورتان نفس اللون. مفتونًا بذلك، يحدّث به أخاه فريدريك، الذي يحدّث به أستاذه، الشهير أوغستوس دي مورغان.
كتب دي مورغان إلى ويليام روان هاملتون (مبتكر الكواترنيونات) في 23 أكتوبر 1852. النص بلوري الوضوح:
« يمكن تلوين أي خريطة مستوية بأربعة ألوان أو أقل بحيث إن منطقتين تتشاركان حدًّا مشتركًا (لا مجرد نقطة) تحصلان على لونين مختلفين. »
⏳ 1852-1976: 124 سنة من المحاولات الفاشلة
- 1879 — ألفريد كيمب ينشر «برهانًا» في American Journal of Mathematics. يُحتفى به طوال 11 سنة.
- 1890 — بيرسي هيوود يجد خطأ قاتلًا في برهان كيمب. ومع ذلك ينقذ هيوود جزءًا منه: مبرهنة الألوان الخمسة (أي خريطة مستوية تُلوَّن بخمسة ألوان).
- 1900-1960 — مئات الرياضياتيين يتصدون للمسألة. لا برهان. ولم يُعثر على أي خريطة تتطلب خمسة ألوان.
- 1969 — هاينريش هيش يقترح طريقة «التفريغ»: نُحصي جميع التشكيلات «الحتمية» في خريطة، ونُبيّن أنها جميعًا «قابلة للاختزال». لكنها أكثر من أن تُعالَج باليد.
💻 1976: آبل وهاكن يكسران الجدار
كينيث آبل وفولفغانغ هاكن، في جامعة إلينوي، بمساعدة المبرمج جون كوخ، يصوغان مقاربة هيش وينفّذانها حاسوبيًّا.
استراتيجيتهما: إيجاد مجموعة من 1936 تشكيلًا حتميًّا، و البرهنة لكل واحد منها على أنه قابل للاختزال. الإجمالي: 1200 ساعة حساب على حاسوب IBM 360 (∼50 يومًا).
في يوليوز 1976، يصدر الإعلان: مبرهنة الألوان الأربعة قد بُرهنت. جامعة إلينوي تضع على كل بريدها الختم: « Four colors suffice ».
🤔 الأزمة الفلسفية: ما هو البرهان؟
قبل 1976، كان البرهان الرياضياتي استدلالًا قابلًا للتحقق من قِبل إنسان في زمن منتهٍ. براهين إقليدس وفيتاغورس وغاوس وكوشي — جميعها مقروءة من قِبل رياضياتي خبير.
مع آبل-هاكن، أصبح لدينا برهان يستحيل التحقق منه بشريًّا. يجب أن نثق:
- في الخوارزميات المنفَّذة،
- في مترجم Fortran الذي ترجمها،
- في عتاد IBM الذي نفّذها،
- في المبرمج الذي كتبها.
البعض، مثل الفيلسوف توماس تيموتشكو، يدافعون عن أن هذا يغيّر طبيعة الرياضيات ذاتها: فتصبح تجريبية بمعنى العلوم التجريبية. وآخرون، مثل دونالد كنوث، يرفضون: « البرهان بواسطة الحاسوب ليس برهانًا رياضياتيًّا. »
✅ 1995: روبرتسون-ساندرز-سيمور-توماس يبسّطون
نيل روبرتسون ودانيال ساندرز وبول سيمور وروبن توماس يعيدون تناول المسألة ويجدون برهانًا أبسط: فقط 633 تشكيلًا بدلًا من 1936. لا يزال غير قابل للتحقق باليد، لكنه أوضح.
في 2005، يصوغ جورج غونتيي (Microsoft Research) البرهان صياغة كاملة باستعمال مساعد البرهنة Coq. هذه المرة، كل خطوة يتحقق منها نواة منطقية من بضعة آلاف من الأسطر — أكثر أمانًا بكثير من المترجم. أصبح البرهان الآن صوريًّا تمامًا.
🌍 لماذا أربعة فقط؟
لماذا ليس ثلاثة؟ إليك مثالًا مضادًّا بسيطًا:
خريطة بأربع دول متجاورة فيما بينها (من نوع K₄)
تتطلب أربعة ألوان. مثال: فرنسا-ألمانيا-سويسرا-إيطاليا
(الأربع تتشارك حدودًا اثنتين اثنتين).
لماذا ليس خمسة؟ هذا بالضبط موضوع المبرهنة: لا توجد خريطة مستوية تتطلب خمسة ألوان. الاستواء أساسي: على طارة (دونات)، يلزم سبعة ألوان (هيوود، 1890). وعلى شريط موبيوس، ستة. العدد «الصحيح» يتوقف على طوبولوجيا السطح.
📊 الانتقال إلى المبيانات
مبرهنة الألوان الأربعة هي في الواقع مبرهنة في نظرية المبيانات: كل خريطة تُترجَم إلى مبيان (رأس لكل دولة، حرف لكل حد مشترك). والمبيان الناتج هكذا مستوٍ (يمكن رسمه دون تقاطع).
كل مبيان مستوٍ قابل للتلوين بأربعة ألوان.
🚀 التطبيقات الحديثة للتلوين
- توزيع الترددات الراديوية: الهوائيات المتقاربة لا يجب أن تبث على نفس التردد (تشويش). إنها مسألة تلوين مبيانات — الجيران = نفس اللون ممنوع.
- المترجمات (Compilateurs): تخصيص سجلات المعالج. كل متغير «حي» في نفس الوقت مع آخر لا يمكن أن يحتل نفس السجل. تلوين مبيان التداخل.
- التخطيط: امتحانات تُبرمَج (مواد مشتركة = ليس نفس الحصة)، جداول الدروس، جداول الممرضات.
- الشبكة الخلوية: توزيع قنوات GSM و،4G و5G.
- اختبار البرمجيات: توليد حالات اختبار تغطي جميع مسارات برنامج.
- سودوكو: إنها حالة خاصة من تلوين المبيانات (9 ألوان، 81 رأسًا، قيود الأسطر/الأعمدة/الكتل).
- الرسوميات: تبليط الأسطح، التوليد الإجرائي للأنماط (ألعاب الفيديو، الرسوم المتحركة).
- المعلوماتية الحيوية: طي البروتينات، محاذاة الجينومات.
🏆 الإرث: البراهين بمساعدة الحاسوب
منذ آبل-هاكن، بُرهنت عدة مبرهنات كبرى أخرى بواسطة الحاسوب:
- تخمين كيبلر (هيلز 1998، صِيغ 2014): الترصيص الأكثر كثافة للكرات في البعد الثالث هو ترصيص «cannonball». البرهان: 3 غيغابايت من الشيفرة.
- Boolean Pythagorean Triples (هويلِه-كولمان-ماريك 2016): هل يمكن تلوين ℕ بلونين دون ثلاثية فيتاغورسية أحادية اللون؟ لا. 200 تيرابايت من البرهان، الأكبر في التاريخ.
- تخمين روبنز (ويليام مكون 1996): بُرهن بواسطة الذكاء الاصطناعي EQP في 8 أيام. لم ينجح فيه أي إنسان طوال 60 سنة.
- 2024 — DeepMind AlphaProof: يحل 4 مسائل من أصل 6 من الأولمبياد الدولي للرياضيات، ميدالية فضية. تدخل البراهين الآلية حقبة جديدة.
📐 الرابط مع برنامجك
- نظرية المبيانات: ليست في برنامج البكالوريا علوم رياضية المغربي، لكنها متاحة في الأنشطة أو خيار المعلوميات. مفاهيم الرؤوس والحروف والاستواء بديهية.
- الترجع: معظم البراهين «اليدوية» للحالات الخاصة تتم بالترجع على عدد المناطق.
- صيغة أويلر V − E + F = 2 (المرئية في مفهوم كونيغسبرغ): إنها الأداة الرئيسية لبرهنة مبرهنة الألوان الخمسة (نتيجة أضعف لكنها أنيقة ومتاحة).
- الخوارزميات: التلوين الأمثل لمبيان هو مسألة صعبة من نوع NP في الحالة العامة. لكن بالنسبة للمبيانات المستوية، تعطي مبرهنة الألوان الأربعة حدًّا إنشائيًّا.
- المنطق والمعلوميات: الصياغة بـ Coq تُدخِل إلى مساعدات البرهنة. أداة تُستعمل أكثر فأكثر في البحث (التعمية، الأمن الحَرِج).