EXAMEN FINAL – ELEMENTOS TEORÍA DE COMPUTACIÓN

BRIGITH CASTIBLANCO LOPEZ

2019-II

PARTE 1

1) Demuestre directamente que si m, n, p son enteros y (m + n) y (n + p) son enteros

pares, entonces m + p también es un entero par.
R//
2) ¿De cuántas formas se pueden distribuir 15 caramelos (idénticos) entre cinco niños de
modo que el menor obtenga sólo uno o dos?
R//
3) Utilizando la teoría de demostración por Inducción:
a) Considere un tablero de ajedrez de 8 × 8. Este tiene 64 cuadrados de 1 × 1 y un
cuadrado de 8 × 8. ¿Cuántos cuadrados de 2 × 2 tiene? ¿y de 3 × 3? ¿cuántos
cuadrados en total?
R//

b) Ahora considere un tablero de ajedrez de n × n, para algún número n ∈ Z+ fijo.

Para 1 ≤ k ≤ n, ¿cuántos cuadrados de k × k puede haber en el tablero?, ¿cuántos
cuadrados en total?
R//
4) Demuestre que el siguiente programa es correcto:
{true}
x, y ∶= y ⋅ y, x ⋅ x
if x ≥ y then x ∶= x − y
else y ∶= y − x
{x ≥ 0 ∧ y ≥ 0}

5) Escriba el algoritmo para sumar dos matrices y demuestre que este es correcto. Nota:
Especifique claramente el ciclo involucrado en este algoritmo, su invariante y su
función cota.
R//
PARTE 2

6) Resuelva las siguientes ecuaciones de recurrencia:

a) an+2 – 6an+1 + 9an = 3(2n) + 7(3n), n ≥ 0, a0 = 1, a1 = 4

R//
 b) 3an+1 – 4an = 0, n ≥ 0 y a1 = 5

R//

7) Demuestre que Si x = y + z y si a divide a dos de ellos entonces a divide al número

restante.
R//
8) Para las siguientes relaciones del conjunto {1,2,3,4}, determinar si son Reflexivas,
Simétricas, asimétricas, Antisimétricas o transitivas:
a) {(1,1), (1,2), (2,1)}
b) {(1,1)}
c) {(1,1), (2,3), (3,2), (2,2), (3,4), (2,4)}

R//

9) De las relaciones anteriores realizar los cierres: Reflexivo, Simétrico y Transitivo.

R//
10) La relación R está representada por la matriz:
0 1 0
M = 0 0 1 Hallar las matrices que representan a: R2, R3
1 1 0
R//