Algoritmos Genticos

Captulo 5
Ricardo Linden
Algoritmos Genticos - Captulo 5 2
Teoria dos GAs
Algoritmos genticos so um pesadelo em termos de
anlise;
Sua estrutura probabilstica por natureza;
No pretendemos explicar aqui matematicamente
todas as suas propriedades;
Objetivos:
explicar basicamente seus fundamentos;
dar uma boa idia de porque os GAs funcionam.
Algoritmos Genticos - Captulo 5 3
Esquemas Conceitos Bsicos
Um esquema consiste em um gabarito (template)
descrevendo um subconjunto dentre o conjunto de
todos os indivduos possveis;

O esquema descreve similaridades entre os
indivduos que pertencem a este subconjunto, ou
seja, descreve quais posies dos seus genomas
so idnticas.
Algoritmos Genticos - Captulo 5 4
Alfabeto de Esquemas
Consiste no conjunto de smbolos utilizados na nossa
representao mais o smbolo *;
* significa "no-importa" (don't care, wildcard ou coringa);
Indivduos que correspondem quele esquema diferem
exatamente nas posies onde encontramos este smbolo.
Quando usamos a representao binria, um esquema que
tenha comprimento n com m posies contendo o smbolo *
ter m graus de liberdade e representar at 2
m
indivduos
diferentes da atual populao.
Algoritmos Genticos - Captulo 5 5
Definio Formal
Um esquema uma string s={s
1
s
2
... s
1
}, com as
seguintes propriedades:
Comprimento n;
Posies pertencem ao conjunto (alfabeto
usado) + {*} (smbolo de wildcard);
Cada posio da string dada por s
k
*
chamada de especificao;
Um wildcard representa o fato de que aquela
posio pode assumir qualquer valor dentro do
conjunto
Algoritmos Genticos - Captulo 5 6
Exemplos
Populaes de strings de bits geram o alfabeto de
esquemas dado pelos smbolos {0, 1 e *}
Esquema

Indivduos que representa

1*

10 , 11

1*0*1

10001, 10011, 11001, 11011

**0

000, 010, 100, 110

Algoritmos Genticos - Captulo 5 7
Exemplos
Populaes de palavras, tm esquemas dados pelo
alfabeto ocidental ={a,b, ..., z} mais o smbolo *:
Esquema

Indivduos que representa

a*

aa, ab, ..., az

a*b

aab, abb, ..., azb

**xy

aaxy, abxy, ..., azxy, baxy, bbxy, ...,
bzxy, ...., zaxy, zbxy, ..., zzxy

Algoritmos Genticos - Captulo 5 8
Satisfao de um Esquema
Uma string x satisfaz um esquema se s
k

pertencente string s definidora do esquema, s
k
*,
temos que s
k
= x
k
.

Exemplo:
Esquema definido por s=**zq.
A string x=abzq satisfaz este esquema pois
s
1
=s
2
=* e tambm s
3
=x
3
e s
4
=x
4
.
A string y=abzz no satisfaz este esquema, posto
que s
4
y
4

Algoritmos Genticos - Captulo 5 9
Definies Importantes
Um esquema tem duas caractersticas importantes:
sua ordem e seu tamanho.

A ordem de um esquema, denotado por O(H),
corresponde ao nmero de posies neste esquema
diferentes de *

O tamanho do esquema, representado por (H), se
refere ao nmero de pontos de corte entre a primeira
e a ltima posies diferentes de * dentro do
esquema

Algoritmos Genticos - Captulo 5 10
Definies Importantes
Um problema associado normalmente piora do desempenho
de uma GA a questo da carona (hitchhiking).

Se um determinado esquema tiver um alto desempenho, todos
os bits presentes em indivduos tendem a se proliferar, no s
aqueles que pertencem ao esquema desejado.

Os bits em posies fora do esquema pegam carona com o
esquema para se propagar para as prximas geraes, mesmo
que eles no colaborem para a melhoria geral da avaliao do
cromossomo.
Algoritmos Genticos - Captulo 5 11
Definies Importantes
Existe problemas chamados de enganadores (deceptives).
Um problema dito enganador se um esquema que no
contm o mximo global tem uma avaliao mdia superior a
esquemas que o contm.
Se o seu problema for enganador, os esquemas que no
contm o mximo global tendero a proliferar-se, o que far
com que o resultado timo seja mais difcil de ser encontrado.
Uma caracterstica de um problema enganador que ele
difcil para todo e qualquer mtodo:
solues vizinhas ao mximo global, neste tipo de problema,
tendem a ter avaliaes baixas.
os mximos tendem a ser picos localizados em
depresses da funo de avaliao, que seriam evitadas
por mtodos de gradiente, entre outros.
Algoritmos Genticos - Captulo 5 12
Exemplos
Esquema

Ordem

Tamanho

*****1***

1

0

1******0

2

7

**1**1*0

3

5

101010

6

5

Algoritmos Genticos - Captulo 5 13
Paralelismo Implcito
O paralelismo fundamental dos GAs no est apenas no fato de
que uma populao contendo vrios indivduos manipulada
simultaneamente;
Existe paralelismo tambm embutido no fato que para cada
elemento da populao um GA manipula dezenas, qui
centenas de esquemas simultaneamente;
Os mecanismos de seleo natural vo fazer com que os
melhores esquemas acabem reproduzindo mais e
permanecendo mais tempo na populao;
Isto quer dizer que o importante no o indivduo e sim o
esquema.
Pode ser que o indivduo morra, mas o esquema que o torna
bom tende a proliferar e continuar na populao.
Algoritmos Genticos - Captulo 5 14
Teorema dos Esquemas
Enunciado por John Holland

Um GA calcula explicitamente a avaliao de n indivduos (a
populao corrente), mas implicitamente, ele calcula a
avaliao de um nmero muito maior de esquemas que so
instanciados por cada indivduo da populao
Paralelismo Implcito!

Esquemas com avaliao superior mdia tende a ocorrer
mais frequentemente nas prximas geraes e aqueles
esquemas ocorrendo em cromossomos com avaliaes abaixo
da mdia tendem a desaparecer
Algoritmos Genticos - Captulo 5 15
Teorema dos Esquemas
Formalmente:
n o nmero de indivduos pertencentes a um certo
esquema s
mdia de avaliao do esquema igual a r
x a mdia das avaliaes de toda a populao
nmero esperado de ocorrncias de s na prxima
gerao aproximadamente igual a n*r/x.
Algoritmos Genticos - Captulo 5 16
Exemplo
Populao dada por:
Indivduo

Avaliao

01101

169

11000

576

01000

64

10011

361


Mdia


292.5

Pertencentes
ao esquema 1****
Algoritmos Genticos - Captulo 5 17
Exemplo
Esquema 1****
Dois Indivduos
Mdia de avaliao: 468,5
Nmero esperado de indivduos: 468.5*2/292.5 3.2

Esquema 0**0*
Dois indivduos
Mdia de avaliao 116.5.
Deve estar presente em 116.5*2/292.5 0.8 indivduos
Algoritmos Genticos - Captulo 5 18
Ateno
Nmero no exato;
Normalmente ele no inteiro e s podemos ter um
nmero inteiro de indivduos
O GA no determinstico, e sim probabilstico:
o nmero tende a ser aquele calculado;
muita sorte (ou muito azar) nos sorteios pode
mudar este nmero
Algoritmos Genticos - Captulo 5 19
Efeito dos Operadores
Quando aplicamos o crossover, um corte no meio de um
esquema ir destru-lo para sempre
Exceo: o indivduo que estiver reproduzindo com o pai
que contm o esquema seja idntico a este depois da
posio de corte

Quanto maior for o tamanho do esquema ( (H) ), maior a sua
probabilidade de ser destrudo.
Um esquema de ordem 1 e tamanho zero nunca pode ser
destrudo

Reformulao do teorema dos esquemas: quanto maior a
avaliao do esquema e menor o seu tamanho, mais cpias ele
ter na prxima gerao.
Algoritmos Genticos - Captulo 5 20
Efeito dos Operadores
A mutao tambm destrutiva, se ocorrer em uma
posio em que o esquema possua um valor
diferente de *;

Quanto maior a ordem do esquema, mais chances
deste ser corrompido pelo operador de mutao;

Mutaes em posies em que o valor igual a *
no afetam a satisfao do esquema por parte do
indivduo corrente.
Algoritmos Genticos - Captulo 5 21
Ao dos Operadores
A ao dos operadores se encaixa no que Holland
costumava chamar de tenso entre explorao
(exploration, a busca de novas adaptaes) e
aproveitamente (explotation, a manuteno das
adaptaes teis feitas at a atual gerao).

Qualquer ao de operador gentico
potencialmente destrutiva, mas encaixa-se na
categoria de explorao, a busca por indivduos de
avaliao melhor que seus pais.
Algoritmos Genticos - Captulo 5 22
Enunciado Final do Teorema
O GA tende a preservar com o decorrer do tempo
aqueles esquemas com maior avaliao mdia e
com menores ordem e tamanho, combinando-os
como blocos de armar de forma a buscar a
melhor soluo
Algoritmos Genticos - Captulo 5 23
Ateno
Existe oposio ao teorema dos esquemas;

Altenberg (1995), por exemplo, aponta que o teorema dos
esquemas verdadeiro mesmo quando a representao
cromossomial totalmente aleatria;

Esta objeo, entre outras importantes, sugere apenas que a
rea de embasamento terico dos algoritmos genticos ainda
precisa de muito estudo e comprovao, antes de se considerar
consolidada.

Existem congressos devotados apenas a este tipo de estudo, e
muito ainda h por fazer nesta direo