|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
О слабо положительных предикатах над конечным множеством
С. Н. Селезнева Московский государственный университет имени М.В. Ломоносова
Аннотация:
Рассматриваются предикаты над конечным множеством, которые сохраняет некоторая полурешеточная функция. Такие предикаты названы слабо положительными. Предложено представление таких предикатов в виде особых обобщенных конъюнктивных нормальных форм (ОКНФ). Найдены свойства ОКНФ этих предикатов. На основе полученных свойств предложены более быстрые полиномиальные алгоритмы решения задачи обобщенной выполнимости в случае, когда все исходные предикаты сохраняет некоторая полурешеточная функция.
Ключевые слова:
предикат над конечным множеством, функция над конечным множеством, полурешеточная функция, слабо положительный предикат, конъюнктивная нормальная форма, задача обобщенной выполнимости (выполнимости ограничений), полиномиальная задача.
Статья поступила: 04.01.2018
Образец цитирования:
С. Н. Селезнева, “О слабо положительных предикатах над конечным множеством”, Дискрет. матем., 30:3 (2018), 127–140; Discrete Math. Appl., 30:3 (2020), 203–213
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1494https://doi.org/10.4213/dm1494 https://www.mathnet.ru/rus/dm/v30/i3/p127
|
|