اثباتی جدیدبرای درستی الگوریتم f5 (شبه f5)

پایان نامه
چکیده

حل دستگاه های چندجمله ای چندمتغیره توسط پایه گروبنر، از قسمت های اساسی جبر محاسباتی است که توسط بوخ برگر در سال ‎1965‎ با ارائه در تز دکترایش وارد عرصه علمی شد. طی چند سال اخیر‎‎ ‎الگوریتم های مختلفی برای محاسبه ی پایه گروبنر ارائه شد که یکی از قویترین و کاراترین الگوریتم های موجود، الگوریتم ‎f5‎ است. این الگوریتم با داشتن محک های قوی، از محاسبات غیر ضروری (با حذف زوج های غیر مفید) جلوگیری می کند. اما گونه ی اصلی آن برای درک و فهم کمی مشکل است. سان و وانگ دربا ارائه ی گونه ی جدیدی از الگوریتمf5‎این مفهوم را ساده کردند، به طوری که الگوریتم جدید معادل گونه اصلی آن نیز می باشد. سپس اثبات درستی آن را ارائه دادند. در این پایان نامه پس از ارائه ی الگوریتم‎f5b ‎،اثبات درستی آن که همچنین اثباتی برای درستی گونه ی اصلی الگوریتمf5‎است را مورد بررسی قرار می دهیم.

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده ریاضی و کامپیوتر

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023