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

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

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


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




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

Дискретный анализ и исследование операций, 2013, том 20, выпуск 3, страницы 84–100 (Mi da734)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

О сложности проблемы выполнимости системы функциональных булевых уравнений

В. С. Фёдорова

Московский гос. университет им. М. В. Ломоносова, Ленинские горы, 119991 Москва, Россия
PDF полного текста (291 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Аннотация: Рассматриваются функциональные булевы уравнения и проблема распознавания выполнимости для них, которая состоит в следующем: существуют ли булевы функции, удовлетворяющие данному функциональному уравнению. Устанавливаются верхняя и нижняя оценки сложности проблемы выполнимости системы функциональных булевых уравнений, тем самым обосновывается невозможность ёе решения методом, который существенно проще непосредственного перебора. Библиогр. 10.
Ключевые слова: функциональное булево уравнение, выполнимость, сложность.
Статья поступила: 18.06.2012
Англоязычная версия:
Journal of Applied and Industrial Mathematics, 2013, Volume 7, Issue 3, Pages 344–354
DOI: https://doi.org/10.1134/S1990478913030071
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.71
Образец цитирования: В. С. Фёдорова, “О сложности проблемы выполнимости системы функциональных булевых уравнений”, Дискретн. анализ и исслед. опер., 20:3 (2013), 84–100; J. Appl. Industr. Math., 7:3 (2013), 344–354
Цитирование в формате AMSBIB
\RBibitem{Fed13}
\by В.~С.~Фёдорова
\paper О сложности проблемы выполнимости системы функциональных булевых уравнений
\jour Дискретн. анализ и исслед. опер.
\yr 2013
\vol 20
\issue 3
\pages 84--100
\mathnet{http://mi.mathnet.ru/da734}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3135746}
\transl
\jour J. Appl. Industr. Math.
\yr 2013
\vol 7
\issue 3
\pages 344--354
\crossref{https://doi.org/10.1134/S1990478913030071}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/da734
  • https://www.mathnet.ru/rus/da/v20/i3/p84
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Дискретный анализ и исследование операций
    Статистика просмотров:
    Страница аннотации:336
    PDF полного текста:98
    Список литературы:73
    Первая страница:7
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024