Impacto
Downloads
Downloads per month over past year
Román Calvo, Enrique (2020) Estudio de la endogamia de los circuitos booleanos. [Trabajo Fin de Grado]
Preview |
PDF
Creative Commons Attribution Non-commercial. 15MB |
Abstract
El objetivo de este trabajo consistió en desarrollar un experimento que permita analizar múltiples tipos de circuitos booleanos y las funciones que estos computan, de manera que podamos analizar las relaciones entre ambos conceptos.
En el primer capítulo, se expone una definición formal del concepto archiconocido de circuito booleano, se analiza el crecimiento doblemente exponencial del conjunto de circuitos con m bits de entrada y se dota de un orden total a dicho conjunto. En el segundo capítulo, se demuestran una serie de resultados sobre vectores con determinadas propiedades que nos permiten recorrer de manera eficiente el conjunto de circuitos booleanos que tienen determinada profundidad y anchura. Este algoritmo se ha implementado en C++ utilizando técnicas de programación concurrente y estructuras de datos adecuadas para garantizar la eficiencia del mismo.
A lo largo del tercer capítulo se exponen distintas métricas para medir la endogamia de los circuitos booleanos, así como intuiciones que justifican estas definiciones. Además, se incorpora un breve cuarto capítulo que versa sobre un tipo de gramática libre de contexto particular que genera funciones booleanas y su correspondencia con los circuitos booleanos.
Finalmente, este trabajo concluye con un quinto y último capítulo en el que se analizan los resultados obtenidos en este experimento y se exponen las conclusiones consecuentes.
Resumen (otros idiomas)
The aim of this project was to develop an experiment that allow us to analyze different kinds of boolean circuits and the functions they compute to study the relationship between both concepts. In the first chapter, a formal definition of boolean circuits is introduced, the double exponential growth of the set of circuits with m bits of input is analyzed and a total order in this set is defined. During the second chapter, some results about vectors of some kind are proved, which allow us to efficiently sweep the set of boolean circuits with fixed depth and width. This algorithm has been implemented in C++ using concurrent programming and adequate data structures to ensure its efficiency. During the third chapter, some metrics to measure the endogamy of boolean circuits are defined and some ideas beyond these definitions are added. In addition, there is a fourth brief chapter where the relationship between a special type of context-free grammar and its equivalence with our boolean circuits are discussed. To conclude, a final fifth chapter is added to analyse the results obtained in the experiment and the conclusions these results led us to.
| Item Type: | Trabajo Fin de Grado |
|---|---|
| Additional Information: | Trabajo de Fin de Grado en Ingeniería Informática y Matemáticas, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2019/2020 |
| Directors: | Directors Martí Oliet, Narciso Rodríguez Laguna, Ismael |
| Uncontrolled Keywords: | Complejidad de circuitos, Circuito booleano, Endogamia de un circuito, Función booleana, Índice de un circuito, P/poly, Propiedad del buen prefijo, Clase de complejidad, Algoritmo del índice, Correlación entre funciones y circuitos |
| Palabras clave (otros idiomas): | Circuit complexity, Boolean circuit, Endogamy of a circuit, Boolean function, Index of a circuit, P/poly, Good prefix property, Complexity class, Index algorithm, Correlation between functions and circuits |
| Subjects: | Sciences > Computer science |
| Título de Grado: | Doble Grado en Ingeniería Informática y Matemáticas |
| ID Code: | 61715 |
| Deposited On: | 07 Sep 2020 11:44 |
| Last Modified: | 07 Sep 2020 11:44 |
Origin of downloads
Repository Staff Only: item control page
