• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Применение методов машинного обучения для улучшения алгоритма F4 вычисления базиса Грёбнера

Зобнин А. И., Тихонова М. И.

Вычисление базиса Грёбнера полиномиального идеала является вычислительно сложной актуальной проблемой современной компьютерной алгебры. Для ее решения был предложен ряд алгоритмов, большинство из которых  опираются в своей работе на различные эвристики. В работе рассматривается вопрос о применимости машинного обучения для оптимизации работы одного из таких алгоритмов — алгоритма F4 — путем уменьшения числа итераций, необходимых для вычисления базиса Грёбнера, благодаря оптимальному выбору стратегии. Также производится ряд экспериментов, демонстрирующих эффективность применения одного из данных методов, известного как машина опорных векторов, для ускорения работы F4.

В книге

Под редакцией: С. А. Абрамов 2017.