Математическое моделирование
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Матем. моделирование:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Математическое моделирование, 2015, том 27, номер 7, страницы 25–30 (Mi mm3618)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

О сложности нахождения корней булевых матричных полиномов

Ф. Б. Буртыка

Южный федеральный университет, Ростов-на-Дону
PDF полного текста (259 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Аннотация: Рассматриваются вопросы нахождения корней булевых матричных полиномов, а также оценки количества этих корней. Предложен метод нахождения корней булевых матричных полиномов с помощью сведения к решению системы булевых алгебраических уравнений и далее — к экземпляру задачи «Выполнимость». Проведено сравнение различных способов нахождения корней приведенных булевых матричных полиномов. Приведены результаты компьютерных экспериментов.
Ключевые слова: матричные полиномы, булевы полиномы, булев базис Грёбнера, система алгебраических булевых уравнений, SAT-решатель.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 15-07-00597-a
13-01-00668-a
Работа выполнена при финансовой поддержке грантов РФФИ 15-07-00597-a и 13-01-00668-a.
Поступила в редакцию: 30.03.2015
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.5+519.61+004.021
Образец цитирования: Ф. Б. Буртыка, “О сложности нахождения корней булевых матричных полиномов”, Матем. моделирование, 27:7 (2015), 25–30
Цитирование в формате AMSBIB
\RBibitem{Bur15}
\by Ф.~Б.~Буртыка
\paper О сложности нахождения корней булевых матричных полиномов
\jour Матем. моделирование
\yr 2015
\vol 27
\issue 7
\pages 25--30
\mathnet{http://mi.mathnet.ru/mm3618}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3545722}
\elib{https://elibrary.ru/item.asp?id=24850043}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mm3618
  • https://www.mathnet.ru/rus/mm/v27/i7/p25
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математическое моделирование
    Статистика просмотров:
    Страница аннотации:358
    PDF полного текста:129
    Список литературы:64
    Первая страница:14
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024