مسئله ۱۰۰ زندانی

۱۰۰ عدد زندانی موجودند که شماره‌های ۱ تا ۱۰۰ دارند و ۱۰۰ تا کشو وجود دارد که درون هر کدام یکی از اعداد ۱ نا ۱۰۰ وجود دارد هر زندانی می‌تواند بدون اینکه با دیگر زندانی‌ها صحبت کند ۵۰ تا از این کشوها را باز کند. در صورتی جان سالم به در می‌برند که همه زندانی‌ها شماره‌های خود را پیدا کرده باشند (اگر حتی یک نفر شماره خود را پیدا نکند همه زندانی خواهند ماند). دانشمندی دانمارکی به نام پیتر برو میلترسون برای اولین بار در سال ۲۰۰۳ استراتژی ای برای این مسئله ارائه کردند که شانس خوبی برای نجات یافتن همهٔ زندانی‌ها باشد.

رندوم برداشتن کشوها

اگر یک زندانی ۵۰ کشو را با هم به صورت رندوم انتخاب کند به احتمال ۵۰٪ عددش در ۵۰ کشویی است که انتخاب کرده در نتیجه احتمال اینکه همه نجات یابند برابر است با:
(½)¹⁰⁰ ≈ 0.0000000000000000000000000000008

استراتژی اصلی

در این استراتژی ما ۵۰ کشو را با هم انتخاب نمی‌کنیم و از اطلاعات ای که با باز کردن کشو به دست می‌آوریم استفاده می‌کنیم.
اول کشوها را به ترتیب ۱ تا ۱۰۰ شماره‌گذاری می‌کنیم.

سپس زندانی شمارهٔ i ام کشوی شمارهٔ i ام را اول باز می‌کند اگر عدد درون آن i بود پس او نجات یافته‌است.
اگر نه کشوای که شمارهٔ ان برابر با شمارهٔ درون کشو است را باز می‌کنیم.

این عملیات را تا زمانی که ۵۰ کشو را انتخاب کرده باشید ادامه می‌دهد اگر در حین عملیات به i برسد زندانی نجات می‌یابد.

احتمال نجات یافتن همه

اعداد درون این کشوها در واقع جایگشتی از اعداد ۱ تا ۱۰۰ است. در نتیجه عدد اولی که زندانی i انتخاب می‌کند راس متصل به i در گراف جایگشت ان جایگشت است پس اگر دوری که راس i ام در ان است کوچکتر از ۵۰ باشد زندانی نجات می‌یابد.

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

اثبات

اگر  و l راس از رئوس گراف را انتخاب کنیم طول بزرگترین دور گراف برابر l خواهد بود چون تعداد بقیهٔ رأس‌ها از ۵۰ کمتر است
حال l تا از رأس‌ها را انتخاب می‌کنیم  تا از گراف‌ها از l راسی که انتخاب کردیم تشکیل یک دور می‌دهند  راس باقی‌مانده هم تشکیل یک گراف می‌دهند پس  حالت برای بقیهٔ رأس‌ها موجود است.
احتمال اینکه ماکسیمم دور بزرگتر از ۵۰ باشد برابر است با

در نتیجه احتمال اینکه ماکسیمم دور کمتر مساوی ۱۰۰ باشد برابر است با
،
که در ان  عدد n ام سری هارمونیک است.
پس دیدم به طرز شگفت‌آوری در ۳۱٪ مواقع همهٔ زندانی‌ها با این استراتژی نجات می‌یابند.

بهینگی

ما بهینگی روش گفته شده را برای سادگی برای . ثابت می‌کنیم و به ازای nهای دیگر اثبات مشابه دارد.

اول یک بازی جدید به نام بازی ۲ را این‌گونه تعریف می‌کنیم نفر اول می آید و آنقدر کشو باز می‌کند تا به شمارهٔ ۱ برسد بعد فردی که کوچک‌ترین شماره‌ای که نفر اول برنداشته را دارد می آید و همین کار را می‌کند و این روند ادامه پیدا می‌کند. حالا اگر یک نفر بیش از ۵ کشو باز کند بازی را باخته‌ایم.

حالا وقتی تمام ۱۰ کشو باز شد ۱۰ عدد انتخاب شده تشکیل یک جایگشت از اعداد ۱ تا ۱۰ می‌دهند مثلاً ۲٬۶٬۱٬۴٬۹٬۷٬۱۰٬۸٬۳٬۵ حالا احتمال اینکه نفر اول کشوی شامل ۲ را انتخاب کند برابر است با  و همین‌طور احتمال اینکه بعد آن ۱۰ را انتخاب کند برابر است با  در نتیجه احتمال اینکه هر جایگشت دلخواه انتخاب شود برابر  است. در نتیجه پیروزی در بازی دوم مستقل از استراتژی است

حال همهٔ اعدادی که یک نفر انتخاب کرده را در یک دسته قرار می‌دهیم برای مثال ارائه شده در بالا این‌گونه می‌شود: (۵)(۴٬۹٬۷٬۱۰٬۸٬۳)(۲٬۶٬۱) حال اثبات می‌کنیم هر دسته‌بندی این شکلی را می‌توان با دورهای یک گراف جایگشت تناظر یک به یک داد. اثبات: دورهای یک گراف جایگشت را در نظر گیرید اعداد هر دور را طوری بچرخانید که عدد مینیمم آخر قرار گیرد و دورها را به ترتیب مینیمم‌هایشان مرتب کنید این معادل یک دسته‌بندی از بازی ۲ می‌شود

مثال: (۲٬۴٬۶)(۱٬۳٬۱۰٬۵)(۹٬۷٬۸) -> (۸٬۹٬۷)(۴٬۶٬۲)(۳٬۱۰٬۵٬۱) = ۷ ۹ ۸ ۲ ۶ ۴ ۱ ۵ ۱۰ ۳

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

حال یک استراتژی در بازی اول (همان استراتژی اصلی) را در نظر بگیرید هر کاری که یک زندانی در این استراتژی انجام می‌دهد می‌تواند در بازی دوم انجام دهد و اگر نفری قبل از او یک کشو را باز کرده بود دیگر لازم نیست باز کند در هر استراتژی ای که با آن بازی اول را بتوان برد بازی دوم هم می‌توان برد.

در نتیجه احتمال اینکه به ازای هر استرتژی بتوان بازی اول را برد کمتر از احتمال بردن بازی دوم است (که مستقل از استراتژی است) در نتیجه استراتژی ای که ارائه کردیم بهترین استراتژی است.