Sei sulla pagina 1di 3

Matem´atica Discreta

Formul´ario

Pedro Dias - 2013

Proposi¸c˜oes:

˙

p q (p ∧ ¬q) (¬p q) (ou exclusivo)

(p

q) (¬p q)

(implica¸c˜ao)

(¬(p q)) (¬p ∨ ¬q)

(Lei De Morgan)

(¬(p q)) (¬p ∧ ¬q)

(Lei De Morgan)

(p

q) (¬q ⇒ ¬p)

(contraposi¸c˜ao)

[p (p q)] q [(p q) ∧ ¬q] ⇒ ¬p

(modus ponens) (modus tollens)

p 1 ,

, p 3 T

[x]

= [y] [x] [y] =

p 1 ∧ ··· ∧ p n

T

p 1

.

.

.

p n

∧ ¬T

Fun¸c˜ao injectiva: rectas paralelas ao eixo dos x interceptam o gr´afico apenas num ponto.

Fun¸c˜ao sobrejectiva: CD [−∞, ] Fun¸c˜ao bijectiva: injectiva+sobrejectiva Propriedades conjuntos:

reflexiva: x A : xRx

sim´etrica: x, y A : xRy yRx

anti-sim´etrica:

x, y A : xRy yRx x = y

transitiva:

x, y, z A : xRy yRz xRz

dicotomia: x, y : [x, y A] xRy yRx

Rela¸c˜ao de equivalˆencia:reflexiva, sim´etrica e transitiva. Rela¸c˜ao de ordem parcial:reflexiva, anti-sim´etrica e transitiva. Rela¸c˜ao de ordem total:reflexiva, sim´etrica, anti-sim´etrica, transitiva e dicotomia.

Forma Normal Prenex:

1. remover os e os

2. colocar as ¬ imediatamente antes dos ´atomos

3. mover Q 1 ,

x P(x) ⇒ ∀x Q(x) ≡ ∀xy P(x) Q(y) Forma Normal Skolem: Se nenhum aparece `a esquerda de Q r ent˜ao:

, Q n para o in´ıcio da equa¸c˜ao

1. Escolher uma constante c

2. Substituir X r por c

3. Eliminar Q r

Se Q 1 ,

, Q n s˜ao `a esquerda de Q r ent˜ao:

1. Escolher um s´ımbolo de fun¸c˜ao (f ) com n argumentos

2. Substituir X r por f (x 1 ,

3. Eliminar X r

, x n )

Unifica¸c˜ao: W conjunto de express˜oes

1

D i conjunto das diferen¸cas

σ i+1 = {TERM/VAR} ◦ σ i Prova Directa: HIP TESE Contraposi¸c˜ao: ¬q ⇒ ¬p Redu¸c˜ao ao Absurdo: ¬(p q) p ∧ ¬q

Princ´ıpio de Indu¸c˜ao: p(n) p(n + 1) Indu¸c˜ao Completa: p(n) verifica-se para n 0 n k Princ´ıpio de Resolu¸c˜ao de Robinson:

S = {C 1 ,

Princ´ıpio da Adi¸c˜ao: A i Aj = φ

A 1 A 2 ∪ ··· ∪ A n = |A 1 | + |A 2 | +

Princ´ıpio da Multiplica¸c˜ao:

f(a 1 ,

Exemplo: quantos n´umeros 4 algarismos com os d´ıgitos em

A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}?Como |A| = 10 e

k = 4 ent˜ao |A 4 | = |A| 4 = 10 4

Princ´ıpio da Multiplica¸c˜ao generalizada:

p 1 × p 2 ×

Princ´ıpio de Inclus˜ao-Exclus˜ao:

, C n , ¬T } ´e insconsistente.

k=1 a k × 10 k1

+ |A n |

,

a n ) = n

× p n = 20 × 19 ×

× 11 × 10

|A B| = |A| + |B| − |A B| |A B C| = |A| + |B| + |C| − |A B|− |A C| − |B C| + |A B C|

7 2 3 1 4 5 2
7
2
3
1
4
5
2

7 + 4 + 5 2 3 2 + 1

=

16 7 + 1

=

= 10

Combina¸c˜oes simples: ordem n˜ao importa

n

k

= C

n

k

n!

k!×(nk)!

=

Combina¸c˜oes com repeti¸c˜ao:

n

k

= n + k 1 = n + k 1

n

k 1

C

Arranjos completos: com repeti¸c˜ao

A

(k)

n

= n k

aplica¸c˜ao direta do princ´ıpio da multiplixa¸c˜ao

n!

Arranjos simples: A n,k =

(n k)! n! (n n)! = n!

Permuta¸c˜oes: P n = A n,n =

Permuta¸c˜oes com repeti¸c˜ao:

n 1 ,

n

,

n k =

n! n k !

n 1 !

em que n 1 + ··· + n k = n

Parti¸c˜oes c´ıclicas:{{1, 5, 7}, {2}, {3, 4, 6}}

Decomposi¸c˜ao em ciclos:

π = (5246731) (157)(2)(346)

π ´e do tipo: 1 1 × 3 2

Matem´atica Discreta

Formul´ario

Pedro Dias - 2013

N´umero de permuta¸c˜oes tipo:

n!

1 λ 1 × ··· × n λ n × λ 1 ! × ··· × λ n ! , em que λ n ´e o n´umero de permuta¸c˜oes tipo n. Bin´omio de Newton:

(a + b) n =

k=0 n

n

k

a nk b k

Teorema Multinomial:

(x 1 + x 2 + ··· + x m ) n =

=

n

k 1 ,k 2 ,··· ,k m

k 1 , k 2 , ··· , k m x k 1

n

1

x

k

2

2

··· x

k

m

m

Coeficientes multinomiais:

k 1 , k 2 , ··· , k m =

n

n! k 1 !k 2 ! ··· k m !

Equa¸c˜oes de recorrˆencia lineares homog´eneas:

1. Equa¸c˜ao caracter´ıstica

2. Calcular as ra´ızes da eq. caracter´ıstica

3. Calcular a solu¸c˜ao homog´enea:

a n = C 0 × x m 0 + ··· + C n × x x ra´ız caracter´ıstica m multiplicidade da ra´ız

0

m

n

n

Equa¸c˜oes recorrˆencia lineares n˜ao homog´eneas:

a n = a

(1)

n

+ a

(2)

n

(1)

n

(2)

n

a

a

Casos da solu¸c˜ao particular:

solu¸c˜ao homog´enea

solu¸c˜ao particular

f (n) = cq n a

(2)

n

= An m q n onde n ´e a

multiplicidade de q enquanto ra´ız caracter´ıstica.

polin´omio de grau k

(2)

n

a

multiplicidade de 1 enquanto raiz caracter´ıstica k = grau polin´omio

= A 0 n r + ··· + A r+k

n

onde r =

f(n) = f 1 (n) + ··· + f k (n) ent˜ao

a n,1 + ··· + a n,k (2) s˜ao solu¸c˜oes particulares das equa¸c˜oes de recorrˆencia Equa¸c˜oes recorrˆencia n˜ao lineares:Utilizar mudan¸ca de vari´aveis, simplificar a equa¸c˜ao. Fun¸c˜ao geradora ordin´aria:

f(x) =

(2)

a k x k

k=0

2

Fun¸c˜ao geradora exponencial:

f(x) =

a

k

x k

k!

k=0

S´eries formais de potˆencias conhecidas:

1 + x + x 2 + ··· =

x k =

1

1 x

k=0

1 + nx + n(n 1)

2

x + ··· =

k=0

x k =

1

(1 x) n

f(x) =

f(x) =

f(x) =

k=0 n

k

x

k

k!

x k = (1 + x) n

= e x

k=0

k=0 n + α 1

n

x k =

1

(1 x) α

Factoriais duplos:

1, se n ∈ {0, 1}

n(n 2)!!, se n 2

n!! =

N´umeros Binomiais:

n = n 1 + n 1

k

k 1

k

N´umeros de stirling 1 a esp´ecie: contam

permuta¸c˜oes de n elementos que se decomp˜oe em exatamente k ciclos.

n = n

k

1 k 1

+ (n 1) n 1 , 1 k n

k

n

k=0 n

k

= n!

N´umeros de stirling 2 a esp´ecie: contam parti¸c˜oes em exatamente k subconjuntos

n = n 1 + k n 1

, 1 k n

k

B n =

k 1

k

n

k=0 n

k

N´umeros de Bell:

B n = 0

0 + ··· + n n =

n

k=0 n

k

N´umero de arestas grafos:

ε(G) + ε(G C ) = n , onde n ´e o n´umero de

v´ertices.

Teorema dos apertos de m˜ao:

2

δ(v) = 2 × |E(G)|

v∈V(G)

Matriz de adjacˆencia:

v´ertice × v´ertice

quadrada

Matem´atica Discreta

Formul´ario

Pedro Dias - 2013

sim´etrica

Matriz de incidˆencia:

v´ertice × aresta Isomorfismo:

G

1 G 2 por defini¸c˜ao existe uma bijec¸c˜ao

f

: V 1 V 2 onde

uv E 1 f(u)f(v) E 2 Trajecto: n˜ao repete arestas

Caminho: n˜ao repete v´ertices nem arestas Matriz de custos:

W = W ij

0 se i = j k > 0 se ij E(G) se ij / E(G)

Algoritmo de Dijkstra:

marca dijkstra(Grafo G,vertice s,vertice t)

{

foreach v

in V(G)

{

do{ M=; foreach u in Temp

{

if(Marca(u)>Marca(z)+W z,u ){ Marca(u) = Marca(z) + W z,u ;

Antecessor(u) = z;

}

if(Marca(u)<M){

x=u;

M=Marca(u);

}

} Temp = Temp - {x}; z=x; }while(x=t); return Marca(t);

}

3