Preguntas etiquetadas con heuristics

¿Qué explicaciones teóricas existen para el éxito práctico de los solucionadores de SAT, y alguien puede dar una descripción y explicación "estilo wikipedia" uniéndolos a todos? Por analogía, el análisis suavizado ( versión arXiv ) para el algoritmo simplex hace un gran trabajo explicando por qué funciona tan bien en …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Problema de matrimonio estable: http://en.wikipedia.org/wiki/Stable_marriage_problem Soy consciente de que para una instancia de un SMP, son posibles muchos otros matrimonios estables, aparte del que devuelve el algoritmo Gale-Shapley. Sin embargo, si solo se nos da , el número de hombres / mujeres, hacemos la siguiente pregunta: ¿podemos construir una lista …

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

¿Hay algún problema completo de NP sin un subconjunto infinito de instancias tal manera que la membresía en se pueda decidir en tiempo polinómico, y para todos , se pueda resolver en tiempo polinómico? (Suponiendo )Φ x ∈ Φ x P ≠ N PΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhiXxxPAG≠ NPAGP≠NPP \neq …

18 cc.complexity-theory  np-complete  heuristics 

Me gustaría calcular el ancho de árbol de un gráfico. Hay muy buenas heurísticas para otros problemas de gráficos NP-hard, como VF2 para isomorfismo de subgrafo, con código disponible en igraph, por ejemplo. Los probé en mis gráficos y encuentro que se ejecutan muy rápido para mis datos. ¿Hay algún …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

Estoy preparando material del curso sobre heurística para la optimización, y he estado buscando métodos de descenso coordinado. La configuración es aquí una función multivariada fff que desea optimizar. fff tiene la propiedad que se restringe a cualquier variable individual, es fácil de optimizar. Por lo tanto, el descenso de …

14 ds.algorithms  reference-request  optimization  heuristics 

En este artículo de Kempe-Kleinberg-Tardos, los Autores proponen algoritmos codiciosos basados ​​en funciones submodulares para determinar los nodos más influyentes en un gráfico, con aplicaciones a las redes sociales.kkk Básicamente, el algoritmo es el siguiente: S= e m p t y s e t S=mimetropagty smitS = {\rm empty~set} elija …

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

Ramificar y vincular es una heurística eficaz para los problemas de búsqueda, y Wikipedia enumera una serie de problemas difíciles en los que se ha utilizado ramificar y vincular. Sin embargo, no he podido encontrar referencias que sugieran que es más que solo "un método" para resolver estos problemas. Como …

13 ds.algorithms  reference-request  optimization  heuristics 

Estoy buscando una lista de problemas de optimización NP-hard, donde hay una investigación activa en heurística práctica para resolverlos y hay puntos de referencia comunes, que las personas intentan superar. Los ejemplos incluyen: Reconstrucción de árboles filogenéticos (heurística, por ejemplo, aquí ) Vendedor ambulante (no tan activo, pero LKH es …

9 heuristics 

Los solucionadores SMT como Z3 o Boolector utilizan un conjunto complejo de heurísticas para resolver problemas. Sin embargo, esto también hace que sea muy difícil predecir el rendimiento de un solucionador de este tipo para un problema dado. Mi pregunta es así: Pregunta ¿Hay alguna manera de comprender u obtener …

9 ds.algorithms  sat  heuristics 

Estoy impartiendo un curso sobre metaheurística y necesito generar instancias interesantes de problemas combinatorios clásicos para el término proyecto. Centrémonos en TSP. Estamos abordando gráficos de dimensión y mayores. Por supuesto, intenté generar un gráfico con una matriz de costos con valores tomados de una aleatoria , y descubrí que …

9 ds.algorithms  co.combinatorics  optimization  tsp  heuristics 

Como es viernes, es hora de una pregunta de CW. Estoy buscando heurísticas que tengan un amplio uso en problemas de optimización. Para limitar el alcance a más heurísticas 'amigables con la teoría', aquí están las reglas (algunas arbitrarias, otras no) Debe ser un método bien definido sin numerosos parámetros …

9 ds.algorithms  reference-request  optimization  heuristics 

¿Cómo se pueden encontrar las esquinas d+1d+1d+1 del cubo unitario en RdRd\mathbb{R}^d más cercano a un punto xxx en el cubo? Utilice la métrica L1, de modo que en 4d | xxx - 0000 | = ∑xi∑xi\sum {x_i} , | xxx - 0001 | = x3+x2+x1+(1−x0)x3+x2+x1+(1−x0)x_3 + x_2 + x_1 …

8 ds.algorithms  approximation-algorithms  heuristics