کلمه جو
صفحه اصلی

نیم بر

لغت نامه دهخدا

نیم بر. [ ب َ ] ( اِ مرکب ) نام فنی است در کشتی گیری. ( از آنندراج ) ( از غیاث اللغات ) :
تلخ و تند است ز چشمت نظری می خواهد
آسمان از نگهت نیم بری می خواهد.
میرنجات ( از آنندراج ).
|| ( ص مرکب ) نیم ور. کج شده و به یک پهلو افتاده. رجوع به نیم ور شود.

دانشنامه عمومی

نیمبر (به انگلیسی: Nimber) یا عدد گراندی روشی برای مدل کردن بازی های ترکیبیاتی است.این روش اولین بار توسط مایکل گراندی پیشنهاد شد.قضیه اسپراگ-گراندی تضمین می کند که هر بازی منصفانه معادل یک کپه با اندازه مشخص در بازی نیم است که آن را نیمبر می نامیم.
نیم (بازی)
قضیه اسپراگ-گراندی
نیمبرها اعداد ترتیبی با ضرب و جمع مخصوص به خود هستند که از خواص عملگر کمینه ناموجود(mex) نیز پشتیبانی می کند.
مقدار کمینه ناموجود(mex) یک مجموعه دلخواه S {\displaystyle S}   از اعداد ترتیبی برابر است با کوچکترین عددی که در مجموعه ظاهر نمی شود. این عملگر در تعریف ضرب و جمع برای نیمبرها سودمند خواهد بود.
جمع روی نیمبرها به صورت بازگشتی و با استفاده از قاعده زیر تعریف می شود.


کلمات دیگر: