CIN / UFPE

Disciplina: ​Matemática Discreta ​Curso: ​Engenharia da Computação ​Semestre: 2018.1

Prova Segunda Chamada - 03/07/2018 ​OBS: A prova deve ser feita a caneta.

1) (1.0 Pt) Diga quais das funções abaixo são bijeções. Justifique.
a) f : Z → Z , Dada por f (x) = x − 1 . c) f : Z → Z , Dada por f (x) = x2 + 1 .
b) f : Z → Z , Dada por f (x) = x3 + 1 . d) f : Z → Z , Dada por f (x) = piso(x) .

2) (1.0 Pt) Ache o resto da divisão de 3456 por:

a) 4 b) 5 c) 7 d) 11

3) (1.0 Pt) Assuma que h é um número real tal que h >− 1 . Mostre que para todo n natural
1 + nh ≤ (1 + h)n

4) (1.5 Pt) a) Ache uma relação de recorrência para o número de strings binárias de
tamanho n que não contém 3 zeros consecutivos.
b) Quais são as condições iniciais para essas recorrências?
c) Quantas strings de tamanho 10 existem que não contém 3 zeros consecutivos?

5) (1.0 Pt) Ache todas as soluções da recorrência an = 4an−1 − 4an−2 + (n + 1) .

6) (1.5 Pt) Quais dos grafos abaixo são planares? Em caso afirmativo, desenhe o grafo de
forma planar. Em caso negativo, justifique.

a) b) c)

d) e)
 1) a) É bijeção.
Injetividade: f(x)=f(y) => x-1 = y-1 => x = y.
Sobrejetividade: para um N inteiro, temos que achar x tal que f(x) =N. Então x-1 = N => x=N+1.

b) Não é bijeção. Não é sobrejetiva, pois não existe x inteiro tal que f(x)=3.

c) Não é bijeção. Não é sobrejetiva, pois não existe x inteiro tal que f(x)=0.

d) É bijeção, pois nos inteiros piso(x) = x.

2) a) 9 ≡ 1 mod 4 => 3456 ≡ 9228 ≡ 1 mod 4

b) 34 ≡ 81 ≡ 1 mod 5 => 3456 ≡ 81114 ≡ 1 mod 4
c) 34 ≡ 81 ≡ 1 mod 5 => 3456 ≡ 81114 ≡ 1 mod 4
d) 35 ≡ 243 ≡ 1 mod 11 => 3456 ≡ 3 * 3455 ≡ 3 * 24391 mod 11 ≡ 3

3) Indução em n. Para n = 0, temos como caso base:

1 + 0 * h = 1 ≤ 1 = (1 + h)0

Assumindo válido para n, temos que para todo h > -1:

1 + nh ≤ (1 + h)n .

Como h + 1 > 0, temos:

(1 + nh)(1 + h) ≤ (1 + h)n (1 + h) = (1 + h)n+1

Portanto,
1 + (n + 1)h + nh2 = (1 + nh)(1 + h) ≤ (1 + h)n+1
Como nh2 ≥ 0 ,temos
1 + (n + 1)h ≤ 1 + (n + 1)h + nh2 = (1 + nh)(1 + h) ≤ (1 + h)n+1

4) a) Dada uma string de tamanho n que não têm 3 zeros consecutivos, temos que:
*) O ultimo dígito é 1 (final 1): então o resto da string tem tamanho n-1 e não contém 3 zeros
consecutivos. (contribui com an−1 na recorrência)
*) O último dígito é 0 (final 0): então temos dois casos:
+) o penúltimo dígito é 1 (final 10): então o restante da string tem tamanho n-2 e não
contém 3 zeros consecutivos (contribui com an−2 na recorrência)
+) o penúltimo dígito é 0 (final 00):
-) O anti-penúltimo dígito é 1 (final 100): então o restante da string tem tamanho
n-3 e não contém 3 zeros consecutivos (contribui com an−3 na recorrência)
Logo, an = an−1 + an−2 + an−3
b) Como a recorrência tem ordem 3, precisamos de 3 condições iniciais.
a0 = 1 (string vazia), a1 = 2 (duas strings binárias de tamanho 1) e a2 = 4 .

Também são aceitas as condições iniciais, a1 = 2 (duas strings binárias de tamanho 1), a2 = 4
e a3 = 7 .
c) Usando a recorrência e as condições iniciais, temos:
● a4 = a3 + a2 + a1 = 13
● a5 = a4 + a3 + a2 = 24
● a6 = a5 + a4 + a3 = 44
● a7 = a6 + a5 + a4 = 81
● a8 = a7 + a6 + a5 = 149
● a9 = a8 + a7 + a6 = 274
● a10 = a9 + a8 + a7 = 504

5) A recorrência é não homogênea. Portanto, resolvemos a parte homogênea primeiro:

an = 4an−1 − 4an−2
Usando o método da equação característica temos que achar γ tal que γ 2 − 4γ + 4 = 0 . Essa
equação admite uma única raiz igual a 2. Então, a forma geral de soluções dessa recorrência
homogênea é
an = c1 2n + c2 n2n
Para achar a solução particular, procuramos soluções da forma an = cn + d (pois o termo
independente da recorrência tem grau 1). Temos:
an = cn + d = 4an−1 − 4an−2 = 4[c(n − 1 ) + d] − 4[c(n − 2 ) + d] + n + 1 = 4cn − 4c + 4d − 4cn + 8c − 4d + n + 1
= n + 1 + 4c
Logo,
c = 1 e 5 = 1 + 4c = d

Então, a fórmula geral para soluções da recorrência não homogênea é:

an = c1 2n + c2 n2n + n + 5 .

6) a) Não é planar pois é isomorfo ao K 3,3 . As partições do isomorfismo são {bce} e {adf}.
b) É planar.
c) É planar.
d) Não é planar, pois possui um K 3,3 como subgrafo. As partições do isomorfismo são {bfh} e
{aeg}.
e) Não é planar, pois possui um K 3,3 como subgrafo. As partições do isomorfismo são {bgi} e
{afh}.