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

Se a memória disponível assim permitir, diversos subconjuntos candidatos
podem ser expandidos simultaneamente na memória (o que pode permitir a
paralelização da busca em diversos subconjuntos candidatos). Caso
contrário, apenas um subconjunto candidato deve ser expandido. Neste
caso, deve ser possível retornar a uma bifurcação anterior no processo de
busca e gerar um novo subconjunto a partir do subconjunto candidato pai, se
a busca no subconjunto candidato atual for infrutífera.
Por estes motivos, é conveniente incluir no código associado a cada
subconjunto candidato informações adicionais que explicitamente definam o
subproblema restante representado pelo subconjunto. O código que
especifica esta informação adicional é denominado estado. O conjunto de
todos os subproblemas que podem ser obtidos executando alguma sequência
de operadores a partir de uma determinada posição da busca é denominado
espaço de estados. Se conectarmos todos os elementos deste espaço por
arestas rotuladas com o operador apropriado, obtemos um grafo de espaço
de estados ou grafo de busca.
Para exemplificar estes conceitos, consideremos um subconjunto candidato
para o conhecido problema do caixeiro-viajante (“traveling salesman
problem”) [13]
1A
→ 44B →24C4→
43D
→{
E,
F}
→ A
142
4 43 4
subconjunto
candidato
A primeira sequência, A → B → C → D , identifica o subconjunto de todos os
caminhos que têm início na cidade A e passam, nesta ordem, pelas cidades
B, C e D . A sequência { E, F}
→ A é o estado e, neste caso, representa o
caminho restante para alcançar novamente a cidade A , passando por cada
uma das cidades no conjunto { E, F}
e, finalmente, alcançando a cidade A . É
importante notar que a primeira sequência é necessária e suficiente,
enquanto o estado é redundante e incompleto. Em outras palavras, o
subproblema representado pelo estado não identifica o caminho. Por outro
lado, a parcela do caminho solução representada por A → B → C → D
representa univocamente o problema restante.
Apêndice B 184
estado