Perguntas com a marcação «heuristics»

Que explicações teóricas existem para o sucesso prático dos solucionadores de SAT, e alguém pode dar uma visão geral e uma explicação do "estilo da wikipedia", unindo-as? Por analogia, a análise suavizada ( versão arXiv )) para o algoritmo simplex faz um ótimo trabalho ao explicar por que funciona tão …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Problema no casamento estável: http://en.wikipedia.org/wiki/Stable_marriage_problem Estou ciente de que, para uma instância de um SMP, muitos outros casamentos estáveis ​​são possíveis além daquele retornado pelo algoritmo Gale-Shapley. No entanto, se recebermos apenas , o número de homens / mulheres, fazemos a seguinte pergunta - Podemos construir uma lista de preferências …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

Há algum problema NP completo com nenhum subconjunto infinito de instâncias tal que a adesão em Φ pode ser decidida em tempo polinomial, e para todo x ∈ Φ , x pode ser resolvido em tempo polinomial? (Assumindo P ≠ N P )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

Gostaria de calcular a largura da árvore de um gráfico. Existem realmente boas heurísticas para outros problemas de gráficos NP-hard, como VF2 para isomorfismo de subgráficos, com código disponível no igraph, por exemplo. Eu tentei eles nos meus gráficos e acho que eles correm muito rápido para os meus dados. …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

Estou preparando algum material do curso sobre heurística para otimização e tenho estudado métodos de descida coordenada. A configuração é aqui uma função multivariada que você deseja otimizar. tem a propriedade restrita a qualquer variável, é fácil otimizar. Portanto, a descida de coordenadas prossegue alternando as coordenadas, fixando tudo, exceto …

14 ds.algorithms  reference-request  optimization  heuristics 

Neste artigo de Kempe-Kleinberg-Tardos, os autores propõem algoritmos gananciosos baseados em funções submodulares para determinar os nós mais influentes em um gráfico, com aplicações em redes sociais.kkk Basicamente, o algoritmo é o seguinte: S= e m p t y s e t S=empty setS = {\rm empty~set} escolha o nó …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

Ramificação e encadernação é uma heurística eficaz para problemas de pesquisa, e a Wikipedia lista vários problemas difíceis nos quais ramificações e encadernações foram usadas. No entanto, não consegui encontrar referências para sugerir que é mais do que apenas "um método" para resolver esses problemas. Curiosamente, ouvi dizer que algumas …

13 ds.algorithms  reference-request  optimization  heuristics 

Os solucionadores SMT como Z3 ou Boolector usam um conjunto complexo de heurísticas para resolver problemas. No entanto, isso também dificulta muito a previsão do desempenho de um solucionador para um determinado problema. Minha pergunta é assim: Questão Existe uma maneira de entender ou obter informações sobre o desempenho de …

9 ds.algorithms  sat  heuristics 

Estou procurando uma lista de problemas de otimização NP-hard, onde há pesquisas ativas em heurística prática para resolvê-los e há benchmarks comuns que as pessoas tentam superar. Os exemplos incluem: Reconstrução de árvores filogenéticas (heurística, por exemplo, aqui ) Vendedor ambulante (não tão ativo, mas o LKH é bem conhecido) …

9 heuristics 

Estou ministrando um curso sobre meta-heurísticas e preciso gerar instâncias interessantes de problemas combinatórios clássicos para o termo projeto. Vamos nos concentrar no TSP. Estamos lidando com gráficos de dimensão e maiores. Naturalmente, tentei gerar um gráfico com uma matriz de custos com valores retirados de um aleatório e descobri …

9 ds.algorithms  co.combinatorics  optimization  tsp  heuristics 

Já que é sexta-feira, é hora de uma pergunta da CW. Estou procurando heurísticas que tenham amplo uso em problemas de otimização. Para limitar o escopo a heurísticas mais "amigáveis ​​à teoria", eis as regras (algumas arbitrárias, outras não) Deve ser um método bem definido, sem inúmeros parâmetros e com …

9 ds.algorithms  reference-request  optimization  heuristics 

Como encontrar os cantos do cubo da unidade em mais próximo de um ponto no cubo? Use a métrica L1, para que em 4d | - 0000 | = , | - 0001 = ( x 0 à direita) e assim por diante.R d x x ∑ x i x …

8 ds.algorithms  approximation-algorithms  heuristics