aplicação de buscas heurísticas ao problema de determinação de ...

As vantagens de manter o código do estado explícito são muitas. É esta
porção do código que acelera a computação da (estimativa da) função
heurística. Além disso, suponhamos que, em um certo estágio da busca, o
banco de dados também contenha o código
1A
→ 44C →24B4→
43D
→{
E,
F}
→ A
142
4 43 4
subconjunto
candidato
Muito embora o subconjunto candidato representado por este código seja
diferente do apresentado anteriormente, seus estados são
idênticos. Assim, podemos determinar se um subconjunto candidato é
superior a outro sem resolver o subproblema associado ao estado.
Simplesmente comparando os custos dos dois caminhos entre A e
D , podemos descartar o subconjunto de pior custo, evitando considerações
futuras sobre membros deste subconjunto. Este tipo de descarte é
denominado descarte por dominância.
B.5 Procedimentos Básicos de Busca Heurística
No contexto que nos interessa, ou seja, a representação de um problema
através de seu grafo de espaço de estados, os vértices e arestas do grafo
representam o código do problema em questão. Para cumprir este objetivo,
basta considerar grafos que contêm um nó v , o nó inicial, representando o
problema inicial a ser resolvido. Alguns pares de nós serão interligados por
arestas que representam operadores. Se uma aresta liga o nó n ao nó n ' , o
nó n ' é dito um sucessor (ou filho ou prole) de n e o nó n é dito um ancestral
de n ' . Se n ' tem em n seu único ancestral, n é dito pai de n ' . O número de
sucessores que emanam de um nó n é o grau de saída deste nó. Para
nossos propósitos, o grau de saída dos nós é finito, definindo uma classe de
grafos denominada grafos localmente finitos. Na representação de um
problema, dois nós podem ser sucessores um do outro. Nesta situação, as
arestas direcionadas podem ser substituídas por uma única aresta não
direcionada.
Apêndice B 185
estado