Árboles binarios.

Un árbol binario es un conjunto finito de elementos, el cual está vacío o dividido en

tres subconjuntos separados:

• El primer subconjunto contiene un elemento único llamado raíz del árbol.

• El segundo subconjunto es en sí mismo un árbol binario y se le conoce como
subárbol izquierdo del árbol original.
• El tercer subconjunto es también un árbol binario y se le conoce como subárbol
derecho del árbol original. El subárbol izquierdo o derecho puede o no estar vacío.
Cada elemento de un árbol binario se conoce como nodo del árbol.

Un árbol estrictamente binario es aquel en el que cada nodo que no es hoja, tiene
subárboles izquierdo y derecho que no están vacíos. Estructuras de Datos Ricardo
Ruiz Rodríguez 71 Un árbol estrictamente binario con n hojas siempre contiene 2n-
1 nodos. El nivel de un nodo en un árbol binario se define del modo siguiente: .La
raíz del árbol tiene el nivel 0.El nivel de cualquier otro nodo en el árbol es uno más
que el nivel de su padre. La profundidad o altura de un árbol binario es el máximo
nivel de cualquier hoja en el árbol.
Un árbol de dos tenedor es un conjunto limitado de nodos, que está vacío, o con un nodo raíz más dos árboles
binarios que no se llaman sub-árbol izquierdo y el árbol derecho.

[Características del árbol binario]:

-Hay hasta dos subtotes por nodo, es decir, el árbol binario no existe mayor que 2.
-El subárbol del árbol binario tiene la izquierda y la derecha, y el orden de su sub-árbol no puede revertirse.

•Si la altura del árbol binario es H, el número de nodos del árbol binario es 2 ^ H - 1;
•Además del último nivel. El número de nodos restantes es 2 ^ (H-1) -1
•La última capa de nodo es 2 ^ (H-1) -1
•Características: La última capa del árbol de horquilla completa es la suma de los nodos del número de otras
capas
•Los nodos de la hoja están todos en la capa inferior
2. Solo nodos con grado 0 y grado 2
3. Un árbol binario con una altura de h y 2 nodos h-1 se denomina árbol binario completo.
 En su totalidad es un par ordenado compuesto por vértices (v) y aristas (e); donde en la gran mayoría
de los casos los vértices son de cuantificación finita. El número de vértices que componen al grafo,
son las que conocemos como orden. Existe también el concepto de grado que se corresponde al
número de arcos al que pertenecen de forma externa y en cuanto a las aristas también conseguimos
el concepto de bucle que no es más que una arista relacionada de diversas formas con el mismo
nodo.
Teniendo claros estos conceptos, podemos empezar a profundizar en las definiciones de tipos
de grafos. Existen diversos tipos de grafos, analizaremos en esta oportunidad los esquemas de grafos
más conocidos como son los grafos dirigidos, no dirigidos y etiquetados.

Grafos simples Un grafo es simple si a lo más existe una arista uniendo dos vértices cualesquiera.
Esto es equivalente a decir que una arista cualquiera es la única que une dos vértices específicos. Un
grafo que no es simple se denomina multigrafo. Grafos conexos Un grafo es conexo si cada par de
vértices está conectado por un camino; es decir, si para cualquier par de vértices (a, b), existe al
menos un camino posible desde a hacia b. Un grafo es doblemente conexo si cada par de vértices
está conectado por al menos dos caminos disjuntos; es decir, es conexo y no existe un vértice tal que
al sacarlo el grafo resultante sea disconexo.
Caracterización de grafos Grafos simples Un grafo es simple si a lo más existe una arista uniendo dos
vértices cualesquiera. Esto es equivalente a decir que una arista cualquiera es la única que une dos vértices
específicos. Un grafo que no es simple se denomina multigrafo. Grafos conexos Un grafo es conexo si cada
par de vértices está conectado por un camino; es decir, si para cualquier par de vértices (a, b), existe al
menos un camino posible desde a hacia b. Un grafo es doblemente conexo si cada par de vértices está
conectado por al menos dos caminos disjuntos; es decir, es conexo y no existe un vértice tal que al sacarlo el
grafo resultante sea disconexo.

Aquel con el mismo grado en todos los vértices.

Es aquel con cuyos vértices pueden formarse dos conjuntos disjuntos de modo que no haya adyacencias
entre vértices pertenecientes al mismo conjunto.

Aquel con una arista entre cada par de vértices.

Se dice que un grafo es nulo cuando los vértices que lo componen no están conectados, esto es, que son
vértices aislados.
Recorrido en preorden:

En este tipo de recorrido se realiza cierta acción (quizás simplemente imprimir por pantalla el valor de la clave de ese nodo)
sobre el nodo actual y posteriormente se trata el subárbol izquierdo y cuando se haya concluido, el subárbol derecho. Otra
forma para entender el recorrido con este método sería seguir el orden: nodo raíz, nodo izquierda, nodo derecha.

Recorrido en postorden

En este caso se trata primero el subárbol izquierdo, después el derecho y por último el nodo actual. Otra forma para entender
el recorrido con este método sería seguir el orden: nodo izquierda, nodo derecha, nodo raíz. En el árbol de la figura el
recorrido en postorden sería: 2, 5, 11, 6, 7, 4, 9, 5 y 2.

Recorridos en amplitud (o por niveles)

En este caso el recorrido se realiza en orden por los distintos niveles del árbol. Así, se comenzaría tratando el nivel 1, que solo
contiene el nodo raíz, seguidamente el nivel 2, el 3 y así sucesivamente. En el árbol de la figura el recorrido en amplitud sería:
2, 7, 5, 2, 6, 9, 5, 11 y 4.
Al contrario que en los métodos de recorrido en profundidad, el recorrido por niveles no es de naturaleza recursiva. Por ello,
se debe utilizar una cola para recordar los subárboles izquierdos y derecho de cada nodo.
El esquema algoritmo para implementar un recorrido por niveles es exactamente el mismo que el utilizado en la versión
iterativa del recorrido en preorden pero cambiando la estructura de datos que almacena los nodos por una cola.