30 votos

demostrar que un grafo conexo con $n$ vértices tiene al menos $n-1$ bordes

Demuestre que todo grafo conexo con $n$ vértices tiene al menos $n 1$ bordes.

¿Cómo puedo demostrarlo? Conceptualmente, entiendo que el siguiente grafo tiene 3 vértices, y dos aristas:

a-----b-----c

con $a$ , $b$ y $c$ siendo vértices, y $\{a,b\}$ , $\{b,c\}$ siendo bordes.

¿Hay alguna forma de demostrarlo lógicamente?

--UPDATE--

¿Le parece correcto? Agradecería cualquier consejo sobre cómo mejorar esta prueba. Muchas gracias.

pic

1 votos

No estoy seguro de qué material de base tienes para mostrar esto, pero aquí va una pista: ¡árboles! Una forma de verlo es considerar el árbol de expansión de un grafo conexo.

1 votos

¿Sabes que cada árbol con $n$ vértices tiene exactamente $n-1$ ¿Bordes?

0 votos

No sé...

0voto

Seirios Puntos 19895

Pista: Sea $\Gamma$ sea un grafo conexo. Si $T \subset \Gamma$ es un subárbol maximal, entonces $|E(\Gamma)| \geq |E(T)|$ y $|V(\Gamma)|=|V(T)|$ . (Donde $E(\cdot)$ y $V(\cdot)$ es el conjunto de aristas y vértices respectivamente).

0voto

Sameer Pande Puntos 21

Considere cualquier vértice arbitrario de los n vértices, llámelo vértice A. Dado que el grafo es conexo, siempre existe al menos un camino simple (sin ciclos) desde el vértice A a todos los vértices (excluyendo A). Consideremos ahora dos caminos simples de A a B y de A a C. Si B no es igual que C, debe haber al menos una arista diferente en los dos caminos. Dado que existen al menos n-1 (ya que hay n-1 vértices excluyendo A) caminos, n-1 aristas deben ser

0 votos

Hay una sutil laguna en su prueba. Aunque demuestras que dos caminos simples (que llevan a destinos diferentes) deben diferir en "al menos una arista", no queda claro cómo se puede extender esto a más de dos caminos. ¿Cómo excluirías que $k$ rutas pueden consistir en diferentes subconjuntos de menos de $k-1$ ¿Bordes?

0voto

Mark Twaign Puntos 84

Aquí podemos utilizar Conjuntos Disjuntos. Estructura de datos de conjuntos disjuntos La estructura de datos Union-Find es muy popular en informática (detección de ciclos, etc.).

Los Conjuntos Disjuntos de Vértices son muy útiles para definir componentes conectados en un grafo. El número de conjuntos disjuntos (DS) es igual al número de componentes conectados. $v,u \in V$ son miembros del mismo DS si existe una ruta desde $u$ a $v$ .

Para construir DSs de un grafo, empezamos con $|V|$ Conjuntos con cada $v\in V$ que representa un DS. A continuación, añadimos la información de las aristas. Para cada $\{v,u\} \in E$ Nosotros encontrar los DS a los que $v$ y $u$ pertenecer y unión los dos conjuntos si se encuentran en DS diferentes. Por tanto, para cada arista existe $1$ o $0$ operación sindical.

En este caso, como el grafo es conexo, debemos tener un único DS al final. Para fusionar $|V|$ DSs a uno, debemos tener $|V|-1$ Operaciones sindicales. Por lo tanto, al menos $|V|-1$ se requieren bordes.

Generalización : Si un gráfico tiene $k$ componentes conectados, debemos tener $|V|-k$ operaciones sindicales. Por lo tanto, $|E| \geq |V|-k$ o $|E|+k \geq |V|$

1 votos

"Los conjuntos disjuntos de vértices son muy útiles para definir componentes conectados en un grafo". En realidad parece ser la misma definición. Quizá la nomenclatura de conjuntos disjuntos sea más común ("bastante popular") en Informática, pero el término componentes conectados es convencional en matemáticas. Si lo reducimos a lo básico, tu post ofrece una prueba correcta de que el número de componentes más el número de aristas es mayor o igual que el número de vértices. La presentación es mejorable.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X