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

2. Não olhar embaixo de uma pedra mais do que uma vez.
A primeira diretiva é denominada integralidade (“completeness”) e a segunda
previne a computação repetitiva e ineficiente de buscas em subespaços de
busca já explorados. Isto significa que devemos equipar o código escolhido
com facilidades para expressar e manipular não apenas indivíduos, mas
subespaços de soluções potenciais. Mais do que isso, devemos ser capazes
de aplicar transformações que nos levem de um subespaço a outro e aplicar
os dois requisitos de sistematização de busca a subespaços de soluções
potenciais. Sob esta ótica, podemos dizer que a primeira diretiva estabelece
que todos os objetos (indivíduos) devem ser incluídos na coleção de
subespaços de busca expressíveis através do código escolhido e que todo
indivíduo deve ser passível de ser alcançado através de operações sobre o
subespaço ao qual ele pertence.
A segunda diretiva, se aplicada a subespaços de busca, implica que se o
subespaço S 1 for eliminado do espaço de busca, operações subsequentes
em outros subespaços não podem gerar qualquer membro de S 1 . Se o código
e as operações possíveis sobre o banco de dados exibem todas estas
propriedades, estaremos em condições de utilizar o método denominado
cisão e descarte (“split and prune”). Este método garante que operações
sobre o subespaço de busca restante não irão regerar membros de
subespaços de busca previamente rejeitados e que nenhuma solução
potencial é inspecionada mais de uma vez. A utilização de funções
heurísticas impõe requisitos adicionais em relação ao código escolhido. Não
basta que este código permita a representação de subespaços candidatos de
forma inequívoca. Ele também deve permitir a computação das funções
heurísticas de forma simples e eficiente.
A representação de espaços de busca pode ser feita de várias formas.
Estaremos particularmente interessados na sua representação através de
grafos do tipo OR (grafos do tipo AND/OR são adequados para a
representação de estratégias de solução de problemas de lógica), a qual é
particularmente adequada tanto para a representação dos espaços de busca
quanto para a implementação de técnicas de busca nos espaços
representados.
Apêndice B 183