كتب التلوين بثلاثة ألوان
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
التلوين بثلاثة ألوان (معلومة)
تلوين مخطط ما باستعمال ثلاثة ألوان فقط، هو أيضا مشكل كامل حيث يمكن اختصار أي مشكل من صنف المشاكل غير المحددة لمشكل التلوين بثلاثة ألوان.
تلوين المخطط باستعمال ثلاثة ألوان هي مسألة مشتقة من المسألة العامة تلوين مخطط وتتم باستعمال ثلاثة ألوان فقط، ورغم ذلك فهي مسألة NP كاملة.
انطلاقا من SAT نحصل على مخطط عادي غير موجه، حيث يكون للصيغة حل إذا وفقط إذا كان هناك تلوين بثلاثة ألوان فقط. بعبارة أوضح حل SAT يحل مشكلة التلوين وحل مشكلة التلوين تحل SAT.
الاختصار
يتم من SAT لكل صيغة نربطها بمخطط عادي غير موجه، طريقة إنشائه كما يلي:
- لكل متغيرين متقابلين و نرسم قمتين مرتبطتين، خاصة ب و خاصة ب .
- لكل رمز (أول رمز)، نرسم مثلث قممه و و . وتسمى A رأس المثلث.
- في حالة وجود نربط القمة بB. أما في حالة وجود نربط القمة بB.
- بالنسبة للمتغير الثاني في الصيغة clause يتم ربط القمة التي تمثله بِC بنفس طريقة الربط مع B.
- لكل رمز موالي(انطلاقا من ثاني رمز)، نرسم مثلث قممه و و . نربط ب . و بتمثيل المتغير الثالث.
- المثلث الأخير والذي يرمز لآخر رمز في الصيغة clause نسمي رأسه برأس العبارة.
- في الأخير نضيف قمتين مرتبطتين الأولى محايدة والثانية منعدمة :
- القمة مرتبطة برؤوس المثلثات وبالقمم التي تمثل المتغيرات.
- القمة مرتبطة برؤوس العبارات.
الآن نستعمل للتلوين الأعداد 0 و1 و2، القمة N تلون ب2 والقمة z تلون ب3، هذا سيؤدي لتلوين جميع رؤوس العبارات باللون 1. وبعد انتهاء عملية التلوين، بالنسبة للصيغة نعطي للمتغير القيمة 1 في حالة كانت القمة ملونة باللون 1، بينما يأخد القيمة 0 في حالة كانت القمة ملونة باللون 0.
