Fundamentos Matemticos

Como e porque Algoritmos

Genticos funcionam?

Teoria de Schema (John Holland 1975)

Schema um padro gentico que descreve um conjunto
de cromossomas do espao de busca com similaridades
em certas posies

Schema

Buscando padres de jogadores de seleo

Sexo

Gostam de
Futebol
Jogadores
da Seleo
Masculino

Mdico

> 30 anos

Feminino

Idade

Gosto

Profisso

Aptido dos Padres

Sexo

Idade

Gosto

Profisso

Aptido
baixa

Masculino

I>30

Feminino

baixa

Masculino

I<30

boa

Sim

Mdico

Gostam de
Futebol Mdico
Jogadores
> 30 anos
da Seleo
Feminino
Masculino

baixa

Representao de um
Schema

Utiliza-se um smbolo adicional:

= dont care

Exemplo:

H= 1 1

H um padro que descreve todos os cromossomas do espao

2 3 , cujos os dois primeiros bits so iguais a 1, no importando
os demais.

Interpretao

f(x) = x2 , x 23
Seja o schema
schema::
H= 1 1
H refere-se a conjectura que a razo pela qual 111 e
110 so bons cromossomas (ou no), so os dois
bits mais significativos iguais a 1, no importando os
demais.
Para esta conjectura podem existir numa
determinada populao dois representantes: 110 e
111.
110 e 111 pertencem a H= 1 1

Nmero de Schemata

Seja o espao de busca KL onde:

K nmero de elementos do alfabeto de representao
L comprimento do cromossoma

Total de Schemata = (K+1) L

Exemplo: K=2; L=3

23 = 8 pontos
Total de Schemata = 27

Ordem de um Schema
Ordem ou Especificidade O(H)
O(H) nmero de posies fixas (diferentes de *)
presentes no schema

H= 0 1 1 1

O(H) =4

H= 0

O(H) =1

Comprimento de um Schema

(H) distncia entre a primeira e a ltima posies

especficas (diferentes de *) no schema.

H= 0 1 1 1

(H) =4

H= 0

(H) =0

Representao Geomtrica
Schemata de Ordem 3: Pontos
110

111

010

011

100

101

001

000

Representao Geomtrica
Schemata de Ordem 2: Linhas
11

110

111

11

10
01

010

011

1 0

1 1

0 0

0 1
10

100

101

00

000

01
00

001

Representao Geomtrica
Schemata de Ordem 1: Planos
110

111

1
010

011
1

1
0

100

101

0
001

000

Indivduos Pertencentes ao
um Schema

Um indivduo pertence a um schema se para todas as

L posies o smbolo do indivduo igual ao smbolo
do schema, exceto nas posies onde o smbolo do
schema dont care ().
Um schema possui 2L-O(H) indivduos.
Exemplo: 1 possui 23-1 indivduos
0
0
1
1

10
11
10
11

Indivduos Pertencentes ao
Schema
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

Sch ema
0 00
0 01
00 *
0 10
0 11
01 *
0* 0
0* 1
0 **
1 00
1 01
10 *
1 10
1 11
11 *
1* 0
1* 1
1 **
*0 0
*0 1
* 0*
*1 0
*1 1
* 1*
* *0
* *1
***

I ndi v du os
0 00
0 01
0 00
0 10
0 11
0 10
0 00
0 01
0 00
1 00
1 01
1 00
1 10
1 11
1 10
1 00
1 01
1 00
0 00
0 01
0 00
0 10
0 11
0 10
0 00
0 01
0 00

0 01

0
0
0
0

11
10
11
01

0 10

0 11

1 10

1 11

1 00

1 01

1
1
1
0

1
1
1
0

1 01

1
1
1
1
1
1
0
1
1
0
0
0
0

11
10
11
01
00
01
01
10
11
11
10
11
01

10
00
01
10

11
10
11
11

1 00

10 1

11 0

11 1

Schemata representados por

um indivduo

Um indivduo representa 2L schemata.

Para cada uma das L posies de um indivduo, define-se
um schema diferente, usando o smbolo presente no
indivduo ou o smbolo .
Exemplo: 0 1 0 representa os seguintes schemata:
0 10
1 0
00
01
0
1
0

Porque utilizar schema

schema?
?

Porque considerar (K+1) L ao invs de considerar apenas K L

indivduos?

John Holland procurou mostrar com schemata, o paralelismo da

busca atravs do espao de solues.
H mais informaes nos schemata para guiar a busca do que
simplesmente nos indivduos.
Numa populao de n indivduos, onde cada indivduo representa 2 L
schemata, h entre 2 L e n.2 L schemata, dependendo da diversidade
da populao.
J. Holland mostrou que o nmero de schemata processados a cada
gerao proporcional a n3

Paralelismo Implcito um GA processa n3 schemata em paralelo,

enquanto avalia n indivduos.

Teorema Fundamental de GA
Schemata permitem analizar o efeito global da reproduo e
dos operadores genticos.

Efeito da Seleo

Efeito do Crossover

Efeito da Mutao

Efeito da Seleo

Seja m(H,t) o nmero de representantes do schema H na

populao no ciclo t.

Sabemos que, pi = fi / fj a probabilidade do

cromossoma i ser escolhido.

Ento, o nmero esperado de representantes de H no

ciclo seguinte (t+1) :
i H

m(H, t+1) = n .

i H

m(H, t+1) = n .

fi / fj

fi / fj

Definindo a aptido mdia do schema H, como

i H

f(H) =

fi / m(H,t)

ento,
n

m(H, t+1) = m(H, t) . n . f(H) / fj

n

Como fmdio = fj / n ento,

m(H, t+1) = m(H, t) . f(H)/ fmdio
Analisando podemos dizer que:
1- Schemata com aptido acima da mdia proliferam;
2- Schemata com aptido abaixo da mdia tendem a
desaparecer.

Taxa de Evoluo

Supondo H acima da mdia de um fator constante C

estacionrio, a partir de t=0:
C.f mdio) / fm dio
m(H, t+1) = m(H, t) . (f
(fm dio + C.f
m(H, t+1) = m(H, t) . (1+C)

Assim,para qualquer t temos:

m(H, t+1) = m(H, 0) . (1+C)t
O nmero ocorrncias nas geraes sucessivas de bons
(maus) schemata, cresce (decresce) exponencialmente.

Efeito do Crossover

Ex: A vai cruzar com outro genitor; o que acontece a H1 e H2?

Ponto de crossover

H1

H2

H1

ser destrudo e padro no ser transmitido aos descendentes a

no ser que par genitor de A possa recuperar padro.

H2

sobrev iv er e ser transmitido a um dos descendentes.

Probabilidade de Destruio
pd = (H) / (L
(L--1)

A probabilidade de sobrevivncia de H ,
(L--1)
ps = 1 - (H) / (L

Ento, considerando a probabilidade do crossover e

a recuperao de H aps o crossover temos,
ps 1 - p c .(H) / (L
(L--1)

Portanto,

m(H, t+1) m(H, t) . f(H) / fmdio [1 - pc .(H) / (L

(L--1)]

Efeito da Mutao

Seja, pm a probabilidade de uma posio sofrer

mutao.
1- pm a probabilidade de sobrevivncia.
H tem O(H) posies fixas
Assim, a probabilidade de sobrevivncia do schema :
(1-- pm)O(H)
(1

Sabendo que pm 1, ento

(1-- pm)O(H) 1 - O(H) . pm
(1

Teorema Fundamental de GA
m(H, t+1) m(H, t).f(H) / fmdio [1
[1-- pc .(H) / (L
(L--1)].[
1)].[1
1O(H).p
O(H).
pm ]
Schemata curtos, de baixa ordem e com alta aptido tendem
a proliferar nas geraes sucessivas, a uma taxa
exponencial.

Hiptese dos Blocos

Construtores
Assim como uma criana cria grandes castelos
empilhando pequenos blocos, um algoritmo gentico
busca desempenho prximo do timo atravs da
justaposio de schemata curtos, de baixa ordem e
de alta aptido, ou blocos construtores.

Processando Schemata
Nmero

1
2
3
4

P opula o
I nic ial

0
1
0
1

1
1
1
0

1
0
0
0

0
0
0
1

1
0
0
1

x
Inteiro

f(x)
x2

13
24
8
19

169
576
64
361

0,14
0,49
0,05
0,31

0, 58
1, 97
0, 22
1, 23

1
2
0
1

1170
293
576

1,00
0,25
0,49

4, 00
1
1, 97

4
1
2

S oma
Mdia
Mx imo

P rob. Nmero Result . Pares de Geni tores e

S el e o Des cen. Roleta Pont os de Corte

0
1
1
1

1
1
1
0

1
0
|
|

0
0
0
0

|
|
0
1

1
0
0
1

Nova Populao

0
1
1
1

1
1
1
0

1
0
0
0

0
0
1
0

0
1
1
0

x
Inteiro

f(x )
x2

12
25
27
16

144
625
729
256
1754
439
729

P roc es sament o de Sc hemata

Aps
Seleo
c om p(H) O(H) Repres .
H1
H2
H3

1
*
1

*
1
*

*
0
*

*
*
*

*
*
0

0
1
4

1
2
2

2, 4
2, 3
2

iH

Aps
Cros sover

f(H)

m(H,t +1)

real

469
320
576

3,2
2, 18
1, 97

3
2
2

f i / m(H,t)

Repres. m(Ht +1)

2,3,4
2,3
2,3

3, 2
1,64
0

real

Repres.

3
2
1

2,3,4
2,3
4

= m(H, t) . f(H) / f mdio[1 -p c .(H) / (L1)]

= m(H, t) . f(H)/ f mdio

Processando Schemata
Nmero

1
2
3
4

P opula o
I nic ial

0
1
0
1

1
1
1
0

1
0
0
0

0
0
0
1

1
0
0
1

x
Inteiro

f(x)
x2

13
24
8
19

169
576
64
361

0,14
0,49
0,05
0,31

0, 58
1, 97
0, 22
1, 23

1
2
0
1

1170
293
576

1,00
0,25
0,49

4, 00
1
1, 97

4
1
2

S oma
Mdia
Mx imo

P rob. Nmero Result . Pares de Geni tores e

S el e o Des cen. Roleta Pont os de Corte

0
1
1
1

1
1
1
0

1
0
|
|

0
0
0
0

|
|
0
1

1
0
0
1

Nova Populao

0
1
1
1

1
1
1
0

1
0
0
0

0
0
1
0

0
1
1
0

x
Inteiro

f(x )
x2

12
25
27
16

144
625
729
256
1754
439
729

P roc es sament o de Sc hemata

Aps
Seleo
c om p(H) O(H) Repres .
H1
H2
H3

1
*
1

*
1
*

*
0
*

*
*
*

*
*
0

0
1
4

1
2
2

2, 4
2, 3
2

Aps
Cros sover

f(H)

m(H,t +1)

real

469
320
576

3,2
2, 18
1, 97

3
2
2

iH

fi / m(H,t)

= m(H, t) . f(H)/ fmdio

Repres. m(Ht +1)

2,3,4
2,3
2,3

3, 2
1,64
0

real

Repres.

3
2
1

2,3,4
2,3
4

= m(H, t) . f(H) / fmdio [1 - pc .(H) / (L-1)]

Planilha Fundamentos de GA
Nm
1
2
3
4
5
6
7
8
9
10

P opula o Ini cial

1 1 1 0 0
1 1 1 0 0
1 1 1 1 0
1 1 1 0 1
1 1 1 1 0
1 1 1 1 0
1 1 1 1 0
1 1 1 1 0
1 0 1 1 1
1 1 1 0 0
10

S oma
Mdia
Mx imo

x i nt eiro f(x ) =
28
28
30
29
30
30
30
30
23
28
286
28,6
30

x^2
784
784
900
841
900
900
900
900
529
784

Prob.
Sele o
0,0953539
0,0953539
0,1094624
0,1022865
0,1094624
0,1094624
0,1094624
0,1094624
0,0643396
0,0953539

Nm.
Ex ecuo
Desc ende A ut omt ic a
0, 953539
0, 953539
Seleo
1, 094624
1, 022865
Crossover
1, 094624
Mu tao
1, 094624
1, 094624
1, 094624
0, 643396 Exec utar
0, 953539

8222
1
10
822,2
0,1
1
900 0,1094624 1, 094624

Configuraes
Populao
10 (at 10)
Cros sover
0,6 (0 a 1)
Mut ao
0, 08 (0 a 1)
Gera es
20

Gerar Pop ulao

No va Ge rao
Evo lu ri Gera es

Result . Pares de Genitores

Rolet a
P ontos de Cort e
2 1 1 1 0
0 1 1 1 0
3 1 1 1 1
3 1 1 1 0
1 1 1 1 1
0 1 1 1 1
0 1 1 1 1
0 1 1 1 1
1 1 1 1 1
0 1 1 1 0
10
10
1
3

H1
H2
H3
H4
H5

1
*
1

comp(H)
*
*
0

O(H)
0
1
4
4
4

1
2
2
0
0

m(H,t +1)
Repres ent a f(H)
822,2 10, 0000001
10 {1,2,3,4,
0 {}
0
0
856,5 8,33373875
8 {1,2, 3, 5, 6
0 {}
0
0
0 {}
0
0

Real
Representant es
10 {1,2,3, 4, 5, 6, 7,8,9,10}
0 {}
10 {1,2,3, 4, 5, 6, 7,8,9,10}
0 {}
0 {}

Efeito da Cardinalidade
x
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Espa o
Cardi nalida de
Sche mata

Binrio
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
16
2
81

0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

0
0
0
0
0
0
0
0
0
0

5
5
2
2
1
1
5
5
5
5

P roces sament o de Sc hem

Aps S ele o
S chemat a
*
* *
1 0 *
*
* *

N o Bi nrio
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
16
16
17

Aptido
0
1
4
9
16
25
36
49
64
81
100
121
144
169
196
225

Concluses

GA explora similaridades em codificaes arbitrrias

atravs de schema.
A codificao binria simples e eficiente,
oferecendo o nmero mximo de schemata, porm
nem sempre adequada.
A representao de cromossomas fundamental
para o desempenho de um GA.

Princpios de Escolha da
Representao

Representatividade
deve representar todo o espao de busca relevante ao
problema

Schemata
deve prestigiar a formao de schemata curtos e de baixa
ordem

Alfabeto
deve utilizar um alfabeto mnimo que permita a expresso
natural do problema