FIUBA 2019 Matemática Discreta Integrador 3, 10.02.

2020

Alumno: L:

Duración: dos horas y media. Una condición suficiente de aprobación es la resolución completa y justificada de dos ejercicios cualesquiera. No se
consideran cálculos dispersos o sin comentarios, ni diagramas sin la identificación completa de sus elementos. En todos los casos deben definirse las
nociones que intervienen en la resolución.

1. (a) En un álgebra de Boole de 128 elementos (B, +, · , 0 , 0B , 1B ),  

sean a y b dos de sus átomos. Determinar cuántas soluciones 0 0 0 0 0
tiene la ecuación en la incógnita x ∈ B dada por ax = bx. 1 1 0 0 0
 
(b) Un digraph G = (V (G), E(G)) se llama transitivo si para 1
A= 1 0 0 0
1 1 1 1 0
cualesquiera tres vértices u, v, w en V (G) se cumple que uv es
un arco en E(G) si uw y wv son arcos en E(G). Representar 1 1 1 1 0
el grafo orientado con matriz de adyacencia A y analizar si
es transitivo.

2. (a) Una escalera tiene n peldaños. Si el ascenso puede practicarse eligiendo en

cada paso subir un peldaño o dos peldaños, determinar para todo n ∈ N 4
3
la cantidad de modos de recorrer la escalera.
2
(b) Sea G = (V (G), E(G)) un grafo simple con n = |V (G)|. Probar que si 1
δ = minv∈V (G) {d(v)} ≥ (n − 1)/2, el grafo es conexo y que para cualquier
n > 1 existe un grafo simple no conexo con δ = bn/2c − 1.

3. (a) Analizar si la siguiente proposición es verdadera o falsa: Una condición necesaria para que el grafo simple
G = (V (G), E(G)) sea bipartito es que 4|E(G)| ≤ |V (G)|2 .
(b) Construir un autómata M que, con el alfabeto Σ = {a, b, c} reconozca el lenguaje L(M ) = {x ∈ Σ? : x =
bcan + acn , n ∈ N0 }, y probar que el autómata ası́ construido reconoce solo ese lenguaje.

4. (a) Sea E el conjunto de los grafos eulerianos, H el conjunto de los

grafos hamiltonianos, B = Kp,q el conjunto de los grafos completos G
bipartitos y G el conjunto de los grafos en general, los que se es-
quematizan en la figura. Analizar si alguna de las ocho regiones de E
la figura es vacı́a (justificando con un ejemplo o su imposibilidad). B
0
(b) En el álgebra de Boole B = (B, +, ·, , 0B , 1B ) con el orden inducido
≤ definido como x ≤ y sii x = xy, probar que para cualquier par de H
elementos x, y en B, la máxima cota inferior del conjunto {x, y} es
xy. ¿Cuál es la máxima cota inferior de un conjunto de dos átomos
distintos?