Resumen de Computational complexity versus structural simplicity
ESTA TESIS ES UN ESTUDIO ESPECIALIZADO EN EL CAMPO DE LA TEORIA DE LA COMPLEJIDAD COMPUTACIONAL, SU NUCLEO ESTA FORMADO POR UNA SERIE DE RESULTADOS TECNICOS EN LOS QUE SE COMPARAN LAS NOCIONES DE COMPLEJIDAD Y ESTRUCTURA DE LOS CONJUNTOS A PARTIR DE DEMOSTRACIONES QUE UTILIZAN PROPIEDADES SOBRE GRAFOS, COMBINATORIA Y CONCEPTOS COMO AUTOREDUCIBILIDAD Y "SPARSENESS". EL OBJETIVO ES PROPORCIONAR UN MEJOR CONOCIMIENTO DE LAS PROPIEDADES ESTRUCTURALES Y DE ESTE MODO OBTENER CONSECUENCIAS INTERESANTES PARA CLASES Y CONJUNTOS USUALES.
ESTUDIAMOS BASICAMENTE TRES PROPIEDADES ESTRUCTURALES AUTOREDUCIBILIDAD, REDUCIBILIDAD A CONJUNTOS ESPARSOS, Y LA PROPIEDAD DE TENER UNA JERARQUIA DE PREGUNTAS ACOTADA. SE OBTIENEN RELACIONES ENTRE ESTAS PROPIEDADES Y DIVERSAS CLASIFICACIONES DE LA COMPLEJIDAD COMPUTACIONAL. EN ESPECIAL LAS CLASES P, NP Y OTRAS SUBCLASES DE LA CLASE ESPACE.
