مسئله ژوزفوس

مسئله ژوزفوس ( یا جایگشت ژوزفوس) یک مسئله نظری درعلوم کامپیوترو ریاضیات است. افرادی را در نظر بگیرید که دایره وار ایستاده‌اند و منتظر اعدام هستند. بعد از آنکه اولین نفر اعدام می‌شود، تعداد مشخصی از افراد رد شده و یک نفر دیگر اعدام می‌شود. سپس دوباره به همان تعداد افراد پرش شده و نفر بعد کشته می‌شود. این فرایند حذف، دور دایره ( که با برداشتن افراد کشته شده کوچک و کوچکتر می‌گردد)ادامه می یابد تا زمانی که تنها یک نفر باقی می‌ماند که آزاد می‌شود. مطلوب، یافتن جایگاهی در دایره اولیه است که شما با قرار گرفتن در آنجا نجات خواهید یافت.

تاریخچه

این مسئله منتسب به یوسفوس فلاویوس یک تاریخدان یهودی قرن اول میلادی است. آنگونه که داستان می‌گوید، او و ۴۰ سرباز همراه وی در یک غار زندانی شده‌اند که توسط رومی‌ها محاصره شده‌است. آن‌ها خودکشی را بر اسیر شدن ترجیح می‌دهند و تصمیم می‌گیرند که یک دایره را تشکیل داده و سه تا سه تا خود را بکشند. چون ژوزفوس نمی‌خواهد کشته شود، و می‌تواند مکان امن دور دایره را پیدا کند با یکی از همراهانش زنده می‌ماند و به رومی‌ها که آن‌ها را دستگیر می‌کنند، می پیوندد. (تنها جمله‌ای که ژوزفوس بعداً گفت این بود که با خوش شانسی یا به یاری لطف خدا او و فرد دیگری باقی‌ماندند و تسلیم رومی‌ها شدند)

راه حل

ما این مسئله را در حالتی حل می‌کنیم که افراد دوتا دوتا کشته شوند:.(برای حالت کلی تر یک راه حل نشان خواهیم داد). راه حل را به صورت روابط بازگشتی ارائه می‌دهیم. فرض کنید ، مکان نجات یابنده باشد در صورتی‌که تعداد اولیه افراد باشد و (). در اولین گردش دور دایره، تمام افراد با شماره زوج می‌میرند. در دومین چرخش، افراد جدید دوم کشته می‌شوند و در دور بعدی افراد جدید چهارم و الی آخر .

اگر تعداد افراد اولیه زوج باشد، آنگاه فردی که در دور دوم در مکان قرار گرفته‌است ابتدا در مکان بوده‌است. بنابراین فردی که در مکان قرار دارد، ابتدا در مکان بوده‌است. این ایده چنین رابطه بازگشتی را به ما می‌دهد:

اگر تعداد افراد اولیه فرد باشد، آنگاه فرد شماره یک در اولین دور کشته خواهد شد. دوباره در دور دوم، افراد زوج جدید کشته خواهند شد. و در دور بعدی افراد چهارم جدید. این ایده نیز به چینن رابطه‌ای بازگشتی ای منجر می‌گردد:

وقتی مقادیر و را جدول بندی کنیم چنین الگویی را مشاهده می‌کنیم:

12345678910111213141516
1131357135791113151

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

قضیه: اگر و ، آنگاه

اثبات: ما از استقرای ریاضی قوی روی n استفاده می‌کنیم. پایه n=۱ است که درست است. ما های فرد و زوج را جداگانه بررسی می نماییم. اگر زوج باشد، آنگاه ما و را انتخاب می‌کنیم به گونه‌ای که و . توجه داشته باشید که . داریم

که تساوی دوم از فرض استقرا به دست می‌آید.

حال اگر n فرد باشد ما و را به گونه‌ای انتخاب می‌کنیم که و . توجه داشته باشید که . داریم که تساوی دوم از فرض استقرا به دست می‌آید. و اثبات کامل می‌شود.
ظریف‌ترین شکل جواب نمایش دودویی n را دربرمی گیرد که توسط "آرمین شمس براق" دانشجوی دانشگاه مشهد پیشنهاد شده و مورد توجه طراحان الگوریتم برجسته دنیا قرار گرفته‌است : اگر را به صورت باینری بنویسیم و شماره فردی گه زنده می‌ماند را برابر بگیریم، و n را یک بیت شیفت دورانی دهیم به دست می‌آید.

پس از یک شیفت دورانی داریم:

ساده‌ترین راه برای حل کلی این مسئله استفاده از برنامه نویسی پویا است که به ما چنین رابطه بازگشتی ای را می‌دهد.

که بدیهی است وقتی که ببینیم چگونه عدد نجات یابنده عوض می‌شود وقتی که به تغییر می‌کند، چنین روشی از نظر پیچیدگی زمانی از است، اما برای کوچک و بزرگ روش دیگری وجود دارد. روش دوم هم از برنامه‌نویسی پویا استفاده می‌کند؛ اما از است.

انواع

بر اساس ریاضیات پیوسته ژوزفوس همدستی دارد. مسئله یافتن مکان‌های دو نجات یابنده است(نقشه باید نجات یافتن هردو را تضمین نماید)

ادبیات

گراهام گرین، دو رمان مرد دهم و دکتر فیشر ژنوی را بر اساس این مسئله ریاضی نگاشته است.

منابع

    ۱-توماس کرمن، چارلز لیزرسون، رونالد ریوست، کلیفورد استین، مقدمه‌ای بر الگوریتم ها، چاپ دوم، ۲۰۰۱، شابک ۰-۲۶۲-۰۳۲۹۳-۷، فصل ۱۴، بحثی در مورد ساختمان داده‌ها، صفحه ۱۱۸

    پیوند به بیرون

    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.