Impacto
Downloads
Downloads per month over past year
Rubio Madrigal, Celia (2022) Análisis de una red neuronal para la identificación de funciones booleanas complejas. [Trabajo Fin de Grado]
Preview |
PDF
Creative Commons Attribution Non-commercial. 4MB |
Abstract
El objetivo de este trabajo es proponer una posible estrategia a largo plazo para abordar el problema P vs. NP, basado en estudiar la clase P/poly y la complejidad de circuitos booleanos. La principal peculiaridad de nuestra estrategia es que tratará de llevarnos al conocimiento teórico a través de una vía empírica. Emplearemos para ello redes neuronales, y analizaremos tanto su estructura como su rendimiento. Con el conocimiento que ganemos podremos confirmar, sustentar o desmentir nuestras hipótesis teóricas, o incluso formular hipótesis nuevas.
Por un lado, formalizaremos nociones relacionadas con la repetitividad de funciones booleanas, y definiremos métricas asociadas a ellas bajo la suposición de que las funciones más sencillas son más repetitivas. Por otro, trataremos de encontrar patrones en los pesos de una red neuronal entrenada con las tablas de verdad de algunas funciones booleanas, a las que clasifica según el tamaño del circuito mínimo que las computa. Por último, analizaremos cómo se comportan los patrones identificados y las métricas de repetitividad como clasificadores frente a la tablas de verdad mediante el entrenamiento de más redes neuronales.
Resumen (otros idiomas)
The goal of this work is to propose a possible long-term strategy to address the P vs. NP problem, based on studying class P/poly and Boolean circuit complexity. The main peculiarity of our strategy is that it will try to attain theoretical knowledge though empirical means. To do this we will use neural networks, and we will analyze both their structure and their performance. With the knowledge obtained we can either confirm, support or refute our theoretical hypotheses; or even formulate new ones. On the one hand, we will formalize notions related to the repetitiveness of Boolean functions, and we will define metrics associated with them under the assumption that simpler functions are more repetitive. On the other hand, we will try to find patterns in the weights of a neural network trained with the truth tables of some Boolean functions, which classifies them according to the size of the minimum circuit that computes them. Finally, by training more neural networks, we will analyze how the identified patterns and repeatability metrics behave as classifiers when put against truth tables.
| Item Type: | Trabajo Fin de Grado |
|---|---|
| Additional Information: | Trabajo de Fin de Doble Grado en Ingeniería Informática y Matemáticas, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2021/2022 |
| Directors: | Directors Loscos Barroso, Daniel Rodríguez Laguna, Ismael |
| Uncontrolled Keywords: | Complejidad booleana, P vs. NP, Clase P/poly, Complejidad de circuitos, Métricas de repetitividad, Diagramas de Decisión Binarios (ddb), Redes neuronales y perceptrones multicapa (pml), Análisis de pesos, Inteligencia Artificial (ia), Explicabilidad (xia). |
| Palabras clave (otros idiomas): | Boolean complexity, P vs. NP, P/poly class, Circuit complexity, Repeatability metrics, Binary Decision Diagrams (bdd), Neural networks and multi-layer perceptrons (mlp), Weights analysis, Artificial Intelligence (ai), Explainability (xai). |
| Subjects: | Sciences > Computer science |
| Título de Grado: | Doble Grado en Ingeniería Informática y Matemáticas |
| ID Code: | 74403 |
| Deposited On: | 12 Sep 2022 15:06 |
| Last Modified: | 12 Sep 2022 15:06 |
Origin of downloads
Repository Staff Only: item control page
