Аннотация:
В работе рассматривается комбинированный метод решения систем полиномиальных булевых уравнений, основанный на опробовании части переменных и отбрасывания части значений опробуемых переменных на основе критерия мономиальной совместимости. Рассчитана трудоемкость метода для некоторых значений параметров систем булевых уравнений.
Образец цитирования:
А. С. Мелузов, “Построение эффективных алгоритмов решения систем полиномиальных булевых уравнений методом опробования части переменных”, Дискрет. матем., 23:4 (2011), 66–79; Discrete Math. Appl., 21:3 (2011), 381–395
В. М. Фомичёв, “О сложности метода последовательного опробования”, Дискретн. анализ и исслед. опер., 31:2 (2024), 144–154; V. M. Fomichev, “On the complexity of the sequential sampling method”, J. Appl. Industr. Math., 18:2 (2024), 227–233