|
Журнал вычислительной математики и математической физики, 1987, том 27, номер 1, страницы 114–127
(Mi zvmmf3896)
|
|
|
|
Эта публикация цитируется в 13 научных статьях (всего в 13 статьях)
О сложности реализации некоторых процедур распознавания
Е. В. Дюкова Москва
Аннотация:
При реализации некоторых процедур распознавания комбинаторно-логического характера (тестовые алгоритмы, алгоритмы типа «Кора») возникает задача построения сокращенной дизъюнктивной нормальной формы булевой функции, заданной конъюнктивной нормальной формой. Предлагается подход к ее решению, позволяющий при определенных условиях сократить «перебор» в некотором смысле до минимального. Приводятся оценки, касающиеся числа и длины опорных множеств в алгоритмах типа «Кора». Описывается метод синтеза опорных множеств в алгоритмах типа «Кора», основанный на построении тестов.
Поступила в редакцию: 03.10.1985 Исправленный вариант: 13.05.1985
Образец цитирования:
Е. В. Дюкова, “О сложности реализации некоторых процедур распознавания”, Ж. вычисл. матем. и матем. физ., 27:1 (1987), 114–127; U.S.S.R. Comput. Math. Math. Phys., 27:1 (1987), 74–83
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf3896 https://www.mathnet.ru/rus/zvmmf/v27/i1/p114
|
|