Una heurística es un procedimiento que se puede aplicar genéricamente a muchos problemas (por ejemplo, descenso de gradiente, optimización alternante, recocido simulado) pero normalmente no tendrá garantías formales asociadas con su uso.
¿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...
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 /...
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...
¿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...
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....
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...
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...
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...
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...
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,...
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...
¿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 + (1 - x_0) ( x0x0x_0 a la...