عرض مصدر Algorithms/Randomized Algorithms

<noinclude>{{DISPLAYTITLE:الخوارزميات العشوائية}}</noinclude>
الخوارزمية العشوائية هي الخوارزمية التي تستخدم عددًا عشوائيًا لتقرّر الخطوة التالية في سير عملها، فعلى سبيل المثال خوارزمية الترتيب السريع العشوائية Randomized Quick Sort، تستخدم الخوارزمية عددًا عشوائيًا لاختيار المحور التالي (أو لتغيير مواقع العناصر في المصفوفة عشوائيًا). يُستفاد من العشوائية عادةً في التقليل من التعقيد الزمني والتعقيد المكاني في الخوارزميات العادية.

== مقدمة رياضية ==

الاحتمالية المشروطة <code>P(A | B)‎</code> هي احتمالية وقوع الحدث <code>'A'</code> على افتراض وقوع الحدث <code>'B'</code> قبله.
[[ملف:conditional probability.svg|مركز|226x226بك]]
يمكن الاستعانة بالشكل التالي لفهم الصيغة السابقة، إذ لمّا كان الحدث <code>'B'</code> قد وقع بالفعل، فإنّ فضاء العينة سيتقلّص إلى <code>'B'</code> فقط؛ ولهذا فإنّ احتمالية وقوع الحدث <code>'A'</code> ستصبح <code>P(A ∩ B)‎</code> مقسومًا على <code>P(B)‎</code>.
[[ملف:conditional probability diagram.png|مركز]]

تربط علاقة بايس Bayes’s forumla بين الاحتماليتين المشروطتين <code>P(A|B)‎</code> و <code>P(B|A)‎</code>. 
[[ملف:Bayes's formula.svg|مركز|260x260بك|علاقة بايس.]]

=== المتغيرات العشوائية ===

المتغير العشوائي هو دالة تربط نتائج حدث عشوائي (مثل رمي العملة المعدنية) بقيمة حقيقية.

'''مثال''':

لعبة رمي القطعة النقدية:

في هذه اللعبة يحصل اللاعب على 50 نقطة إن كانت نتيجة رمي القطعة النقدية (النقش) ويخسر 50 نقطة إن كانت النتيجة (الكتابة). 

يمكن تعريف المتغير العشوائي لعدد النقاط النهائي الذي سيحصل عليه اللاعب كما يلي:

<source lang="text">Points = +50 if Head
         -50 if Tail  </source>
=== القيمة المتوقعة للمتغير العشوائي ===

يمكن تعريف القيمة المتوقعة للمتغير العشوائي <code>R</code> بأنّها:

<source lang="text">    E[R] = r1*p1 + r2*p2 + ... rk*pk </source>
تمثل <code>ri</code> قيمة <code>R</code> مع الاحتمالية <code>pi</code>.<br />ويمكن القول بأنّ القيمة المتوقعة هي مجموع حاصل ضرب الطرفين التاليين (لجميع الأحداث الممكنة):
# احتمالية الحدث
# قيمة R في ذلك الحدث.

'''أمثلة:'''

* القيمة المتوقعة للنقاط في المثال السابق = 50 * (1/2) + (-50) * (1/2) = 0
* والقيمة المتوقعة لرمي زهر سداسي الوجوه = = 1''(1/6) + 2''(1/6) + .... + 6*(1/6) = 3.5

=== خطية التوقع Linearity of Expectations ===

لنفترض أن <code>R1</code> و <code>R2</code> متغيران عشوائيان مجرّدان في فضاء احتمالية معين، فإنّ: 

<source lang="text">     E[R1 + R2] = E[R1] + E[R2] </source>
القيمة المتوقعة لمجموع الأرقام الناتجة من رمي الزهر ثلاث مرات = ‎<code>3 * 7/2 = 10.5</code>‎

=== عدد المحاولات المتوقع قبل تحقيق النجاح ===

إذا كانت احتمالية النجاح في كل محاولة هي <code>p</code> فإن العدد المتوقع للمحاولات قبل تحقيق النجاح هو ‎<code>1/p</code>‎.

لنفترض أنّ سنرمي زهرًا سداسي الوجوه إلى حين الحصول على الرقم <code>5</code>، فإنّ عدد الرميات المتوقعة قبل الحصول على الرقم <code>5</code> هو <code>6</code> رميات. لاحظ بأنّ احتمالية الحصول على الرقم <code>5</code> هي <code>1/6</code> في كل رمية، وبهذا يكون عدد المحاولة ‎<code>1/(1/6)</code>‎ = <code>6</code>‎.

وفي خوارزمية الترتيب السريع والتي تبحث فيها الخوارزمية عن العناصر المحورية إلى أن تختار العنصر الوسطي <code>n/2</code> فإنّ عدد المحاولات المتوقعة للعثور لاختيار العنصر الوسطي سيكون <code>2</code> وذلك لأنّ احتمالية اختيار أحد العناصر الوسطية هو <code>1/2</code>.

== الخوارزمية العشوائية ==

الخوارزمية العشوائية هي خوارزمية تستخدم عددًا عشوائيًا لتقرر الخطوة التالية في سير عملها، فعلى سبيل المثال تستخدم خوارزمية الترتيب السريع العشوائية عددًا عشوائيًا لاختيار العنصر الوسطي (pivot) التالي، وهناك خوارزميات لتغيير ترتيب العناصر في المصفوفة عشوائيًا، وتنتخب خوارزمية كاركر Karger's Algorithm ضلعًا بطريقة عشوائية.

=== تحليل الخوارزميات العشوائية ===

تمتلك بعض الخوارزميات العشوائية تعقيدًا زمنيًا محدّدًا، فعلى سبيل المثال تمتلك إحدى طرق تنفيذ خوارزمية كاركر تعقيدًا زمنيًا قدره <code>O(E)‎</code>، ومثل هذه الخوارزميات تسمّى بخوارزميات مونتي كارلو Monte Carlo Algorithms ويسهل تحليل هذه الخوارزميات في الحالات السوأى.

وفي المقابل يعتمد التعقيد الزمني لبعض الخوارزميات العشوائية على قيمة المتغير العشوائي، وتسمى هذه الخوارزميات بخوارزميات لاس فيغاس Las Vegas، ويجري تحليل هذه الخوارزميات عادة في الحالات السوأى المتوقعة. 

وتتطلب عملية حساب الوقت الذي يتوقع أن تستغرقه الحالة السوأى الأخذ بنظر الاعتبار جميع القيم الممكنة للمتغير العشوائي المستخدم في الحالة السوأى وتقدير الوقت الذي تستغرقه كل قيمة محتملة، ويكون الوقت الذي يتوقع أن تستغرقه الحالة السوأى هو معدّل جميع الأوقات التي جرى تقييمها. ويجدر التنبيه إلى إمكانية الاستفادة من خاصية خطّية التوقعات Linearity of Expectations والعدد المتوقع للمحاولات قبل تحقيق النجاح في تحليل هذا النوع من الخوارزميات.

== خوارزمية الترتيب السريع العشوائية ==

تنتخب خوارزمية الترتيب السريع عنصرًا من عناصر المصفوفة المراد ترتيبها وتجعله محورًا pivot لتقسّم بعد ذلك المصفوفة حول هذا العنصر إلى قسمين.

المحور الوسطي Central Pivot هو المحور الذي يقسم المصفوفة إلى قسمين يمتلك أحدهما على الأقل 1/4 من العناصر.

تنتخب خوارزمية الترتيب السريع العشوائية المحور انتخابًا عشوائيًا وفقًا لما يلي:

<source lang="c++">randQuickSort(arr[], low, high)</source>
تأخذ الدالة المسؤولة عن إجراء الخوارزمية ثلاثة معاملات هي:

# <code>arr[]‎</code> : المصفوفة المراد ترتيبها
# <code>low</code>: موقع البداية
# <code>high</code>: موقع النهاية



# إن كان <code>low >= hight</code> تتوقف الدالة عن العمل.
# تنفّذ الخطوات التالية ما لم يكن المحور <code>x</code> محورًا عنصريًا:
## اختيار رقم عشوائي من مجموعة الأرقام <code>[low..high]</code>، وليكن الرقم المنتخب <code>x</code>.
## عدّ العناصر في المصفوفة <code>arr[low..high]‎</code> التي تكون أصغر من العنصر <code>arr[x]‎</code>. وليكن <code>sc</code>.
## عدّ العناصر في المصفوفة <code>arr[low..high]‎</code> التي تكون أكبر من العنصر <code>arr[x]‎</code>، وليكن <code>gc</code>.
## ليكن <code>n = (high - low + 1)‎</code>. إن كان <code>sc >= n/4</code> وكان <code>gc >= n/4</code> فإنّ <code>x</code> هو المحور الوسطي.
# تقسيم المصفوفة <code>arr[low..high]‎</code> حول المحور <code>x</code>.
# تنفيذ الخطوات السابقة تعاوديًا على العناصر الأصغر.<br />
<code>randQuickSort(arr, low, sc-1)‎</code>
# تنفيذ الخطوات السابقة تعاوديًا على العناصر الأكبر.<br />
<code>randQuickSort(arr, high-gc+1, high)‎</code>

إنّ أهمّ خطوة في عملية تحليل خوارزمية الترتيب السريع العشوائي هو الوقت الذي تستغرقه الخطوة الثانية وهو <code>O(n)‎</code>، إذ يجب معرفة عدد الدورات التي ستمرّ بها الحلقة التكرارية قبل العثور على المحور الوسطي.

إن احتمالية أن يكون العنصر المنتخب عشوائيًا هو المحور الوسطي هي <code>1/2</code>؛ ولهذا فإنّ عدد الدورات التي ستمرّ بها حلقة <code>while</code> التكرارية هي <code>2</code>، وبهذا يمكن القول أنّ التعقيد الزمني المتوقع للخطوة الثانية هو <code>O(n)‎</code>.

=== التعقيد الزمني للحالة السوأى ===

تقسم المصفوفة في الحالة السوأى إلى قسمين، يمتلك أحدهما <code>n/4</code> من العناصر والآخر <code>3n/4</code> من العناصر. ويبلغ التعقيد الزمني حينئذٍ المقدار <code>O(Log n)‎</code>.

يجدر التنبيه إلى أنّ طريقة التنفيذ السابقة ليست هي الطريقة المثلى، وإنّما هي لتوضيح سهولة عملية تحليل الخوارزمية. تنفّذ خوارزمية الترتيب السريع العشوائية عادة باختيار عنصر عشوائية كمحور (دون استخدام الحلقات التكرارية)، أو بتغيير مواقع العناصر في المصفوفة، ويبلغ التعقيد الزمني المتوقع في الحالة السوأى لهذه الخوارزمية المقدار <code>O(n Log n)‎</code>، ولكن تحليل الخوارزمية يكون أكثر تعقيدًا.

== تصنيف الخوارزميات العشوائية ==

تصنف الخوارزميات العشوائية إلى صنفين هما:

# خوارزميات لاس فيغاس Las Vegas Algorithms
# خوارزميات مونتي كارلو Monte Carlo Algorithms

=== خوارزميات لاس فيغاس ===

تعطي هذه الخوارزميات نتائج صحيحة أو مثالية دائمًا، ويعتمد التعقيد الزمني فيها على قيمة عشوائي، ويحسب التعقيد الزمني كقيمة متوقعة expected value. ترتّب خوارزمية الترتيب السريع العشوائي - على سبيل المثال - عناصر المصفوفة المدخلة بتعقيد زمني يتوقّع أن تكون قيمته <code>O(nLogn)‎</code> في الحالة السوأى.

=== خوارزميات مونتي كارلو ===

تعطي هذه الخوارزميات نتائج صحيحة أو مثالية مع بعض الاحتمالية، ويكون التعقيد الزمني لهذا النوع من الخوارزميات العشوائية محدّدًا ويمكن تحليل الحالة السوأى لها بسهولة. فعلى سبيل المثال تنتج إحدى طرق تنفيذ خوارزمية كارك المقطع الأصغر minimum cut مع احتمالية تكون أكبر من <code>‎1/n^2</code> (تمثّل <code>n</code> عدد الرؤوس في الرسم البياني)، ويبلغ التعقيد الزمني في الحالة السوأى المقدار <code>O(E)‎</code>. وتعدّ طريقة فيرميت Fermet Method للتحقق من الأعداد الأولية إحدى الأمثلة المعروفة عن خوارزميات مونتي كارلو.

يوضّح المثال التالي الفرق بين التصنيفين:

لنفترض وجود مصفوفة ثنائية Binary array نصف عناصرها <code>0</code> والنصف الآخر <code>1</code>. المطلوب هو إيجاد موقع أي من الوحدات.

تنفيذ هذه المهمة عن طريق خوارزمية لاس فيغاس يتطلب الاستمرار في اختيار عنصر عشوائي إلى حين الوصول إلى الرقم <code>1</code>. أما خوارزمية مونتي كارلو فستستمر في اختيار عنصر عشوائي إلى حين الوصول إلى الرقم <code>1</code> أو الوصول إلى أقصى عدد مسموح به من المحاولات (ليكن <code>k</code>).

تعثر خوارزمية لاس فيغاس دائمًا على موقع للرقم <code>1</code>، ولكن التعقيد الزمني يكون قيمة غير محدّدة وإنّما متوقعة، إذ إنّ العدد المتوقع للمحاولات قبل تحقيق النجاح هو <code>2</code>، وهذا يعني أنّ التعقيد الزمني المتوقع هو <code>O(1)‎</code>. أما خوارزمية مونتي كارلو فتعثر على <code>1</code> مع احتمالية تقدّر بالقيمة ‎<code>[1 - (1/2)k]</code>‎، ويبلغ التعقيد الزمني المقدار <code>O(k)‎</code> وهو قيمة محدّدة.

== التطبيقات ونطاق الاستخدام ==

* لنفترض وجود أداة مهمّتها إجراء عملية الترتيب، ولنفترض أنّ هناك عددًا كبيرًا من الأشخاص الذين يستخدمون هذه الأداة مع مصفوفات مرتّبة أصلًا. إن استخدمت الأداة خوارزمية الترتيب السريع العادية (وليست العشوائية) فإنّ هؤلاء المستخدمين سيواجهون الحالة السوأى دائمًا. ولكن إن استخدمت الأداة خوارزمية الترتيب السريع العشوائية، فإنّ التعقيد الزمني الذي سيحصل عليه جميع المستخدمين بدون استثناء هو التعقيد الزمني المتوقّع لهذه الخوارزمية وهو <code>O(n Log n)‎</code>.
* تستخدم الخوارزميات العشوائية استخدامًا واسعًا في عمليات التشفير.
* موازنة الأحمال Load Balancing.
* تطبيقات في علم الأعداد: اختبار الأعداد الأولية.
* بنى المعطيات: التقطيع، الترتيب، البحث، إحصائيات الترتيب Order Statistics، والهندسة الحاسوبية.
* المعادلات الجبرية: متعددات الحدود والمصفوفات. أنظمة البرهنة التفاعلية.
* البرمجة الرياضية: خوارزميات أسرع للبرمجة الخطية، تقريب نتائج البرامج الخطية إلى نتائج البرامج الصحيحة.
* خوارزميات الرسوم البيانية: الشجرة الممتدة الصغرى، المسار الأقصر، المقاطع الصغرى.
* التعداد: بنى المصفوفات ذات العد الاندماجي الدائم Matrix permanent Counting combinatorial structures.
* الحوسبة المتوازية والموزّعة.
* إلغاء العشوائية: تُقترح في البداية خوارزمية عشوائية ثم يجري النقاش حول ما إذا كان بالإمكان إزالة العشوائية للحصول على نتائج محدّدة. 

== مصادر ==

* صفحة [https://www.geeksforgeeks.org/randomized-algorithms-set-0-mathematical-background/ Randomized Algorithms | Set 0 (Mathematical Background)] في توثيق الخوارزميات في موقع GeeksforGeeks.
* صفحة [https://www.geeksforgeeks.org/randomized-algorithms-set-1-introduction-and-analysis/ Randomized Algorithms | Set 1 (Introduction and Analysis)] في توثيق الخوارزميات في موقع GeeksforGeeks.
* صفحة [https://www.geeksforgeeks.org/randomized-algorithms-set-2-classification-and-applications/ Randomized Algorithms | Set 2 (Classification and Applications)] في توثيق الخوارزميات في موقع GeeksforGeeks.

[[تصنيف: الخوارزميات]]
[[تصنيف: الخوارزميات العشوائية]]