12
Pangkalan Gröbner di TCS?
Adakah yang tahu aplikasi menarik dari basis Gröbner untuk ilmu komputer teoretis? Basis Gröbner digunakan untuk menyelesaikan persamaan polinomial multi-variate, masalah NP-hard secara umum. Saya bertanya-tanya apakah beberapa case khusus yang dapat ditelusuri digunakan untuk menyediakan algoritma / konstruksi / bukti yang efisien dalam area terkait TCS atau TCS (kombinatorik, …