Perguntas com a marcação «heuristics»

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 é feito para …

28 complexity-theory  satisfiability  heuristics 

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 semelhantes …

18 heuristics  sat-solvers  constraint-programming 

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, estou procurando uma …

16 algorithms  artificial-intelligence  search-algorithms  heuristics 

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 inicial?

14 optimization  artificial-intelligence  heuristics 

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 …

12 algorithms  shortest-path  heuristics 

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 …

9 approximation  heuristics 

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 a influência da gravidade.nnn Exemplo Três polígonos: …

8 algorithms  time-complexity  optimization  computational-geometry  heuristics 

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 …

8 algorithms  search-algorithms  heuristics 

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 possíveis …

8 algorithms  optimization  heuristics  traveling-salesman 

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 …

7 algorithms  terminology  optimization  heuristics 

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 \mathcal{F}SSSFF\mathcal{F} Uma abordagem é resolver um problema de empacotamento de conjunto modificado. Suponha …

7 algorithms  combinatorics  heuristics 

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) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

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 …

7 algorithms  optimization  heuristics