Professional Documents
Culture Documents
Project File 357
Project File 357
ملخص
يقدم هذا البحث مناقشة ملسألة البائع املتجول املشهورة واليت مل يعرف هلا حل بكثري حدود زمين ،باإلضافة إىل مقارنة بني
عدة خوارزميات حلل هذه املسألة وتقدمي احلل األفضل مع إضفاء حتسينات على هذا احلل.
1
الفهرس
4 .........................................................................................:املقدمة
5 ...........................................: fundamentals of TSP : الباب ا ألول
5 .....................................................: TSP definition : الفصل ا ألول
6 .............................................: historical spotlights : الفصل الثاين
9 ...........................................:TSP is NP-complete : الفصل الثالث
11 ........................: simple ALGOs to solve the TSP : الباب الثاين
11 ..........................................................: Brute force : الفصل ا ألول
11 ...............................................: Nearest neighbor : الفصل الثاين
15 ...............................................................: Greedy : الفصل الثالث
16 .................: advanced ALGOs to solve the TSP : الباب الثالث
16 ......: using triangle inequality to solve the TSP : الفصل ا ألول
18 ....................................: 2-opt ad 3-opt heuristic : الفصل الثاين
21 ................................................ : genetic ALGOs: الفصل الثالث
24 ...................................................................................... : النتاجئ
25 .......................................................................................: اخلامتة
26 ..........................................................................: املصادر واملراجع
2
فهرس األشكال
شلك 7 ...................................................:A TSP complete graph: 1
شلك : 2مثال توضيحي للمسأأةل 11 ..........................................................:
شلك : 1توضيح معل خوارزمية الــ 17 .............................................:MST
شلك 19 ................................................................: A 2-opt move: 4
شلك 19 ...........................................................: A 3-opt move(1): 5
شلك 20 ...........................................................: A 3-opt move(2): 6
شلك 21 ...............................................................: A 2-opt move: 7
شلك :8كروموسوم اجليل الابتدايئ22 ..................................................... :
3
المقدمة وإشكالية البحث:
افرض أنك بائع متجول يف إحدى الدول ،ولديك عدد من املناطق عليك زيارهتا ولديك مسافة أو زمن بني كل منطقتني وتريد أن
تسلك أقصر طريق ممكن مير من كل هذه املناطق حبيث ال متر من املنطقة نفسها مرتني لتعود يف النهاية إىل املكان الذي انطلقت
منه.
لنناقش ذلك قليالً يف البداية :يف حال كان عدد املناطق صغري ،فيمكن إجياد اإلجابة بسهولة عن طريق النظر إىل كل الطرق املمكنة
واختيار الطريق األقصر من بينها ،ولكن مع تزايد عدد املناطق سوف تصبح هذه الطريقة بطيئة بشكل رهيب ،فهل يا ترى هناك
طريقة أفضل لفعل هذا؟ وهل يوجد خوارزمية بإمكاهنا إعطاء إجابة خالل فرتة زمنية منطقية حىت لو كان عدد املناطق ضخم؟
إن الوقت الذي يلزم إي خوارزمية لتنفذ مهمتها يتعلق بعدد اخلطوات اليت عليها تنفيذها ،على سبيل املثال ،قد جند خوارزمية حتتا
n2خطوة حلل املسألة من أجل nمنطقة ،ففي حال كان عدد املناطق 01فإننا حباجة لتنفيذ 011خطوة ،وإذا كان عددها 01
فإننا حباجة لتنفيذ 011عملية أو خطوة ،لرمبا هذا يبدو سيئاً وطويالً يف نظركم ولكن اخلوارزميات املتوفرة حالياً حلل هذه املسألة
أسوأ بكثري حيث تأخذ 2nخطوة من أجل nمنطقة ،وبالتايل 01مناطق تتطلب تنفيذ 0100خطوة و 01منطقة تتطلب تنفيذ
أكثر من مليون خطوة.
لدى علماء الرياضيات صورة واضحة عن ما تعنيه الفرتة الزمنية املنطقية وهي العبارات املتضمنة لكثريات حدود لـ ،nيدعى هذا
النوع من اخلوارزميات بصف التعقيد .P
أما اآلن فبدالً من حماولة إجياد أقصر طريق لنحاول معرفة إذا كان يوجد هناك طريق أقصر من عدد ما وليكن dحمدد مسبقاً ،هذه
تسمى بنسخة القرار من البائع املتجول ألن اإلجابة عليها تكون إما ب ـ نعم أو ال ،وال أحد يعرف أنه يوجد أيضاً خوارزمية
املسألة ّ
حل هلذه املسألة فإن التحقق
كثري حدود زمين حلل نسخة القرار من مسألة البائع املتجول ولكن على األقل إن قام أحدهم بإعطائك ّ
من صحة هذا احلل سهل للغاية.
حيث أن جمموعة مسائل القرار اليت ميكن التحقق من صحة حل ما هلا بسهولة (يوجد خوارزمية كثري حدود زمين للتحقق من احلل
تسمى هذه املسائل مبسائل صف التعقيد .NP
4
الباب األولfundamentals of TSP :
متت اإلشارة هلذه املسألة للمرة األوىل يف أملانيا عام 0380يف كتاب "البائع املتجول الناجح" وكان كارل منجر هو أول رياضي
كتب عن هذه املسألة حيث أنه أراد إجياد ) l (cحيث Cهو مسطح بسيط يف الفضاء املرتي Sوحسب التعريف هو:
n 1
) l (c ) sup dist (x i , x i 1
i 1
على Cحسب الرتتيب الذي يضعه x 1 , x 2 ,......., x n 1 عندما القيم األفضل ) (supremesنأخذها على كل اختيار
،Cوما بينه منجر حلل هذه املسألة هو أننا نستطيع أن نفحص كل اجملموعات اجلزئية النهائية Xل ـ Cأي أنه:
n N : X C , X nوعندها نأخذ القيمة الدنيا لكل الرتتيبات ،Xلذا عرف لكل جمموعة جزئية Xلفضاء
مرتي (X ) :Sوهو طول املسار األقصر الذي ممير من خالله ،وقد برهن اآليت:
) l (c ) supX (X
وعاد منجر يف عام 0381وقدم املشكلة بشكل أوضح وعدها مسألة منفصلة ،واعتمد يف حله على القوة الغامشة
) (brute forceالذي سأحتدث عنه الحقاً ،كما أشار يف وقت الحق إىل عدم جدوى طريقة اجلار األقرب احلدسية ،ويف العام
ذاته وضع وايتنر ) (Witnerألول مرة املسألة حتت مسمى " "travelling salesmanويف الفرتة ما بني 1960-1950
بدأت مسألة البائع املتجول تأخذ باالنتشار يف األوساط العلمية وخصوصاً يف أوروبا و الواليات املتحدة األمريكية.
ويف هذه األنثناء وعندما زادت شدة التحدي بني رواد اخلوارزميات استطاع عدة باحثني منهم دانتزيك ) (Dantzicوجونسون
) ،(johnsonبطريقة الربجمة اخلطية تطوير طريقة التقسيم الشجري " ،"cutting planeفبهذه الطريقة اجلديدة أمكن حل
املشكلة وإجياد رحلة ينب 03مدينة وأنثبتوا عدم وجود رحلة أقصر منها.
يف العقود الالحقة مدرست املشكلة من العديد من الرياضيني والفيزيائيني والكيميائيني وغريهم من العلماء،
إىل أن جاء كارب ) (Karpيف عام 0390وأدر مسألة دارة هاملتون حتت ال ـ ،NP_complete problems 00وهذا
ما أظهر للجميع صعوبة إجياد أفضل رحلة حاسوبياً سواء بتعقيد من رتبة تابعية أو غريه.
5
ومن حينها بدأ العلماء يطورون الكثري من الطرق حلل املسألة بشكل مباشر مثل :اخلوارزميات اجلينية ،والربجمة اخلطية املختلطة.
وما زالت األحباث تكتب حىت يومنا هذا عن مشكلة البائع املتجول واملسائل املشتقة منها.
وصل تاجر إىل دولة فيها nمدينة ويريد البائع أن يزور كل مدينة يف الدولة مرة واحدة فقط وبأقل وقت سفر ممكن أو أقصر مسافة
ممكنة مث يعود إىل املدينة اليت بدأ منها.
6
شكل A TSP complete graph :1
هناك العديد من االستخدامات العلمية هلذه املسألة مثل توجيه املركبة بإضافة القيود ملسار املركبة كقدرة املركبة ،ويف تقليل اخلسارة
ومسارات الطائرات وإجياد املسارات املثالية لألسالك يف الدارات املطبوعة بني نقطتني على الدارة مروراً بعناصر حمددة ،كما
استخدمت هذه املسألة يف السنوات األخرية كقاعدة مقارنة لتحسني العديد من تقنيات احملاكاة والبحث وخوارزمية مستعمرات
األخرى.
ً النمل والتفريع والتحديد وغريها من التقنيات
x
i 1
ij 1, j=1,2,.....,n )(1
n
x
j 1
ij 1, i=1, 2,..., n )(2
7
c ijأما x ijفيمثل حيث c ijمتثل كلفة السفر من املدينة iإىل املدينة ، jوتعترب املسألة متمانثلة إذا كان c ji
باملدينة ، jوخالف ذلك يأخذ القيمة صفر.1 i متحول القرار وهو يأخذ القيمة واحد إذا اتصلت املدينة
خاصية غري الزامية للمصفوفة Cوهي خاصية متباينة املثلث وتقول أن:
i , j , k V ,c ik c ij c jk
وهذه اخلاصية تتبني يف مسألة البائع املتجول اإلقليدية اليت تكون نفيها الرؤوس نقاط يف ، Rواألطوال بني الرؤوس أي أطوال
2
هو uv األضالع هو البعد اإلقليدي أي أنه إذا كان ) u (x 1 , y 1 ) ,v (x 2 , y 2حينها طول الضلع
) . d uv (x 1 x 2 ) ( y 1 y 2
2 2
1د .أحمد السبعاوي (" )2112استخدام خوارزمية التفريع والتحديد والخوارزميات الجينية في حل مسألة البائع المتجول" المجلة العراقية للعلوم
اإلحصائية.
8
الفصل الثالث :صف التعقيد NP-complete
لنحاول جعل هذه املسألة أسهل قليالً فبدالً من حماولة إجياد أقصر طريق ،لنحاول معرفة إذا كان يوجد طريق أقصر من عدد ما D
محدد مسبقاً ،كما ذكرت سابقاً تدعى هذه املسألة مسألة القرار من البائع املتجول ألن اإلجابة عليها بنعم أو ال ،وال يوجد
خوارزمية كثري حدود زمين حلل نسخة القرار من البائع املتجول ،ولكن على األقل إن قام أحدهم بإعطائك حل هلذه املسألة فإن
التحقق من صحة هذا احلل سهل أو يتم بتعقيد كثري حدود زمين بأقل تقدير.
حيث إن جمموعة مسائل القرار اليت ميكن التحقق من صحة حل ما هلا بسهولة (أي أنه يوجد خوارزمية كثري حدود زمين للتحقق
من احلل تسمى مبسائل الصف .NP
من املسائل األخرى يف هذا الصف هي مسألة كيفية حتليل أعداد ضخمة جداً إىل عواملها األولية ،على سبيل املثال لدينا:
ولكن هناك مسائل من الصعب جداً إجياد حل هلا ،ولكن إذا استطعنا حلها فيمكننا تطبيق هذا احلل على مجيع مسائل الصف
NPوهذه املسائل تسمى .NP-hard
سيكون أمر خارق جداً إذا متكن أحد ما من إجياد خوارزمية كثري حدود زمين إلحدى مسائل الـ ، NP-hardوسيصبح أغىن
رجل يف العامل ألنه حينها سيكون غري كلياً تصنيف صفوف التعقيد ومتكن من حل مجيع املسائل بتعقيد كثري حدود زمين.
لكن هناك مسائل يف الصف NP-hardيصعب التحقق فيها من صحة احلل أصالً وبالتايل هذه املسائل ال تنتمي باألصل إىل
الصف .NP
لكن اجملوعة اليت تتضمن مسائل الـ NP-hardوالـ NPيف الوقت ذاته تسمى مبسائل الصف .NP-complete
وهي جمموعة املسائل اليت ميكن إرجاعها إىل مسائل تشبهها وتنتمي إىل الصف NPوإذا أمكن إجياد حل فعال هلا فيمكن تطبيق
هذا احلل على مجيع مسائل الـ NPاليت تشبهها.
حيث ميكن ترمجة كل مسألة من الصنف NPإىل أي مسألة من الصنف .NP-completeوعليه إذا وجد أحدهم حال
سريعا ملسألة واحدة من هذا الصنف فسيكون قادراً على حل مجيع مسائل الصنف NPوسيكون Pمساوياً لـ .2NP
9
مسألة البائع املتجول تنتمي إىل الصف :NP-complete
أوالً علينا إنثبات أن مسألة البائع املتجول هي مسألة ،NPإذا أردنا أن خنترب إذا ما كانت الرحلة املعطاة تشكل حالً علينا بداية
أن نثبت أن هذه الرحلة متر من كل عقدة مرة واحدة وهذا سهل ،لذلك نستنتج أن مسألة دارة هاملتون هي مسألة NPحيث
يوجد دالة تعقيد كثري حدود زمين ملعرفة إذا ما كان الطريق يشكل دارة هاملتون أم ال ،ولكن مسألة القرار للبائع املتجول هي
ليست من الصنف NPألنه يصعب حىت التحقق من أن دارة هاملتون املعطاة تشكل أقصر طريق ممكن.
وبالتايل عند إنثبات أن مسألة دارة هاملتون ترتجم إىل مسألة البائع املتجول مبا أن مسألة البائع املتجول أكثر صعوبة ،وإذا أمكن
حلها بسرعة فيمكن حل دارة هاملتون وكل املسائل املشاهبة هلا بسرعة أيضاً ،ونكون قد أنثبتنا أن مسألة البائع املتجول هي مسألة
:NP_complete
ولفعل ذلك لنفرض أنه ممعطى معنا مدخل ملسألة الدارة اهلاملتونية ،نريد أن نبين اختصاراً بوقت حدودي هلذه املسألة ،واملدخل
هلذه املسألة هو خمطط ) G (V , Aحبيث أن } V {1,2,........, nو }) A {(i , j
نبين ممدخل ملسألة البائع املتجول بالشكل التايل :نبين خمطط ،Gحبيث أن جمموعة الرؤوس هي Vأما جمموعة األضالع هي
} A {(i , j ) : i , j 1,......, n , i jو c ij 1إذا كان (i , j ) Aو c ij خالف ذلك ،وحينها املخطط
Gحيوي دارة هاملتون إذا وفقط إذا كانت قيمة ممدخل الـ TSPهي .n
وهذا يقودنا لسؤال أهم :هل يوجد خوارزميات كثري حدود زمين حلل مسألة الصف NPولكنها ببساطة مل تكتشف بعد؟
هذا السؤال يعرف مبعضلة Pمقابل NPوهي من أصعب املعضالت الرياضية املفتوحة ،وأي شخص بإمكانه حلها سريبح جائزة
قدرها مليون دوالر مقدمة من معهد كالي للرياضيات .ال يتفق اجلميع خبصوص هذه املسألة ولكن معظم علماء الرياضيات مييلون
لالعتقاد بأن Pال تساوي NPوهذا يعين بأنه مسائل الصف NPفعالً صعبة للغاية وال ميكن حلها خبوارزميات سريعة.
وحبيلة أخرى حيث أن أي مسألة من الصف NPميكن حتويلها إىل نسخة القرار من مسألة البائع املتجول .وهذا يعين أن أي
خوارزمية كما ذكرت سابقاً حتل نسخة القرار ميكن حتويلها خلوارزمية حتل أي مسألة أخرى يف الصف .NPفتخيل إجيادك
خوارزمية كثريات حدود زمنية لنسخة القرار من مسألة البائع املتجول ،هذا يعين أن أي مسألة من الصف NPميكن حلها أيضاً
خالل كثري حدود زمين وسوف تكون قد برهنت أن .3P=NP
3 Gilbert ،Laborte (1991) ،The Traveling Salesman Problem: An overview of exact and approximate algorithms
11
الباب الثانيsimple algorithms to solve the TSP :
تعتمد القوة الغامشة على جتريب مجيع االحتماالت املمكنة مث اختيار احلل األنسب من بني هذه االحتماالت املوجودة.
لدينا يف املخطط التايل لدينا 6مدن ولدينا زمن التنقل بني كل مدينتني واملطلوب هنا إجياد دارة هاملتون وبأقصر كلفة ممكنة.
منثل الرسم السابق جبدول ندعوه ) (adjmatrixالذي يوضح بشكل أفضل األزمنة بني املدن ليسهل التعامل معها أنثناء احلل.
11
باالعتماد على توليد مجيع املسارات املمكنة ،يكون عدد دارات هاملتون املمكنة:
5! 5 4 3 2 1 120
مث حنسب الكلفة ل كل دارة نولدها جبمع أوزان احلواف اليت تكون الدارة ،مث خنتار الكلفة الكلية األصغر .يعترب هذا احلل البسيط
دقيقاً ألنه يقدم اجلواب الصحيح دوماً لكنه سهل جداً فقط يف حال كان عدد العقد صغري جداً حيث تعد القوة الغامشة هنا غري
فعالة ألن تعقيد احلل هو )!).O ((n 1
إذا كان حاسوبك قادر على معاجلة توليد مليون دارة هاملتون يف الثانية فإنه عندما تكون:
N تساوي 6,9,3,3تكون اإلجابة حلظية (أجزاء صغرية من الثانية
N تساوي 01تستغرق حوايل 8/0نثانية.
N تساوي 00حوايل 0نثواين.
N تساوي 00حوايل 01نثانية.
N تساوي 08حوايل 3دقائق.
N تساوي 00حوايل 0ساعة.
N تساوي 01أقل بقليل من يوم.
N تساوي 01يستغرق حاسوبك أكثر من مليون سنة.
12
الفصل الثانيNearest neighbor :
تعرف الطرائق احلدسية بأهنا حالة ختمينية (حدسية ألفضلية اختيار نقطة عن أخرى داخل احلل لبعض األهداف أو األجزاء من
املسألة ،يف الغالب تستطيع احلدسيات إجياد حلول جيدة للمسألة لكنها قد ال تكون احللول املثلى.
وسأتطرق اآلن إىل طريقة اجلار األقرب احلدسية ،بينما سأتطرق الحقاً لطرائق حدسية أكثر دقة وأكثر فاعلية.
ميكن إجياد حل جيد ملسألة البائع املتجول بالبدء من املدينة (العقدة احملددة ،ومن مث الربط بينها وبني املدينة األقرب هلا واليت مل
تتم زيارهتا من قبل ،وتستمر العملية حىت تشكيل دارة هاملتون.
تعترب هذه الطريقة جمدية وذات كفاءة عالية لوجود مسار واحد فقط سيتم تشكيله ،ولكنه قد ال يوصل إىل اهلدف بصورة جيدة.
13
نبدأ من املدينة Hونكمل فينتج لدينا املسار اآليت:
14
الفصل الثالث Greedy algorithm :
اخلوارزميات اجلشعة هي اخلوارزميات اليت تستند إىل احلدس املهين الذي يتم عن طريقه اختيار اإلمكانية األفضل املرئية يف املرحلة
احلالية ،من دون األخذ باحلسبان تأنثري هذه اخلطوة على تكملة احلل.
بتطبيق اخلوارزمية اجلشعة على مسألة البائع املتجول نقوم ببناء املسار تدرجيياً باالختيار التدرجيي للحافة األقصر وإضافتها للرحلة
اليت نقوم بتشكيلها حبيث:
.0نرتب كل احلواف.
.0خنتار أقصر حافة ونضيفها إىل الرحلة حبيث ال ختل بالشروط املذكورة يف األعلى.
.8هل منلك Nحافة؟ إذا كانت اإلجابة ال ،نكرر اخلطوة رقم .40
4McGeoch, D. S. J. a. L. A. (November 20, 1995). ""The travelling salesman Problem: A Case Study in Local
"optimization".
15
الباب الثالثadvanced algorithms to solve the TSP :
من أجل جمموعة من العقد a,b ,c Vنقبل أنه ) t (a,c ) t (a,b ) t (b ,cحيث tمتثل تابع الكلفة ،ونقول إن t
حيقق متباينة املثلث.
لالستفادة من هذه اخلاصية أوالً ننشئ الشجرة اليت متر من مجيع العقد مرة واحدة وبأقل كلفة واليت ال حتتوي على دوائر
) (minimum spanning treeفتكون كلفة هذا املرور هي قيمة دنيا حيث أن أي دارة هاملتون هي بالتأكيد أكرب من
هذه الشجرة.
5 "Carmon H. Thomas, L. E. C., Rivest L. Ronald, stein Clifford (1996). "Introduction to algorithms.
16
تطبيق:
بعد تطبيق خوارزمية الـ ) (primحنصل على الـ ) ،(minimum spanning treeمث نوجد الدوائر الفرعية ،وبعدها نقوم
بتحسني احلل باجتياز الدوائر وباالستفادة من مرتاجحة املثلث مع مراعاة الشروط السابقة.
شكل :3في الشكل ( )aلدينا المخطط األولى للمدن ،ثم الشكل ( )bبعد إيجاد الشجرة ،من ثم ( )cبعد إيجاد الدوائر الفرعية.
A , B ,C , D , E
نفرض * Hالرحلة املثلى جملموعة عقد ،والـ ) (minimum spanning treeمبنية من رحلة محذفت منها حافة،
ومنه كلفتها أقل من كلفة احللة األفضل ،أي:
W A , B ,C , B , D , B , E , B , A
17
وهذه الرحلة تزور كل عقدة مرتني وبالتايل:
(0 ) c (W ) 2c (T
من ( 0و (: 0
)* c (W ) 2c (H
هذا يعين أن الرحلة الكاملة هي بأسوأ األحوال ضعف الرحلة األمثل ،وبعد حذف العقد املكررة ،حنصل على دارة هاملتون:
H A , B ,C , D , E
أي:
) c (H ) c (w
ومنه:
)* c (H ) c (H
تعتمد هذه اخلوارزمية على تشكيل طريق أويل نبدأ منه تطبيق اخلوارزمية ،ويفضل أن يكون هذا الطريق مأخوذ عرب خوارزمية اجلار
األقرب ،لتقليل الكلفة الزمنية.
عند تشكيل املسار األويل نقوم حبذف حافتني من هذه الرحلة ،وإعادة تشكيل حافتني جديدتني ،نالحظ أنه هناك طريقة واحدة
إلعادة تشكيل حافتني ،لذلك مازلنا نشكل دارة هاملتون ،ولكننا نقوم بذلك فقط يف حال كانت الرحلة اجلديدة أقصر من اليت
تسبقها ،ونستمر هبذه العملية حىت تنتهي كل التحسينات الثنائية املمكنة ) ،(2_opt movesونكون قد حصلنا على
.2-optimal tour
18
شكل2_optimal move :4
تعمل خوارزمية التحسينات الثالنثية ) (3_opt algorithmبشكل مشابه للخوارزمية السابقة ولكن بدالً من حذف حافتني
حنذف نثالث حواف ،وسنجرب هنا طريقتني لتشكيل احلواف اجلديدة ،وهذا مشابه للقيام بعمليتني من الـ )،(2_opt moves
ننهي البحث عندما تنتهي كل احلركات الثالنثية وبذلك نكون قد حصلنا على 3-optimal tourوهي أيضاً
.62-optimal tour
إذا نظرنا إىل الرحالت على أهنا تبديالت للمدن ،فإن حركة ) (2_optهي عبارة عن عكس سلسلة من التبديالت للمدن،
وحركة ) (3_optهي عبارة عن عكس لسلسلتني أو نثالث من تبديالت املدن.
19
شكلA 3_opt mov )1(:6
اجلار األقرب باالحتفاظ بقائمة للجار األقرب لكل مدينة وبتقليص عدد املدن يف القائمة السابقة تصبح الفكرة السابقة قابلة
للتطبيق.
نفرض أننا قمنا بوضع mجار أقرب لكل مدينة ميكننا ترقية التعقيد إىل ) O (mnمبالحظة أننا حنتا إىل إجياد اجلار األقرب
لكل مدينة منذ البداية مث استخدامه مىت نريد أي ال حاجة إلجياده يف كل مرة.
مع العلم أنه عندما نقوم بتقليص mفإن كفاءة احلل تتقلص كمثال على ذلك :عندما m=20هذا سيقلص الكفاءة مبقدار
ضئيل علما أن عدد املدن يساوي 01بينما باختيارنا m=5هذا سيعطينا حل سريع جداً ال يتمتع بالكفاءة املطلوب.
بإمكاننا املتابعة ب ـ 4_opt movesوأكثر ،ولكن كل من هذه احلركات سوف يستغرق املزيد من الوقت مقابل حتسني غري
ملحوظ على كفاءة احلل مقارنة بـ ـ 3_optو .2_opt
21
4_opt move :7 Figure
حنتا حلل مسألة البائع املتجول باستخدام اخلوارزمية اجلينية إىل اخلطوات التالية:
مصفوفة الكلفة أو املسافة :Cحيث متثل عناصر كلفة السفر أو املسافة بني املدن يف مسألة البائع املتجول.
21
.0إنشاء اجليل االبتدائي:
ويعد النقطة األوىل حلل املسألة ،وتتم عملية بناء اجليل االبتدائي بطريقة عشوائية حيث يتم إنشاء عدة كروموسومات ابتدائية
حبيث أن كل كروموسوم ميثل مساراً كامالً ،وميثل طول الكروموسوم بعدد املدن الواجب زيارهتا.
فيكون طول الكروموسوم ) (Iأي أنه حيتوي على مسار عدد مدنه ) (Iوكل جني ميثل تسلسل مدينة من املدن داخل
الكروموسوم.
ويتم اختيار كل مدينة بشكل عشوائي حبيث ال تتكرر كل مدينة أكثر من مرة لتحقيق دارة هاملتون مث العودة املدينة اليت بدأنا
منها.
.8دالة اهلدف:
نقوم حبساب دالة اهلدف اخلاصة باملسألة وذلك لكل مقطع من مقاطع اجليل ،ودالة اهلدف يف هذه املسألة عبارة عن جمموع
الكلف أو املسافات بني املدن ،وميكن توضيح ذلك عن طريق حساب دالة الكلفة للكروموسوم حبيث:
22
إلجياد املدينة التالية يف الولد األول نقوم بالبحث عن الدينة احلالية اليت مت اختيارها من P1يف ،P2نقوم بإجياد موقعها
يف P2مث نقوم باختيار املدينة اليت يف نفس املوقع يف P1فيصح الولد األول كاآليت:
_ O1:2 _ _ _ _ _ _ _ 9
مث نستمر بنفس العلمية فنحصل على الولد األول كاآليت:
_ O1:2 8 0 1 _ 4 5 _ 9
يف اخلطوة التالية سنأيت باملدينة 0واليت هي موجودة أصالً يف الولد األول لذلك سنوقف اإلجراء وننسخ املدن من P2يف
املواقع املطابقة املتبقية فيصبح O1كاآليت:
O1:2 8 0 1 6 4 5 7 9 3
لتوليد الولد الثاين O2من عملية التزاو نقوم باختيار املدينة األوىل من P2وجنعلها املدينة األوىل يف الولد الثاين ونكرر
نفس اإلجراء مع P1أي نبحث عن املدينة احلالية واليت مت اختيارها من P2يف P1وهكذا فينتج الولد الثاين كاآليت:
O2:1 5 4 3 8 9 7 2 6
)n (n 1
من عمليات التعابر مع العلم أن كل إذا كان اجملتمع االبتدائي حيتوي على nمن اآلباء فإن ذلك سيولد
2
عملية تعابر تنتج مقطعني من الذرية.
.9الطفرة :يف هذه اخلوارزمية حتدث الطفرة على اجلني نفسه ،فبعد االنتهاء من تكوين مقاطع اجليل نبدأ حبساب دالة اهلدف
لكل مقطع من مقاطع اجليل اجلديد بنفس الطريقة اليت يتم فيها حساب مقاطع اجليل االبتدائي.
بعد تكوين العدد احملدد من األجيال يتوقف تنفيذ الدالة ويتم تقييم النتائج ملالحظة مدى التقرب من احلل الختاذ القرار
إما باالستمرار بتكوين األجيال أو التوقف إذا كانت النتيجة مناسبة.
وهكذا نكون قد وضعنا حالً ملسألة البائع املتجول باستخدام اخلوارزميات اجلينية.
23
النتائج
إن مسألة البائع املتجول تنتمي إىل صف التعقيد NP_completeحيث وجدت مسألة من الصف NPميكن
حتويلها إىل مسألة البائع املتجول ،وهذا يعين أن أي خوارزمية حتل البائع املتجول ميكن حتويلها خلوارزمية حتل أي مسألة
أخرى يف الصف .NP
إن خوارزمية اجلار األقرب تعطي حلوال جيدة غالباً وبتوقيت صغري جداً ولكنها قد تنتج حلوال بعيدة أو غري دقيقة يف
بعض احلاالت.
إن احلل املقرتح باستخدام اخلوارزمية اجلشعة جيد جداً حبيث ال يبتعد عن احلل الصحيح مبقدار كبري مهما اختلفت كلف
2
السفر بني املدن وذلك بتعقيد زمين )) . O (n log(n
أمكن باالستفادة من متباينة املثلث اليت تتحقق يف مسألة البائع املتجول اإلقليدية وذلك باستخدام ال ـ MSTلتوليد حل
بكفاءة أصغر أو تساوي ضعف احلل األمثل.
إن طريقة التبديل بني املسارات إلنشاء مسارات جديدة تعترب طريقة فعالة جداً للحصول على حل بكفاءة عالية بتعقيد
)) O (n 2 log(n
ميكن توظيف اخلوارزميات اجلينية حلل مسألة البائع املتجول وقد أظهرت اخلوارزمية يف اجليلني األول والثاين نفس الكلفة
األدىن وبالتايل وضعت حالً أمثال بعد تنفيذ اخلوارزمية على جيلني من الكروموسومات ،ولكنها قد تستغرق عدد أكرب من
األجيال لتولد احلل األفضل ولكن ميزهتا األساسية أهنا توجد احلل األفضل دوماً على الرغم من التكلفة العالية.
إن طريقة تبديل املسارات ب ـ 2_opt moveو 3_opt moveتعترب الطريقة األفضل واألسرع من بني الطرق املطروحة
حيث تكون نسبة اخلطأ فيها ضئيلة وبتعقيد كثري حدود زمين معقول.
إضافة إىل أن إدخال اخلوارزميات اجلينية يف حل هكذا نوع من املسائل يعترب فعال جداً يف إعطاء احلل األفضل دوماً .
24
الخاتمة والتوصيات
إن عدد ال يستهان به من علماء الرياضيات واخلوارزميات حول العامل ما زال يبحث يف معضلة ،NP=Pوتعد مسألة البائع
املتجول مثاالً جيداً للدراسة يف هذه املعضلة الرياضية املفتوحة ،ومازال الطريق مفتوح لتحسني حلول هذه املسألة ،وقد حاولت أن
أترك بصميت يف هذا املوضوع وذلك بتقدمي مقارنة بني عدة خوارزميات تقرتب إىل حد جيد من األمثلية يف احلل كما حاولت
مبجهود فردي أن أطرح حالً هلذه املسألة وأن أقدم حتسيناً ألحد احللول باإلضافة إىل اإلجابة عن التساؤالت حول تصنيف مسألة
البائع املتجول يف صفوف التعقيد.
* إن السرعة هي العامل األساسي يف حل املسائل املتعلقة مبشاكل يف صفوف التعقيد ،وإن إجياد تعقيد تابعي يعطي حالً مثالياً هو
اهلدف األول إذا ما أراد أحدهم املنافسة يف حل هذه املسائل.
* إن العمل على ختفيض كلفة اخلوارزمية اجلينية قد يكون املفتاح حلل هذه املسألة وغريها من مسائل الصف NP-complete
ألن اخلوارزمية اجلينية تعطي احلل األفضل دوماً ولذلك قد يكون السر بإجياد شيء شبيه هبا.
* إن إجياد الرابط املشرتك بني مسائل ال ـ NP-completeالـ 00قد يكون لغزاً جيب اإلحبار فيه للمتابعة يف هذا البحث
واألحباث املتعلقة هبذه املعضلة.
من يدري ،قد تأيت خوارزمية "كل شيء" لتقضي على كل تصنيفات صفوف التعقيد يوماً ما !!!
25
المصادر والمراجع
:املراجع العربية
" "استخدام خوارزمية التفريع والتحديد واخلوارزميات اجلينية يف حل مسألة البائع املتجول0100( أمحد السبعاوي. د.1
.اجمللة العراقية للعلوم اإلحصائية
:املراجع األجنبية
26