(۰۳ اسفند ۱۳۹۲ ۰۳:۳۳ ق.ظ)f.alireza نوشته شده توسط: راجع به سوال ۵۶ باید بگم اون an b2n an معمولی نیست , همورفیسم و تعداد b ها قابل نصف کردن به صورت غیر قطعی است یعنی ما an هارو تو پشته میریزیم و به بعد به تعداد bn ازش برمیداریم تا به صورت غیر قطعی به نصفه دوم میریم اگه پشته خالی بود قسمت دوم bn an رو چک میکنیم.
حالا اگه بازم اشتباه میکنم بگین؟
اولاً براش اگه می تونی گرامر بنویس
دوماً معمولی و غیر معمولی نداریم، anb2nan یا cf هست یا نیست
سوماً براحتی با لم تزریق اثبات میشه که نیست
چهارماً اشکال و غلط چیزی که گفتی این است که نمی تونیم بصورت رندم یک جایی این کار رو کنیم، چون وقتی مثلاً ۱۰ تا a خوندیم، ۱۰ تا b باید با اونا چک شه. رندم چی بید؟ و وقتی که چک شد ، دیگه پشته خالی بید و نمی دونیم که تعدادشون ۱۰ تا بوده که برای b ها و a های قسمت دوم هم ۱۰ تا بخونیم.
پنجماً این جور که میگی رشته anbncn هم cf است. چون یک جا بین bها بصورت رندم شروع می کنیم b ها رو با قسمت قبلش چک می کنیم و c ها هم با aها چک می کنیم.
ششماً افتاد؟؟؟؟؟؟؟؟؟؟؟؟؟!!!!!!
هفتماً برو بخواب، فردا راجع بش فک کن.