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...
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 /...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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 x 3 + x 2 + x 1 + ( 1 - x 0 )d+1d+1d+1RdRd\mathbb{R}^dxxxxxx∑xi∑xi\sum