الترميز اللوني
في علوم الحاسوب ونظرية الرسوم البيانية ، يشير مصطلح "الترميز اللوني" إلى تقنية خوارزمية مفيدة في اكتشاف أنماط الشبكات . على سبيل المثال، يمكن استخدامه للكشف عن مسار بسيط بطول k في رسم بياني مُعطى . خوارزمية الترميز اللوني التقليدية احتمالية ، ولكن يمكن إزالة العشوائية منها دون زيادة كبيرة في وقت التشغيل.
ينطبق الترميز اللوني أيضًا على اكتشاف الدورات ذات الطول المحدد، وبشكل عام ينطبق على مشكلة تماثل الرسم البياني الفرعي (وهي مشكلة كاملة من نوع NP )، حيث ينتج عنها خوارزميات ذات وقت متعدد الحدود عندما يكون لنمط الرسم البياني الفرعي الذي يحاول اكتشافه عرض شجرة محدود .
تم اقتراح طريقة الترميز اللوني وتحليلها في عام 1994 من قبل نوغا ألون ، ورافائيل يوستر ، وأوري زويك . [ 1 ] [ 2 ]
نتائج
يمكن الحصول على النتائج التالية من خلال طريقة الترميز اللوني:
- لكل ثابت k ، إذا كان الرسم البياني G = ( V , E ) يحتوي على دورة بسيطة بحجم k ، فإنه يمكن إيجاد مثل هذه الدورة في:
- لكل ثابت k ، ولكل رسم بياني G = ( V , E ) ينتمي إلى أي عائلة رسوم بيانية مغلقة جزئياً غير تافهة (مثل الرسم البياني المستوي )، إذا كان G يحتوي على دورة بسيطة بحجم k ، فإنه يمكن العثور على هذه الدورة في:
- الوقت المتوقع O ( V ) ، أو
- O ( V log V ) أسوأ وقت في الحالة.
- إذا كان الرسم البياني G = ( V , E ) يحتوي على رسم بياني فرعي متماثل مع رسم بياني محدود العرض الشجري يحتوي على O (log V ) من الرؤوس، فإنه يمكن العثور على مثل هذا الرسم البياني الفرعي في وقت متعدد الحدود .
الطريقة
لحل مشكلة إيجاد رسم بياني جزئيفي الرسم البياني المعطى G = ( V , E ) ، حيث يمكن أن يكون H مسارًا أو دورة أو أي رسم بياني محدود العرض الشجري حيثتبدأ طريقة الترميز اللوني بتلوين كل رأس من رؤوس الرسم البياني G بشكل عشوائي باستخدامتُلوّن هذه الطريقة الرسم البياني، ثم تحاول إيجاد نسخة ملونة من الرسم البياني H في الرسم البياني G الملون . يكون الرسم البياني ملونًا إذا كان كل رأس فيه ملونًا بلون مختلف. تعتمد هذه الطريقة على تكرار (1) تلوين الرسم البياني عشوائيًا، و(2) إيجاد نسخة ملونة من الرسم البياني الفرعي المستهدف. ويمكن في النهاية إيجاد الرسم البياني الفرعي المستهدف إذا تكررت العملية عددًا كافيًا من المرات.
لنفترض أن نسخة من H في G أصبحت ملونة باحتمالية غير صفرية p . يترتب على ذلك مباشرةً أنه إذا تكرر التلوين العشوائي 1 / p مرة ، فمن المتوقع أن تصبح هذه النسخة ملونة مرة واحدة. لاحظ أنه على الرغم من أن p صغيرة، فقد ثبت أنه إذا، و p صغيرة جدًا. لنفترض مجددًا وجود خوارزمية، إذا أعطيت رسمًا بيانيًا G وتلوينًا يربط كل رأس من رؤوس G بأحد الألوان k ، فإنها تجد نسخة من H الملونة ، إن وجدت، خلال زمن تشغيل O ( r ) . عندئذٍ، يكون الزمن المتوقع لإيجاد نسخة من H في G ، إن وجدت، هو.
أحيانًا يكون من المستحسن استخدام نسخة أكثر تقييدًا من التلوين. على سبيل المثال، في سياق إيجاد الدورات في الرسوم البيانية المستوية ، يمكن تطوير خوارزمية لإيجاد الدورات ذات التلوين الجيد. هنا، تُعتبر الدورة ذات تلوين جيد إذا كانت رؤوسها ملونة بألوان متتالية.
مثال
ومن الأمثلة على ذلك إيجاد دورة بسيطة بطول k في الرسم البياني G = ( V , E ) .
بتطبيق طريقة التلوين العشوائي، يكون لكل دورة بسيطة احتمال قدرهلتصبح ملونة، حيث يوجدطرق تلوين الرؤوس k على الدورة، ومن بينها:أحداث ملونة. ثم يمكن استخدام خوارزمية (موصوفة لاحقًا) لإيجاد دورات ملونة في الرسم البياني G الملون عشوائيًا في وقت، أينهو ثابت ضرب المصفوفات. لذلك، يستغرق الأمرالوقت الإجمالي لإيجاد دورة بسيطة بطول k في G.
تعمل خوارزمية البحث عن الدورات الملونة عن طريق إيجاد جميع أزواج الرؤوس في V المتصلة بمسار بسيط طوله k − 1 ، ثم التحقق مما إذا كان الرأسان في كل زوج متصلين. وبفرض وجود دالة تلوين c : V → {1, ..., k } لتلوين الرسم البياني G ، يتم تعداد جميع تقسيمات مجموعة الألوان {1, ..., k } إلى مجموعتين جزئيتين C1 و C2 بحجملاحظ أنه يمكن تقسيم V إلى V1 و V2 على التوالي ، ولنرمز بـ G1 و G2 إلى الرسمين البيانيين الفرعيين الناتجين عن V1 و V2 على التوالي . ثم، ابحث بشكل متكرر عن مسارات ملونة بطولفي كل من G1 و G2 . لنفترض أن المصفوفة المنطقية A1 و A2 تمثلان اتصال كل زوج من الرؤوس في G1 و G2 بمسار ملون، على التوالي، ولتكن B المصفوفة التي تصف علاقات التجاور بين رؤوس V1 ورؤوس V2 ، وهي حاصل الضرب المنطقي .تُعطي هذه الدالة جميع أزواج الرؤوس في المصفوفة V المتصلة بمسار ملون طوله k − 1. وبالتالي، فإن العلاقة التكرارية لعمليات ضرب المصفوفات هي، مما ينتج عنه وقت تشغيل قدرهعلى الرغم من أن هذه الخوارزمية لا تجد سوى نقاط نهاية المسار الملون، إلا أنه يمكن دمج خوارزمية أخرى من تأليف ألون وناور [ 4 ] والتي تجد المسارات الملونة نفسها فيها.
إلغاء العشوائية
تتضمن عملية إزالة العشوائية من ترميز الألوان حصر التلوينات الممكنة للرسم البياني G ، بحيث لا تكون عشوائية تلوين G مطلوبة. ولكي يكون الرسم البياني الفرعي H في G قابلاً للاكتشاف، يجب أن يتضمن الحصر حالة واحدة على الأقل يكون فيها H ملونًا. ولتحقيق ذلك، يكفي حصر عائلة F من دوال التجزئة المثالية من الرتبة k من المجموعة {1، ...، | V |} إلى المجموعة {1، ...، k } . وبحسب التعريف، تكون F مثالية من الرتبة k إذا كان لكل مجموعة جزئية S من المجموعة {1، ...، | V |} حيثيوجد دالة تجزئة h في F بحيث تكون h : S → {1, ..., k } مثالية . بعبارة أخرى، يجب أن توجد دالة تجزئة في F تُلوّن أي k رأسًا مُعطى بـ k لونًا مختلفًا.
توجد عدة طرق لإنشاء عائلة تجزئة مثالية من النوع k :
- أفضل بناء صريح هو من تأليف موني ناور ، وليونارد ج. شولمان ، وأرافيند سرينيفاسان ، [ 5 ] حيث عائلة من الحجميمكن الحصول عليها. لا يتطلب هذا البناء وجود الرسم البياني الفرعي المستهدف في مسألة إيجاد الرسم البياني الفرعي الأصلية.
- يُنتج بناء صريح آخر من قِبل جانيت ب. شميدت وآلان سيجل [ 6 ] عائلة من الحجم.
- يمكن الحصول على بنية أخرى وردت في الورقة الأصلية لنوجا ألون وآخرون [ 2 ] من خلال بناء عائلة مثالية من الرتبة k تربط المجموعة { 1 ، ...، | V |} بالمجموعة {1، ...، k2 }، ثم بناء عائلة مثالية أخرى من الرتبة k تربط المجموعة {1، ...، k2 } بالمجموعة { 1، ...، k }. في الخطوة الأولى، من الممكن بناء هذه العائلة باستخدام 2n log k بت عشوائية مستقلة تقريبًا بمقدار 2log k بت، [ 7 ] [ 8 ] ويمكن أن تكون مساحة العينة اللازمة لتوليد هذه البتات العشوائية صغيرة جدًا .في الخطوة الثانية، أوضحت جانيت ب. شميدت وآلان سيجل [ 6 ] أن حجم هذه العائلة المثالية من الرتبة k يمكن أن يكونوبالتالي، من خلال تجميع العائلات المثالية من الدرجة k من كلا الخطوتين، نحصل على عائلة مثالية من الدرجة k بحجميمكن الحصول على الخرائط من {1، ...، | V |} إلى {1، ...، k } .
في حالة إزالة العشوائية من التلوين الجيد، حيث يتم تلوين كل رأس في الرسم البياني الفرعي بالتتابع، يلزم وجود عائلة مثالية من دوال التجزئة من النوع k من المجموعة {1، ...، | V |} إلى المجموعة {1، ...، k !} . يمكن إنشاء عائلة مثالية كافية من النوع k تربط من المجموعة {1، ...، | V |} إلى المجموعة {1، ...، k ! } بطريقة مشابهة للنهج 3 أعلاه (الخطوة الأولى). على وجه الخصوص، يتم ذلك باستخدام nk log k بت عشوائي مستقلة تقريبًا بمقدار k log k ، وسيكون حجم العائلة المثالية الناتجة من النوع k هو.
يمكن بسهولة موازاة عملية إزالة العشوائية من طريقة ترميز الألوان، مما ينتج عنه خوارزميات NC فعالة.
التطبيقات
حظي الترميز اللوني باهتمام كبير مؤخرًا في مجال المعلوماتية الحيوية . ومن الأمثلة على ذلك الكشف عن مسارات الإشارات في شبكات تفاعل البروتين-بروتين . ومثال آخر هو اكتشاف عدد الأنماط في هذه الشبكات وحسابها. وتتيح دراسة كل من مسارات الإشارات والأنماط فهمًا أعمق لأوجه التشابه والاختلاف بين العديد من الوظائف والعمليات والبنى البيولوجية في الكائنات الحية.
نظراً للكم الهائل من بيانات الجينات التي يمكن جمعها، فإن البحث عن المسارات أو الأنماط قد يستغرق وقتاً طويلاً. ومع ذلك، من خلال استغلال طريقة الترميز اللوني، يمكن تحديد الأنماط أو مسارات الإشارات ذاتيمكن إيجاد رؤوس الشبكة G التي تحتوي على n رأسًا بكفاءة عالية في وقت متعدد الحدود. وهذا يُمكّننا من استكشاف هياكل أكثر تعقيدًا أو أكبر حجمًا في شبكات تفاعل البروتين-بروتين.
للمزيد من القراءة
- ألون، ن.؛ داو، ب.؛ حاجيراسوليها، إ.؛ هرمزدياري، ف.؛ شاهينالب، س. س. (2008). " عدّ واكتشاف أنماط الشبكة الجزيئية الحيوية باستخدام الترميز اللوني" . المعلوماتية الحيوية . 24 (13): i241– i249. doi : 10.1093/bioinformatics/btn163 . PMC 2718641. PMID 18586721 .
- هوفنر، ف.؛ فيرنيكه، س.؛ زيشنر، ت. (2008). "هندسة الخوارزميات لترميز الألوان مع تطبيقات في الكشف عن مسارات الإشارات". Algorithmica . 52 (2): 114-132 . CiteSeerX 10.1.1.68.9469 . doi : 10.1007/s00453-007-9008-7 . S2CID 81069 .
مراجع
- ↑ ألون، ن.، يوستر، ر.، وزويك، يو. 1994. الترميز اللوني: طريقة جديدة لإيجاد المسارات البسيطة، والدورات، وغيرها من الرسوم البيانية الفرعية الصغيرة داخل الرسوم البيانية الكبيرة. في وقائع الندوة السنوية السادسة والعشرين لجمعية ACM حول نظرية الحوسبة (مونتريال، كيبيك، كندا، 23-25 مايو 1994). STOC '94. ACM، نيويورك، نيويورك، 326-335. DOI= http://doi.acm.org/10.1145/195058.195179
- 1 2 ألون، ن.، يوستر، ر.، وزويك، يو. 1995. الترميز اللوني. مجلة ACM 42، 4 (يوليو 1995)، 844-856. DOI= http://doi.acm.org/10.1145/210332.210337
- ↑ خوارزمية كوبرسميث-وينوغراد
- ↑ ألون، ن. وناور، م. 1994. إزالة العشوائية، وشهود ضرب المصفوفات المنطقية، وبناء دوال التجزئة المثالية. تقرير فني. رقم طلب UMI: CS94-11، دار نشر وايزمان للعلوم في إسرائيل.
- ↑ ناور، م.، شولمان، ل. ج.، وسرينيفاسان، أ. 1995. المُقسِّمات وإزالة العشوائية شبه المثلى. في وقائع الندوة السنوية السادسة والثلاثين حول أسس علوم الحاسوب (23-25 أكتوبر 1995). FOCS. جمعية مهندسي الكهرباء والإلكترونيات، واشنطن العاصمة، 182.
- 1 2 شميدت، جيه بي؛ سيجل، أ. (1990). "التعقيد المكاني لدوال التجزئة ذات k-probe غير الواعية". مجلة SIAM للحوسبة . 19 (5): 775-786 . doi : 10.1137/0219054 .
- ↑ ناور، ج. وناور، م. 1990. فضاءات الاحتمالية ذات التحيز الصغير: بنى فعالة وتطبيقات. في وقائع الندوة السنوية الثانية والعشرين لجمعية آلات الحوسبة حول نظرية الحوسبة (بالتيمور، ماريلاند، الولايات المتحدة، 13-17 مايو 1990). هـ. أورتيز، محرر. STOC '90. جمعية آلات الحوسبة، نيويورك، نيويورك، 213-223. DOI= http://doi.acm.org/10.1145/100216.100244
- ↑ ألون، ن.، غولدريتش، أ.، هاستاد، ج.، وبيرالتا، ر. 1990. بناء بسيط لمتغيرات عشوائية مستقلة تقريبًا من الرتبة k. في وقائع الندوة السنوية الحادية والثلاثين حول أسس علوم الحاسوب (22-24 أكتوبر 1990). SFCS. جمعية مهندسي الكهرباء والإلكترونيات، واشنطن العاصمة، 544-553، المجلد 2. doi : 10.1109/FSCS.1990.89575
- خوارزميات الرسوم البيانية
