|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
О биюнктивных предикатах над конечным множеством
С. Н. Селезнева МГУ имени М.В. Ломоносова
Аннотация:
Рассматривается представление предикатов над конечным множеством в виде обобщенных конъюнктивных нормальных форм (ОКНФ). Найдены свойства ОКНФ предикатов, которые сохраняет некоторая функция большинства. Такие предикаты названы обобщенно биюнктивными. На основе полученных свойств предложены более быстрые полиномиальные алгоритмы решения задачи обобщенной выполнимости в случае, когда сохраняет все исходные предикаты некоторая функция большинства.
Ключевые слова:
предикат над конечным множеством, функция над конечным множеством, функция большинства (мажоритантная функция), биюнктивный предикат, конъюнктивная нормальная форма, задача обобщенной выполнимости (удовлетворения ограничений), полиномиальная задача.
Статья поступила: 10.10.2017 Переработанный вариант поступил: 16.11.2017
Образец цитирования:
С. Н. Селезнева, “О биюнктивных предикатах над конечным множеством”, Дискрет. матем., 29:4 (2017), 130–142; Discrete Math. Appl., 29:1 (2019), 49–58
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1474https://doi.org/10.4213/dm1474 https://www.mathnet.ru/rus/dm/v29/i4/p130
|
Статистика просмотров: |
Страница аннотации: | 386 | PDF полного текста: | 61 | Список литературы: | 55 | Первая страница: | 24 |
|