Rodríguez Laguna, IsmaelCelaya Rodríguez, Joseba2025-10-162025-10-162025https://hdl.handle.net/20.500.14352/125022Trabajo de Fin de Máster en Métodos Formales en Ingeniería Informática, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2024/2025. El trabajo realizado se puede consulta en la siguiente dirección: https://github.com/blcksy/ bca.Circuit complexity, a branch of computational complexity theory, has seen limited progress in establishing lower bounds for the minimum size of circuits that solve NP-complete problems. Existing bounds primarily apply to restricted families of circuits, such as constant-depth or monotone circuits. Identifying an NP problem that requires superpolynomial-size circuits would imply that P ̸= NP, highlighting the difficulty of this challenge. In this work, we propose metrics for analyzing Boolean functions and the circuits that implement them. We apply these metrics to complete sets of minimum-size circuits, with the aim of studying their structure and understanding what makes a function require large circuits.La complejidad de circuitos, una rama de la teoría de la complejidad computacional, ha mostrado avances limitados en la obtención de cotas inferiores para el tamaño mínimo de circuitos que resuelven problemas NP-completos. Las cotas existentes se aplican principalmente a familias restringidas de circuitos, como los circuitos de profundidad constante o monótonos. Identificar un problema NP que requiera circuitos de tamaño superpolinómico implicaría que P ̸= NP, subrayando la dificultad de este desafío. En este trabajo proponemos métricas para el análisis de funciones booleanas y los circuitos que las implementan. Aplicamos estas métricas a conjuntos completos de circuitos de tamaño mínimo, con el objetivo de analizar su estructura.engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/master thesishttps://github.com/blcksy/ bcaopen access004(043.3)Circuit complexityBoolean functionsMinimal circuitsGraph analysisEndogamyComplejidad de circuitosFunciones booleanasCircuitos míınimosAnálisis de grafosEndogamiaInformática (Informática)33 Ciencias Tecnológicas