Условно-мажорантные локальные алгоритмы с произвольной памятью для задач синтеза минимальных покрытий

Построен локальный алгоритм $A_{k,l}$ произвольного индекса $k$ и с произвольной величиной памяти $l$ для решения задачи построения минимальных покрытий и доказана мажорантность алгоритма $A_{k,l}$ относительно вспомогательных предикатов.