Perguntas sobre estratégias algorítmicas que resolvem bem um problema rapidamente na maioria das vezes, mas não oferecem garantias.
Dada uma instância do SAT, eu gostaria de poder estimar o quão difícil será resolver a instância. Uma maneira é executar os solucionadores existentes, mas isso acaba com o objetivo de estimar as dificuldades. Uma segunda maneira pode ser procurar a proporção de cláusulas para variáveis, como é...
Se eu tiver um problema difícil, uma abordagem padrão é expressá-la como uma instância SAT e tentar executar um solucionador SAT nela. Outra abordagem padrão é expressá-lo como um problema de satisfação de restrições e tentar usar um solucionador de CSP. Os dois se sentem de alguma forma vagamente...
Ao usar A * (ou qualquer outro algoritmo de melhor localização de caminho), dizemos que a heurística usada deve ser admissível , ou seja, nunca deve superestimar o comprimento (ou os movimentos) reais do caminho da solução. Como uma heurística admissível garante uma solução ideal? De preferência,...
Fiz alguns testes de diferentes temperaturas iniciais no meu algoritmo de recozimento de simulação e notei que a temperatura inicial afeta o desempenho do algoritmo. Existe alguma maneira de calcular uma boa temperatura
Uma função heurística h ( n )h(n)h (n) é ... Consistente se o custo estimado do nó nnn à meta não for maior que o custo da etapa para o seu sucessor n′n′n' mais o custo estimado do sucessor à meta. Admissível se h ( n )h(n)h(n) nunca superestimar o custo real para o estado da meta. O livro do...
Eu tenho um problema em relação à seguinte situação. Eu tenho duas matrizes de números como este: index/pos 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Array 1(i): 1 2 3 4 7 5 4 3 7 6 5 1 2 3 4 2 Array 2(j): 4 4 8 10 10 7 7 10 10 11 7 4 7 7 4 Agora, suponha que a segunda matriz seja muito difícil...
Entendo que a Heurística 3-Opt para solucionar o problema do Vendedor ambulante envolve a remoção de três arestas de um gráfico e a adição de mais três para recompletar o passeio. No entanto, já vi muitos trabalhos que mencionam que, quando três arestas são removidas, restam apenas duas maneiras...
O seguinte problema foi estudado antes? Se sim, quais abordagens / algoritmos foram desenvolvidos para resolvê-lo? Problema ("Problema na altura máxima de empilhamento") Dado polígonos, encontre seu arranjo estável e sem sobreposição que maximize sua altura de empilhamento em um piso fixo sob...
Uma pesquisa * encontra a solução ideal para os problemas, desde que a heurística seja admissível, o que significa que nunca superestima o custo do caminho a partir de qualquer nó (e consistente, mas vamos nos concentrar em ser admissível no momento). Mas por que ele sempre encontra a solução...
Atualmente, estou trabalhando em uma solução para um problema para o qual (após um pouco de pesquisa) o uso de uma escalada e, mais especificamente, uma idéia algorítmica de escalada de espingarda (ou reinício aleatório ) parece ser a melhor opção, como eu não tenho idéia de como o melhor valor...
Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end...
Chame uma família de conjuntos "diversos" se cada conjunto tiver pelo menos um elemento exclusivo. Quais são as abordagens possíveis para encontrar o maior conjunto diversificado em uma família de conjuntos ?F={S1,…,Sk}F={S1,…,Sk}\mathcal{F} = \{S_1, \dotsc, S_k\}Si∈FSi∈FS_i \in...
Eu tenho lido sobre o Teorema Sem Almoço Gratuito, mas não consigo entender direito do que se trata. Ouvi esse teorema descrito em outro lugar como a alegação de que "não existe um otimizador universal de propósito geral". Por outro lado, o artigo da Wikipedia fala sobre 'soluções candidatas' que...