12
Основи Грьобнера в TCS?
Хтось знає про цікаве застосування баз Грьобнера в теоретичній інформатиці? Основи Грьобнера використовуються для розв’язання багатозмінних поліноміальних рівнянь, що є загальним завданням NP. Мені було цікаво, чи використовувались якісь спеціальні випадки, що забезпечують ефективні алгоритми / конструкції / докази в сферах TCS або TCS (комбінаторика, теорія кодування).