مقایسه دو الگوریتم جدید جهت محاسبه پایه گروبنر پارامتریک

در سال 1992 برای اولین بار مفهوم پایه گروبنر پارامتریک توسط ولکر ویزفنینگ معرفی و الگوریتمی برای محاسبه ی آن ارایه شد [2]. در سال های اخیر الگوریتم فوق توسط محققین بسیاری بهبود بخشیده شد که تمامی آنها به محاسبه های s- چند جمله ای و کاهش دادن جملات پیشرو توسط چند جمله ای هایی که ضرایب شان پارامتری است، نیاز داشتند. در بعضی از مواقع شرایطی که توسط این محاسبه ها روی پارامترها گذاشته می شود، بسیار پیچیده است، لذا اجرای این الگوریتم ها روی کامپیوتر با مشکلاتی روبه رو می شود. از این رو در این مقاله به بررسی دو الگوریتم KSW و SS از لحاظ تعداد شاخه ها و پیچیدگی کمتر می پردازیم.

کلیدواژه ها:

الگوریتم ، پایه گروبنر پارامتریک ، ایده آل ، ترتیب تک جمله ای