El grafo de Petersen (a la izquierda) y su grafo complemento (a la derecha).

En teoría de grafos, el grafo complemento o complementario de un grafo es otro grafo, con el mismo conjunto de vértices del original, y tal que dos vértices están conectados por una arista si y solo si esa arista no existe en el primero.[1]​ Para obtener el complemento de un grafo, se pueden completar todas las aristas faltantes para hacerlo completo, y quitar todas las aristas del grafo G original. Note que esta definición aplica tanto para grafos dirigidos como no dirigidos.[1]​ Este concepto no debe confundirse con el del complemento de un conjunto, pues solo se complementan las aristas.

Por definición, los conjuntos de aristas de un grafo y su grafo complemento forman una partición; es decir, su intersección es vacía y su unión es el conjunto de todas las aristas posibles que tendría el grafo completo del mismo número de vértices.[1]

Se llama grafo autocomplementario a aquel que es isomorfo a su propio complemento.

Este tipo de grafos no debe confundirse con el grafo inverso. Si dos vértices de un grafo no están conectados por aristas, el grafo inverso conservará dicha ausencia de aristas, mientras que el grafo complemento los conectará con aristas en ambos sentidos. Asimismo, si dos vértices de un grafo dirigido están conectados en ambos sentidos, el grafo inverso conservará dichas aristas, mientras que el grafo complemento eliminará las aristas entre ambos vértices.[1]

Definición formal

editar

Dado un grafo , con su conjunto de vértices, , y su conjunto de aristas o arcos, el grafo complemento de es el grafo definido por:

  • , y
  • , donde es el conjunto de aristas del grafo completo .

Aplicaciones

editar

El grafo complemento se utiliza en muchos ámbitos de la teoría de grafos y en demostraciones, tales como la Teoría de Ramsey o diferentes reducciones para pruebas de NP-Completitud.

Véase también

editar

Referencias

editar
  1. a b c d Wasserman y Faust, 2013, «Grafos y matrices» (por Dawn Iacobucci), pp. 121-188.

Bibliografía

editar
  • Wasserman, Stanley; Faust, Katherine (2013) [​1994​]. Análisis de redes sociales: Métodos y aplicaciones. Madrid: Centro de Investigaciones Sociológicas. ISBN 978-84-7476-631-8. OCLC 871814053. 

📚 Artikel Terkait di Wikipedia

Grafo umbral

un cografo y un split graph, es un threshold graph. Cada grafo que es al mismo tiempo trivialmente perfecto y el grafo complemento de un grafo trivialmente

Grafo de Desargues

cromático es 3. Su número cromático es 2. Weisstein, Eric W. «Desargues Graph». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.  Kagno

Grafo de intervalos

grafo de intervalo adecuado es un claw-free graph. Sin embargo, lo contrario no es cierto. Cada claw-free graph no es necesariamente un grafo de intervalo

Grafo perfecto

Robertson, Neil; Seymour, Paul; Thomas, Robin (2006). «The strong perfect graph theorem». Annals of Mathematics 164 (1): 51-229.  Gallai, Tibor (1958).

Conjunto independiente

vértices y Coloreo de vértices Archivado el 29 de mayo de 2013 en Wayback Machine. Datos: Q1060343 Multimedia: Independent set (graph theory) / Q1060343

Maria Chudnovsky

Robertson, Neil; Seymour, Paul; Thomas, Robin (2006), «The strong perfect graph theorem», Annals of Mathematics 164 (1): 51-229, doi:10.4007/annals.2006

Espesor (teoría de grafos)

razón 3 en tiempo polinómico. Tutte, W. T. (1963), «The thickness of a graph», Indag. Math. 25: 567-577, MR 0157372 .. Mutzel, Petra; Odenthal, Thomas;

Grafo dividido

Peter L.; Simeone, Bruno (1 de septiembre de 1981). «The splittance of a graph». Combinatorica (en inglés) 1 (3): 275-284. ISSN 1439-6912. doi:10.1007/BF02579333