پایه گروبنر یکی از ابزار های محاسبات قوی در زمینه جبر و هندسه جبری است که اولین بار در سال 1965 توسط بوخبرگرارائه شد.مفهوم پایه گروبنر برای ایده آل هایی از حلقه چندجمله ای ها تحت میدان k ‎را می توان به ‎-k ‎زیرجبر ها تعمیم داد. این نوع پایه ها را پایه ساگبی می نامند. ایده تعریف پایه ساگبی و استفاده از توانایی های محاسبه پایه گروبنر برای ایده آل های یک حلقه چند جمله ای ها روی یک میدان در سال 19...

در سال 19?? ، اولین الگوریتم برای محاسبه ی پایه گروبنر توسط بوخبرگر معرفی شد.از آنجا که نود درصد از زمان محاسبه ی پایه گروبنر صرف محاسبه ی کاهش به صفر می شود. در سال 2002 ، فوژر توانست الگوریتم جدیدf5 معرفی کند که اگر ورودی الگوریتم دنباله منظم باشدآنگاه الگوریتم f5 بدون هر کاهش به صفری پایه گروبنر رامحاسبه می کند.علاوه بر این فهم و درک الگوریتم f5 کمی مشکل است و بسیاری از سوال های حل نشدنی ر...

الگوریتم xl را مورد بررسی قرار میدهیم و همچنین الگوریتم f4 را بررسی میکنیم.سپس این دو را از نظر کارایی با هم مقایسه میکنیم و نتیجه گیری میکنیم.

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

در این پایان نامه به معرفی سیستم رمز aes در مقیاس های کوچک تر می پردازیم و با توجه به اینکه این مقیاس ها تمام ویژگی های aes را به ارث می برد، در پایان بستر مناسبی برای مقایسه روش های مختلف تحلیل رمز فراهم می کنیم. هم چنین با معرفی « پایه گروبنر » به عنوان ابزاری قدرتمند برای حل دستگاه معادلات، دریچه ای به دنیای رمزنگاری باز می نمائیم. در ادامه نیز با ورود به نمایش جبری این مقیاس ها و ساختن دس...

در طی سال های اخیر محاسبه ی پایه ی گروبنر پیشرفت قابل توجهی از لحاظ ساختمان داده، بهینه سازی اجرای الگوریتم ها، محک های مفید و همچنین الگوریتم ها ی جدید ی نظیر الگوریتم ها ی تغییر‎‎ پایه ی گروبنر ‎fglm‎‎‎‎‎‎‎‎‎‎‎ و ‎gw‎ و مشتقات الگوریتم های بو خبرگر و هیلبرت و فوجر داشته است. اما علیرغم استفاده از روش ها ی فوق هنوز از نظر نظری پیچیدگی الگوریتم محاسبه ی پایه ی گروبنر بهبود چندانی نیافته است. مث...

همچنین با استفاده از نتیجه های به دست آمده الگوریتم هایی برای امتحان یکتایی رنگ پذیری ارائه داده شد. به عنوان یک کاربرد، مثال نقضی را برای حدس ژو، مربوط به ‎3-‎رنگ پذیری یکتای گراف های بدون مثلث بررسی می کنیم ‎ایده ی اصلی این پایان نامه از مقاله ‎‎c‎. ‎hillar‎, ‎t‎. ‎windfeldt‎, ‎it algebraic characterization of uniquely vertex colorable graphs, ‎j‎. ‎combin‎. ‎theory ser‎. ‎b 98 (2008) 400...

مربع های لاتینی،می تواند بعنوان جدول های ضربی ازشبه گروه دیده شود،به طوری که ساختارهای غیرجابجایی واشتراک ناپذیر دارند،تعدادی ازمربع های لاتینی که یک ایزوتوپیسم ثابتی درگروه اتوتوپیسم شان دارند،درحال حاضر یک مساله بازاست،در این پایان نامه با به کار بردن پایه گروبنرالگوریتم ارائه می دهیم که تعداد مربع های لاتین وابسته به اتوتوپیسم ازمرتبه کوچکتر یا مساوی 7 را به دست می آورد.و همچنین توانستیم پای...

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

پایه های گروبنر اربرد فراوانی در ریاضی کاربردی-هندسه-مهندسی و فیزیک دارد و ما کاربرد پایه گروبنر در طراحی دست یک ربات که به کمک جبرهای کلیفرد فرمول بندی شده و منحنی های متساوری الفاصله از یک سهمی که در مکانیسم بادامک ماشین کاربرد دارد و بررسی منحنی های فرما و مکعب بزییر که در طراحی اجزا در مهندسی مکانیک برای ساخت اشکال پیچیده کاربرد دارد پرداختیم و نیز به یافتن روابط متقارن سازها در تابع شکل در...