Método de transformación para resolver sistemas de ecuaciones algebraicas booleanas
Autores: Barotov, Dostonjon; Osipov, Aleksey; Korchagin, Sergey; Pleshakova, Ekaterina; Muzafarov, Dilshod; Barotov, Ruziboy; Serdechnyy, Denis
Idioma: Inglés
Editor: MDPI
Año: 2021
Acceso abierto
Artículo científico
2021
Método de transformación para resolver sistemas de ecuaciones algebraicas booleanas
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Métodos de resolución de ecuaciones booleanas algebraicas
Transformación
Métodos de optimización
Investigación
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 42
Citaciones: Sin citaciones
En los últimos años, se han inventado varios métodos y direcciones para resolver un sistema de ecuaciones algebraicas booleanas, y ahora están siendo investigados de forma muy activa. Uno de estos enfoques es el método de transformar un sistema de ecuaciones algebraicas booleanas, dado sobre un anillo de polinomios booleanos, en sistemas de ecuaciones sobre un campo de números reales, y varios métodos de optimización pueden aplicarse a estos sistemas. En este documento, proponemos un nuevo método de transformación para Resolver Sistemas de Ecuaciones Algebraicas Booleanas (SBAE). La esencia del método propuesto es que, en primer lugar, las SBAE escritas con operaciones lógicas se transforman (aproximan) en un sistema de ecuaciones armónico-polinómicas en el cubo unidimensional con las operaciones habituales de suma y multiplicación de números. En segundo lugar, un sistema transformado (aproximado) se resuelve utilizando el método de optimización. Hemos fundamentado la corrección y el derecho a existir del método propuesto con pruebas fiables. Basándonos en este trabajo, se esbozan planes para investigaciones futuras para mejorar el método propuesto.
Descripción
En los últimos años, se han inventado varios métodos y direcciones para resolver un sistema de ecuaciones algebraicas booleanas, y ahora están siendo investigados de forma muy activa. Uno de estos enfoques es el método de transformar un sistema de ecuaciones algebraicas booleanas, dado sobre un anillo de polinomios booleanos, en sistemas de ecuaciones sobre un campo de números reales, y varios métodos de optimización pueden aplicarse a estos sistemas. En este documento, proponemos un nuevo método de transformación para Resolver Sistemas de Ecuaciones Algebraicas Booleanas (SBAE). La esencia del método propuesto es que, en primer lugar, las SBAE escritas con operaciones lógicas se transforman (aproximan) en un sistema de ecuaciones armónico-polinómicas en el cubo unidimensional con las operaciones habituales de suma y multiplicación de números. En segundo lugar, un sistema transformado (aproximado) se resuelve utilizando el método de optimización. Hemos fundamentado la corrección y el derecho a existir del método propuesto con pruebas fiables. Basándonos en este trabajo, se esbozan planes para investigaciones futuras para mejorar el método propuesto.