|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
О сложности проверки выполнимости дискретных функций, заданных полиномамидипломная работа (Бакалавр)
- Научный руководитель: Бухман А.В.
- Автор: Кравцов И.П.
- Тип: Бакалавр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2016
- Аннотация: В работе построена система эквивалетных преобразований обобщенных полиномов, зависящих от малого числа переменных. Данная система обладает свойством, что длина полинома уменьшается, после применения тождеств этой системы. Данное свойство позволяет эффективно решать вопрос о выполнимости поданного на вход полинома.
- Добавил в систему: Бухман Антон Владимирович