انتقل إلى المحتوى

مبرهنة الألوان الأربعة

من ويكيبيديا، الموسوعة الحرة
مبرهنة الألوان الأربعة
معلومات عامة
جزء من
يلقب بـ
Guthrie's problem (بالإنجليزية) [1][2][3] عدل القيمة على Wikidata
يدرسه
يصف البيان
أثبته
مبرهنة الألوان الأربعة

مبرهنة الألوان الأربعة (بالإنجليزية: Four color theorem)‏ تنص على أنه يمكن لأي مستوى مقسّم إلى عدّة مناطق أن يلّون فقط بأربعة ألوان على أكثر تقدير، بحيث لا تلون منطقتان متجاورتان (لهما نفس الحدود) بنفس اللون، إلا في حالة تشاركهما في نقطة واحدة.[4][5][6]

برهان منطقي

[عدل]
  • الفكرة العامة هي أن أي منطقة إذا كانت محاطة بعدد زوجي من المناطق فإننا نحتاج فقط لـ 3 ألوان لتلوين المنطقة والمناطق المحيطة بها مباشرة - لون 1 للمنطقة نفسها - لون 2 لأول منطقة من المناطق المحيطة بها ثم لون 3 للمنطقة التالية من المناطق المحيطة وهكذا بالتبادل 2 ثم 3 وتنتهي آخر منطقة باللون 3 دون وجود منطقتين متجاورتين لهما نفس اللون.
  • أما إذا كانت المنطقة محاطة بعدد فردي من المناطق فنحتاج لأربعة ألوان فقط واللون الرابع لتلوين المنطقة الأخيرة والتي ترتيبها فردي حيث تليها المنطقة الأولى والتي ترتيبها فردي أيضا ومن ثم فإن أقصي عدد من الألوان المختلفة والتي تلزم لتلوين خريطة تضم عددا من المناطق هو أربعة ألوان فقط.

البرهنة

[عدل]

من الممكن, ربط مشكل الألوان الأربعة, بمشكلة تلوين المخطط

نربط كل رسم, بمخطط عادي كل رأس يمثل منطقة, ويتم ربط الرؤوس التي تمثل مناطق لها نفس الحدود.

مخطط مرتبط بالخريطة

هذا يعني أن تلوين الخريطة مرتبط بتلوين المخطط المستوي المرتبط بالخريطة. وهكذا تكون خوارزمية التلوين كما يلي:

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

[عدل]

ملاحظة: نستعمل الأرقام 1، 2، 3 و 4 للتعبير عن الألوان الأربعة.

  1. رسم المخطط المستوي المرتبط بالخريطة.
  2. نأخد مثلثا ونلون رؤوسه بالألوان 1، 2 و 3.
  3. انطلاقا من هذا المثلث نحاول تلوين القمم باستعمال الألوان الثلاث الأولى.(سيكون التلوين في هذه الحالة إجباريا).
  4. نأخد مثلثا آخر غير ملون ونعيد المرحلتين رقم 2 و 3.
  5. نستعمل اللون الرابع فقط في الحالة التي تكون فيها قمة ما مرتبطة في آن واحد بثلاثة قمم ذات 3 ألوان مختلفة.
  6. نعود للخريطة ونلونها حسب الألوان المحصل عليها.

مراجع

[عدل]
  1. ^ الاقتباس: sometimes also called Guthrie's problem after F. Guthrie, ... مُعرِّف موقع "عالَم الرياضيات"(MathWorld): Four-ColorTheorem. الوصول: 20 ديسمبر 2017.
  2. ^ "The four colour theorem". جامعة سانت أندروز. سبتمبر 1996. اطلع عليه بتاريخ 2017-12-20.
  3. ^ مُعرِّف موقع "عالَم الرياضيات"(MathWorld): GuthriesProblem. الوصول: 20 ديسمبر 2017.
  4. ^ Georges Gonthier (ديسمبر 2008). "Formal Proof—The Four-Color Theorem". Notices of the AMS. ج. 55 ع. 11: 1382–1393.
  5. ^ Geometric Realizations of Special Toroidal Complexes, Contributions to Discrete Mathematics, Volume 4, Number 1, Pages 21-39, ISSN 1715-0868 نسخة محفوظة 18 سبتمبر 2017 على موقع واي باك مشين. [وصلة مكسورة]
  6. ^ Hud Hudson (مايو 2003). "Four Colors Do Not Suffice". The American Mathematical Monthly. ج. 110 ع. 5: 417–423. DOI:10.2307/3647828. JSTOR:3647828.