12
ฐานGröbnerใน TCS?
มีใครรู้บ้างเกี่ยวกับการใช้งานที่น่าสนใจของฐานGröbnerกับวิทยาการคอมพิวเตอร์เชิงทฤษฎี? ฐานGröbnerใช้เพื่อแก้สมการพหุนามหลายตัวแปรซึ่งเป็นปัญหาที่เกิดขึ้นโดยทั่วไป ฉันสงสัยว่าบางกรณีที่ใช้การได้ดีสามารถใช้เพื่อให้อัลกอริทึม / การสร้าง / การพิสูจน์ที่มีประสิทธิภาพใน TCS หรือพื้นที่ที่เกี่ยวข้องกับ TCS (combinatorics, coding ทฤษฎี)