Аннотация:
Рассматривается задача построения решений систем булевых уравнений, когда булевы функции непредставимы линейными формами от своих аргументов. Предлагается подход, позволяющий делать экономные умножения в процессе решения системы. Задача сводится к оптимизационной задаче о назначениях, которая затем решается с помощью метода синтеза паросочетания максимального веса для полного неориентированного графа.
Образец цитирования:
Ю. И. Журавлев, И. М. Платоненко, “Об экономном умножении булевых уравнений”, Ж. вычисл. матем. и матем. физ., 24:1 (1984), 164–166; U.S.S.R. Comput. Math. Math. Phys., 24:1 (1984), 105–107
В. Л. Береснев, А. А. Евдокимов, А. Д. Коршунов, П. С. Краснощеков, В. К. Леонтьев, О. Б. Лупанов, Ю. Н. Павловский, А. А. Сапоженко, Ю. А. Флеров, “Юрий Иванович Журавлёв (к 70-летию со дня рождения)”, Дискретн. анализ и исслед. опер., сер. 1, сер. 1, 12:1 (2005), 3–11
М. К. Керимов, “К семидесятилетию академика Юрия Ивановича Журавлёва”, Ж. вычисл. матем. и матем. физ., 45:6 (2005), 949–953; M. K. Kerimov, “On the 70th Birthday of Academician Yurii Ivanovich Zhuravlev”, Comput. Math. Math. Phys., 45:6 (2005), 913–917
Asai Asaithambi, Ventzeslav Valev, “Construction of all non-reducible descriptors”, Pattern Recognition, 37:9 (2004), 1817
В. И. Донской, “Задачи псевдобулевой оптимизации с дизъюнктивным ограничением”, Ж. вычисл. матем. и матем. физ., 34:3 (1994), 461–472; V. I. Donskoǐ, “Pseudo-Boolean optimization with a disjunctive constraint”, Comput. Math. Math. Phys., 34:3 (1994), 389–398
В. К. Леонтьев, Г. П. Тоноян, “Приближенные решения систем булевых уравнений”, Ж. вычисл. матем. и матем. физ., 33:9 (1993), 1383–1390; V. K. Leont'ev, G. P. Tonoyan, “Approximate solutions of systems of Boolean equations”, Comput. Math. Math. Phys., 33:9 (1993), 1221–1227
V. Valev, [1988 Proceedings] 9th International Conference on Pattern Recognition, 1988, 779