Solucionador SAT polinómico Zhegalkin

By Jorge Fernandez

Los sistemas polin?micos son herramientas fundamentales en la soluci?n de problemas dif?ciles en ciencia e ingenier?a como la rob?tica, el razonamiento automatizado, la inteligencia artificial y el procesamiento de se?ales. Del mismo modo, desde los inicios de la era digital, las variables booleanas han sido la base de las operaciones inform?ticas. De ah? que la aplicaci?n de t?cnicas algebraicas comunes al ?lgebra booleana se utilice ahora como m?todo para resolver complejos sistemas de ecuaciones booleanas que antes s?lo se pretend?an resolver utilizando t?cnicas de l?gica booleana. El objetivo de este proyecto es demostrar que los polinomios de Zhegalkin (tambi?n conocidos como Forma Algebraica Normal - ANF) son una forma alternativa de representar funciones booleanas. Para probar la hip?tesis, se desarroll? un solucionador SAT de Zhegalkin (ZPSAT). Los resultados obtenidos tras las pruebas concluyeron que ZPSAT puede resolver una conjunci?n de ecuaciones XOR de forma eficiente en t?rminos de fiabilidad y tiempo de computaci?n. La heur?stica utilizada para construir ZPSAT se bas? principalmente en los conceptos utilizados por las f?rmulas de Horn y un m?todo de multiplicaci?n r?pida de dos polinomios ANF conocido como transformada de Mobius.

• Format: Paperback
• Language: English
• ISBN: 6206413713
• ISBN13: 9786206413714
• Release Date: August 2023
• Publisher: Our Knowledge Publishing
• Length: 52 Pages
• Weight: 0.20 lbs.
• Dimensions: 0.1" x 6.0" x 9.0"