Sobre grafos clique críticos

Autores
Ravenna, Gabriela Susana
Año de publicación
2019
Idioma
español castellano
Tipo de recurso
tesis doctoral
Estado
versión aceptada
Colaborador/a o director/a de tesis
Alcón, Liliana
Descripción
Se llama completo de un grafo a un conjunto de vértices adyacentes entre si; si un completo es maximal con respecto a la inclusión, se dice que es un clique del grafo. Los cliques son estructuras especiales que naturalmente han despertado interés desde el mismo inicio de la Teoría de Grafos. Varios problemas famosos, como por ejemplo el problema de coloración de un grafo, o el problema de satisfabilidad de una fórmula lógica, se han vinculado y formulado en términos de los cliques de un grafo. Por otro lado, existe una gama de problemas motivados en el propio estudio de los cliques de un grafo. Particularmente haremos foco en el estudio del grafo que muestra la relación de intersección entre los cliques: el grafo clique. Dado un grafo H obtenemos el grafo clique de él, (notado K(H)) considerando un vértice por cada clique de H y haciendo dos vértices adyacentes si los correspondientes cliques tienen intersección no vacía. A H se lo llama generador del grafo K(H). ¿Todo grafo es el grafo clique de algún grafo? El artículo de más vieja data en el que se considera esta pregunta es el de Hamelink donde se muestra que no todo grafo es grafo clique, y se da una condición suficiente para que un grafo sea grafo clique: que la familia de sus cliques tenga la propiedad de Helly (toda subfamilia mutuamente intersectante tiene intersección no vacía). A los grafos que satisfacen esta condición les llamaremos grafos clique Helly. Posteriormente Roberts y Spencer, continuando con las ideas de Hamelink, encuentran una condición necesaria y suficiente para que un grafo sea grafo clique: que exista una familia de completos (no necesariamente los cliques) que cubra las aristas del grafo y que tenga la propiedad de Helly. A tales familias las llamaremos familias RS. El problema de determinar la complejidad del reconocimiento de los grafos clique permaneció abierto por más de treinta años, surgiendo en tanto, varias publicaciones al respecto. Se ha probado que tal problema de reconocimiento es NP-completo; y que permanece siendo NP-completo aún restringido a la clase de los grafos split. Siguiendo esta línea de trabajo, se ha desarrollado un algoritmo no polinomial para decidir si un grafo es grafo clique o no; y se ha probado que el problema de reconocimiento de los grafos clique puede reducirse al estudio de los grafos de diámetro 2. Se ha presentado una forma de obtener, a partir de una familia RS de un grafo G, otro grafo tal que su grafo clique sea G. ¿Cuántos generadores tiene un grafo clique? La operación de agregar un vértice v a un grafo H y hacerlo adyacente a todos los vértices de un clique de H nos devuelve un nuevo grafo que tiene la misma imagen que H por K. Se puede concluir que si G es un grafo clique entonces hay infinitos grafos que generan G. Esto motiva la definición de generador crítico, que es un generador minimal respecto a la cantidad de vértices; es decir, H es generador crítico de G si K(H) = G y K(H-v) es distinto de G para todo v perteneciente a H. Es bien conocido que la cantidad de generadores críticos de un grafo clique es finita. ¿Cuáles son aquellos grafos que tienen un único generador critico? Esta pregunta es formulada por primera vez por Escalante, posteriormente fue considerada por los autores Chong-Kean y Yee-Hock. El problema de caracterizar los grafos clique con un único generador crítico permanece abierto. ¿Cuáles son aquellos que generan un completo? Encontramos en la literatura el trabajo de Lucchesi, Picinin de Mello y Szwarcfiter donde se describen los generadores críticos de un completo satisfaciendo tales que no tienen vértice universal y son minimales en el sentido de que no contienen un subgrafo inducido sin vértice universal que genere un completo. Dado un entero positivo p, ¿cuáles son los grafos H tales que K(H) tiene un completo de tamaño p, pero K(H-v) no tiene un completo de tamaño p cualquiera sea el vértice v? En otras palabras, ¿cuáles son los subgrafos prohibidos minimales para la familia K^{-1}(K_p-libre)? Protti y Szwarcfiter estudiaron este problema y describieron mediante subgrafos prohibidos minimales las clases K^{-1}(K_3-libre) y K^{-1}(K_4-libre). Dado un grafo G clique Helly, ¿existe un vértice v en G tal que G-v es también clique Helly? Dourado, Protti y Szwarcfiter se hicieron esta pregunta y conjeturaron que la respuesta era positiva, es decir, todo grafo clique Helly contiene un vértice tal que al removerlo se obtiene nuevamente un grafo clique Helly. A lo largo de la tesis analizamos cada una de estas cuestiones y aportamos resultados originales sobre ellas
Doctor en Ciencias Exactas, área Matemática
Universidad Nacional de La Plata
Facultad de Ciencias Exactas
Consejo Nacional de Investigaciones Científicas y Técnicas
Materia
Ciencias Exactas
Matemática
Teoría de grafos
Operador clique
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-nd/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/88683

id SEDICI_a311e3b88364066b8b2dc819083af326
oai_identifier_str oai:sedici.unlp.edu.ar:10915/88683
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Sobre grafos clique críticosRavenna, Gabriela SusanaCiencias ExactasMatemáticaTeoría de grafosOperador cliqueSe llama completo de un grafo a un conjunto de vértices adyacentes entre si; si un completo es maximal con respecto a la inclusión, se dice que es un clique del grafo. Los cliques son estructuras especiales que naturalmente han despertado interés desde el mismo inicio de la Teoría de Grafos. Varios problemas famosos, como por ejemplo el problema de coloración de un grafo, o el problema de satisfabilidad de una fórmula lógica, se han vinculado y formulado en términos de los cliques de un grafo. Por otro lado, existe una gama de problemas motivados en el propio estudio de los cliques de un grafo. Particularmente haremos foco en el estudio del grafo que muestra la relación de intersección entre los cliques: el grafo clique. Dado un grafo H obtenemos el grafo clique de él, (notado K(H)) considerando un vértice por cada clique de H y haciendo dos vértices adyacentes si los correspondientes cliques tienen intersección no vacía. A H se lo llama generador del grafo K(H). ¿Todo grafo es el grafo clique de algún grafo? El artículo de más vieja data en el que se considera esta pregunta es el de Hamelink donde se muestra que no todo grafo es grafo clique, y se da una condición suficiente para que un grafo sea grafo clique: que la familia de sus cliques tenga la propiedad de Helly (toda subfamilia mutuamente intersectante tiene intersección no vacía). A los grafos que satisfacen esta condición les llamaremos grafos clique Helly. Posteriormente Roberts y Spencer, continuando con las ideas de Hamelink, encuentran una condición necesaria y suficiente para que un grafo sea grafo clique: que exista una familia de completos (no necesariamente los cliques) que cubra las aristas del grafo y que tenga la propiedad de Helly. A tales familias las llamaremos familias RS. El problema de determinar la complejidad del reconocimiento de los grafos clique permaneció abierto por más de treinta años, surgiendo en tanto, varias publicaciones al respecto. Se ha probado que tal problema de reconocimiento es NP-completo; y que permanece siendo NP-completo aún restringido a la clase de los grafos split. Siguiendo esta línea de trabajo, se ha desarrollado un algoritmo no polinomial para decidir si un grafo es grafo clique o no; y se ha probado que el problema de reconocimiento de los grafos clique puede reducirse al estudio de los grafos de diámetro 2. Se ha presentado una forma de obtener, a partir de una familia RS de un grafo G, otro grafo tal que su grafo clique sea G. ¿Cuántos generadores tiene un grafo clique? La operación de agregar un vértice v a un grafo H y hacerlo adyacente a todos los vértices de un clique de H nos devuelve un nuevo grafo que tiene la misma imagen que H por K. Se puede concluir que si G es un grafo clique entonces hay infinitos grafos que generan G. Esto motiva la definición de generador crítico, que es un generador minimal respecto a la cantidad de vértices; es decir, H es generador crítico de G si K(H) = G y K(H-v) es distinto de G para todo v perteneciente a H. Es bien conocido que la cantidad de generadores críticos de un grafo clique es finita. ¿Cuáles son aquellos grafos que tienen un único generador critico? Esta pregunta es formulada por primera vez por Escalante, posteriormente fue considerada por los autores Chong-Kean y Yee-Hock. El problema de caracterizar los grafos clique con un único generador crítico permanece abierto. ¿Cuáles son aquellos que generan un completo? Encontramos en la literatura el trabajo de Lucchesi, Picinin de Mello y Szwarcfiter donde se describen los generadores críticos de un completo satisfaciendo tales que no tienen vértice universal y son minimales en el sentido de que no contienen un subgrafo inducido sin vértice universal que genere un completo. Dado un entero positivo p, ¿cuáles son los grafos H tales que K(H) tiene un completo de tamaño p, pero K(H-v) no tiene un completo de tamaño p cualquiera sea el vértice v? En otras palabras, ¿cuáles son los subgrafos prohibidos minimales para la familia K^{-1}(K_p-libre)? Protti y Szwarcfiter estudiaron este problema y describieron mediante subgrafos prohibidos minimales las clases K^{-1}(K_3-libre) y K^{-1}(K_4-libre). Dado un grafo G clique Helly, ¿existe un vértice v en G tal que G-v es también clique Helly? Dourado, Protti y Szwarcfiter se hicieron esta pregunta y conjeturaron que la respuesta era positiva, es decir, todo grafo clique Helly contiene un vértice tal que al removerlo se obtiene nuevamente un grafo clique Helly. A lo largo de la tesis analizamos cada una de estas cuestiones y aportamos resultados originales sobre ellasDoctor en Ciencias Exactas, área MatemáticaUniversidad Nacional de La PlataFacultad de Ciencias ExactasConsejo Nacional de Investigaciones Científicas y TécnicasAlcón, Liliana2019-09-13info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/acceptedVersionTesis de doctoradohttp://purl.org/coar/resource_type/c_db06info:ar-repo/semantics/tesisDoctoralapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/88683https://doi.org/10.35537/10915/88683spainfo:eu-repo/semantics/reference/doi/10.1002/jgt.22544info:eu-repo/semantics/reference/doi/10.1016/j.dam.2019.06.025info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-nd/4.0/Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:48:57Zoai:sedici.unlp.edu.ar:10915/88683Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:48:58.251SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Sobre grafos clique críticos
title Sobre grafos clique críticos
spellingShingle Sobre grafos clique críticos
Ravenna, Gabriela Susana
Ciencias Exactas
Matemática
Teoría de grafos
Operador clique
title_short Sobre grafos clique críticos
title_full Sobre grafos clique críticos
title_fullStr Sobre grafos clique críticos
title_full_unstemmed Sobre grafos clique críticos
title_sort Sobre grafos clique críticos
dc.creator.none.fl_str_mv Ravenna, Gabriela Susana
author Ravenna, Gabriela Susana
author_facet Ravenna, Gabriela Susana
author_role author
dc.contributor.none.fl_str_mv Alcón, Liliana
dc.subject.none.fl_str_mv Ciencias Exactas
Matemática
Teoría de grafos
Operador clique
topic Ciencias Exactas
Matemática
Teoría de grafos
Operador clique
dc.description.none.fl_txt_mv Se llama completo de un grafo a un conjunto de vértices adyacentes entre si; si un completo es maximal con respecto a la inclusión, se dice que es un clique del grafo. Los cliques son estructuras especiales que naturalmente han despertado interés desde el mismo inicio de la Teoría de Grafos. Varios problemas famosos, como por ejemplo el problema de coloración de un grafo, o el problema de satisfabilidad de una fórmula lógica, se han vinculado y formulado en términos de los cliques de un grafo. Por otro lado, existe una gama de problemas motivados en el propio estudio de los cliques de un grafo. Particularmente haremos foco en el estudio del grafo que muestra la relación de intersección entre los cliques: el grafo clique. Dado un grafo H obtenemos el grafo clique de él, (notado K(H)) considerando un vértice por cada clique de H y haciendo dos vértices adyacentes si los correspondientes cliques tienen intersección no vacía. A H se lo llama generador del grafo K(H). ¿Todo grafo es el grafo clique de algún grafo? El artículo de más vieja data en el que se considera esta pregunta es el de Hamelink donde se muestra que no todo grafo es grafo clique, y se da una condición suficiente para que un grafo sea grafo clique: que la familia de sus cliques tenga la propiedad de Helly (toda subfamilia mutuamente intersectante tiene intersección no vacía). A los grafos que satisfacen esta condición les llamaremos grafos clique Helly. Posteriormente Roberts y Spencer, continuando con las ideas de Hamelink, encuentran una condición necesaria y suficiente para que un grafo sea grafo clique: que exista una familia de completos (no necesariamente los cliques) que cubra las aristas del grafo y que tenga la propiedad de Helly. A tales familias las llamaremos familias RS. El problema de determinar la complejidad del reconocimiento de los grafos clique permaneció abierto por más de treinta años, surgiendo en tanto, varias publicaciones al respecto. Se ha probado que tal problema de reconocimiento es NP-completo; y que permanece siendo NP-completo aún restringido a la clase de los grafos split. Siguiendo esta línea de trabajo, se ha desarrollado un algoritmo no polinomial para decidir si un grafo es grafo clique o no; y se ha probado que el problema de reconocimiento de los grafos clique puede reducirse al estudio de los grafos de diámetro 2. Se ha presentado una forma de obtener, a partir de una familia RS de un grafo G, otro grafo tal que su grafo clique sea G. ¿Cuántos generadores tiene un grafo clique? La operación de agregar un vértice v a un grafo H y hacerlo adyacente a todos los vértices de un clique de H nos devuelve un nuevo grafo que tiene la misma imagen que H por K. Se puede concluir que si G es un grafo clique entonces hay infinitos grafos que generan G. Esto motiva la definición de generador crítico, que es un generador minimal respecto a la cantidad de vértices; es decir, H es generador crítico de G si K(H) = G y K(H-v) es distinto de G para todo v perteneciente a H. Es bien conocido que la cantidad de generadores críticos de un grafo clique es finita. ¿Cuáles son aquellos grafos que tienen un único generador critico? Esta pregunta es formulada por primera vez por Escalante, posteriormente fue considerada por los autores Chong-Kean y Yee-Hock. El problema de caracterizar los grafos clique con un único generador crítico permanece abierto. ¿Cuáles son aquellos que generan un completo? Encontramos en la literatura el trabajo de Lucchesi, Picinin de Mello y Szwarcfiter donde se describen los generadores críticos de un completo satisfaciendo tales que no tienen vértice universal y son minimales en el sentido de que no contienen un subgrafo inducido sin vértice universal que genere un completo. Dado un entero positivo p, ¿cuáles son los grafos H tales que K(H) tiene un completo de tamaño p, pero K(H-v) no tiene un completo de tamaño p cualquiera sea el vértice v? En otras palabras, ¿cuáles son los subgrafos prohibidos minimales para la familia K^{-1}(K_p-libre)? Protti y Szwarcfiter estudiaron este problema y describieron mediante subgrafos prohibidos minimales las clases K^{-1}(K_3-libre) y K^{-1}(K_4-libre). Dado un grafo G clique Helly, ¿existe un vértice v en G tal que G-v es también clique Helly? Dourado, Protti y Szwarcfiter se hicieron esta pregunta y conjeturaron que la respuesta era positiva, es decir, todo grafo clique Helly contiene un vértice tal que al removerlo se obtiene nuevamente un grafo clique Helly. A lo largo de la tesis analizamos cada una de estas cuestiones y aportamos resultados originales sobre ellas
Doctor en Ciencias Exactas, área Matemática
Universidad Nacional de La Plata
Facultad de Ciencias Exactas
Consejo Nacional de Investigaciones Científicas y Técnicas
description Se llama completo de un grafo a un conjunto de vértices adyacentes entre si; si un completo es maximal con respecto a la inclusión, se dice que es un clique del grafo. Los cliques son estructuras especiales que naturalmente han despertado interés desde el mismo inicio de la Teoría de Grafos. Varios problemas famosos, como por ejemplo el problema de coloración de un grafo, o el problema de satisfabilidad de una fórmula lógica, se han vinculado y formulado en términos de los cliques de un grafo. Por otro lado, existe una gama de problemas motivados en el propio estudio de los cliques de un grafo. Particularmente haremos foco en el estudio del grafo que muestra la relación de intersección entre los cliques: el grafo clique. Dado un grafo H obtenemos el grafo clique de él, (notado K(H)) considerando un vértice por cada clique de H y haciendo dos vértices adyacentes si los correspondientes cliques tienen intersección no vacía. A H se lo llama generador del grafo K(H). ¿Todo grafo es el grafo clique de algún grafo? El artículo de más vieja data en el que se considera esta pregunta es el de Hamelink donde se muestra que no todo grafo es grafo clique, y se da una condición suficiente para que un grafo sea grafo clique: que la familia de sus cliques tenga la propiedad de Helly (toda subfamilia mutuamente intersectante tiene intersección no vacía). A los grafos que satisfacen esta condición les llamaremos grafos clique Helly. Posteriormente Roberts y Spencer, continuando con las ideas de Hamelink, encuentran una condición necesaria y suficiente para que un grafo sea grafo clique: que exista una familia de completos (no necesariamente los cliques) que cubra las aristas del grafo y que tenga la propiedad de Helly. A tales familias las llamaremos familias RS. El problema de determinar la complejidad del reconocimiento de los grafos clique permaneció abierto por más de treinta años, surgiendo en tanto, varias publicaciones al respecto. Se ha probado que tal problema de reconocimiento es NP-completo; y que permanece siendo NP-completo aún restringido a la clase de los grafos split. Siguiendo esta línea de trabajo, se ha desarrollado un algoritmo no polinomial para decidir si un grafo es grafo clique o no; y se ha probado que el problema de reconocimiento de los grafos clique puede reducirse al estudio de los grafos de diámetro 2. Se ha presentado una forma de obtener, a partir de una familia RS de un grafo G, otro grafo tal que su grafo clique sea G. ¿Cuántos generadores tiene un grafo clique? La operación de agregar un vértice v a un grafo H y hacerlo adyacente a todos los vértices de un clique de H nos devuelve un nuevo grafo que tiene la misma imagen que H por K. Se puede concluir que si G es un grafo clique entonces hay infinitos grafos que generan G. Esto motiva la definición de generador crítico, que es un generador minimal respecto a la cantidad de vértices; es decir, H es generador crítico de G si K(H) = G y K(H-v) es distinto de G para todo v perteneciente a H. Es bien conocido que la cantidad de generadores críticos de un grafo clique es finita. ¿Cuáles son aquellos grafos que tienen un único generador critico? Esta pregunta es formulada por primera vez por Escalante, posteriormente fue considerada por los autores Chong-Kean y Yee-Hock. El problema de caracterizar los grafos clique con un único generador crítico permanece abierto. ¿Cuáles son aquellos que generan un completo? Encontramos en la literatura el trabajo de Lucchesi, Picinin de Mello y Szwarcfiter donde se describen los generadores críticos de un completo satisfaciendo tales que no tienen vértice universal y son minimales en el sentido de que no contienen un subgrafo inducido sin vértice universal que genere un completo. Dado un entero positivo p, ¿cuáles son los grafos H tales que K(H) tiene un completo de tamaño p, pero K(H-v) no tiene un completo de tamaño p cualquiera sea el vértice v? En otras palabras, ¿cuáles son los subgrafos prohibidos minimales para la familia K^{-1}(K_p-libre)? Protti y Szwarcfiter estudiaron este problema y describieron mediante subgrafos prohibidos minimales las clases K^{-1}(K_3-libre) y K^{-1}(K_4-libre). Dado un grafo G clique Helly, ¿existe un vértice v en G tal que G-v es también clique Helly? Dourado, Protti y Szwarcfiter se hicieron esta pregunta y conjeturaron que la respuesta era positiva, es decir, todo grafo clique Helly contiene un vértice tal que al removerlo se obtiene nuevamente un grafo clique Helly. A lo largo de la tesis analizamos cada una de estas cuestiones y aportamos resultados originales sobre ellas
publishDate 2019
dc.date.none.fl_str_mv 2019-09-13
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/acceptedVersion
Tesis de doctorado
http://purl.org/coar/resource_type/c_db06
info:ar-repo/semantics/tesisDoctoral
format doctoralThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/88683
https://doi.org/10.35537/10915/88683
url http://sedici.unlp.edu.ar/handle/10915/88683
https://doi.org/10.35537/10915/88683
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/reference/doi/10.1002/jgt.22544
info:eu-repo/semantics/reference/doi/10.1016/j.dam.2019.06.025
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/4.0/
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260365634699264
score 13.13397