الگوریتم فریوالد

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به ناوبری پرش به جستجو

الگوریتم فریوالد یک الگوریتم تصادفی احتمالاتی در زمینهٔ ضرب ماتریس‌ها ست. ضرب دو ماتریس × به روش معمول از مرتبهٔ زمانی است زیرا هر یک از درایهٔ ماتریس اول در درایه از ماتریس دوم ضرب می‌شود. یکی از نیازهای رایج در اعمال ریاضی مختلف در ماتریس‌ها، بررسی این موضوع است که اگر سه ماتریس ، و داشته باشیم آیا . یک راه ساده محاسبهٔ با روش رایج و چک کردن برابری درایه به درایهٔ آن با است. این روش، قطعی است و خطایی ندارد اما برای های بزرگ بسیار زمان‌بر است. بهترین الگوریتم قطعی ارائه شده برای این کار از مرتبهٔ زمانی است.[۱] الگوریتم فریوالد، به وسیلهٔ یک فرایند تصادفی، این مرتبهٔ زمانی را تا کاهش می‌دهد و در بار اجرای الگوریتم، احتمال خطای آن کم‌تر از است.

الگوریتم[ویرایش]

سه ماتریس ، و داریم. یک ماتریس تصادفی به نام متشکل از ۰ و ۱ تولید می‌کنیم. خروجی این الگوریتم برای «بله» و برای «خیر» خواهد بود.

فرایند[ویرایش]

  1. یک ماتریس تصادفی به نام متشکل از ۰ و ۱ تولید می‌کنیم.
  2. در صورت برقراری ، خروجی «بله» و در غیر اینصورت «خیر» خواهد بود.

مثال[ویرایش]

برای مثال سه ماتریس و و را در نظر بگیرید. می‌خواهیم را بررسی کنیم.

ماتریس تصادفی را در نظر می‌گیریم؛ بنابراین:

بنابراین طبق روابط بالا و خروجی الگوریتم «بله» خواهد بود. اگر ماتریس تصادفی را در نظر می‌گرفتیم، آنگاه:

که در این حالت و خروجی الگوریتم «نه» خواهد بود. در این مثال، کل حالات برای ماتریس چهار حالت است که در نصف حالات ( و ) خروجی الگوریتم «بله» و برای دو حالت دیگر خروجی «نه» خواهد بود؛ بنابراین در یک بار اجرای الگوریتم، به احتمال خروجی الگوریتم «بله» خواهد بود که خروجی اشتباهی است. حال در صورتی که این الگوریتم را بار اجرا کنیم، اگر تنها یک بار خروجی الگوریتم «نه» باشد، نشان می‌دهد که . بنابراین به احتمال هر خروجی الگوریتم «بله» خواهد بود و پاسخی اشتباه می‌دهد که با زیاد کردن این احتمال خطا بسیار اندک می‌شود.

تحلیل خطا[ویرایش]

فرض کنید احتمال خطا در این الگوریتم باشد. ما اثبات می‌کنیم اگر ، و اگر ، .

در حالتی که

در این حالت مستقل از مقدار درایه‌های ، همیشه رابطه فوق برقرار است بنابراین:

یعنی احتمال خطا در این حالت صفر است.

در حالتی که

فرض کنید

که .

جون ، پس درایه‌ای از ماتریس وجود دارد که صفر نیست. فرض می‌کنیم . بنابراین طبق تعریف ضرب ماتریس‌ها داریم:

که مقداری ثابت است. طبق قضیه بیز داریم:

داریم:

بنابراین با جایگذاری دو رابطه بالا در معادله داریم:

بنابراین:

در نتیجه اثبات شد در این حالت احتمال اینکه الگوریتم خروجی اشتباه بدهد کوچک‌تر یا مساوی است.

جمع‌بندی[ویرایش]

مرتبه‌زمانی اجرای الگوریتم احتمالاتی فریوالد از است در صورتی که بهترین الگوریتم قطعی معرفی شده برای این کار از مرتبهٔ زمانی است. با توجه به اثبات ارائه شده، احتمال خطای الگوریتم فریوالد در هر بار اجرا کم‌تر یا مساوی است که با بار اجرای الگوریتم می‌توان به کران بالای برای خطا رسید که برای های بزرگ مقداری ناچیز و قابل قبول است.

مقایسهٔ جالب[ویرایش]

الگوریتم مرتب‌سازی سریع همیشه صحیح عمل می‌کند، اما با احتمال بسیار کم ممکن است کند اجرا شود.
الگوریتم فریوالد همیشه سریع است، اما با احتمال بسیار کم ممکن است پاسخ نادرست بدهد.

جستارهای وابسته[ویرایش]

پانویس[ویرایش]

  1. Virginia Vassilevska Williams. "Breaking the Coppersmith-Winograd barrier" (PDF).

منابع[ویرایش]