Aplicación exitosa de métodos de ramificación y unión para problemas NP-hard

13

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 anécdota, escuché que algunas de las mejores heurísticas para la programación de SAT y enteros provienen de la rama y el límite, por lo que mi pregunta es:

¿Alguien puede señalarme alguna referencia que detalle los usos efectivos de la rama y los problemas de NP-hard?

Suresh Venkat
fuente
1
Ahora estoy leyendo este documento por una razón diferente, pero parece tocar su pregunta, y es fascinante: Carteras de algoritmos de Gomes y Selman.
Aaron Sterling el
2
Un buen libro para leer sobre la programación de enteros es Integer and Combinatorial Optimization de Nemhauser & Wolsey. Abarca una amplia gama de temas, incluyendo diferentes paradigmas como rama y unido, rama y corte, etc., y otras técnicas de IP como planos de corte, etc.
Opt

Respuestas:

9

Para TSP, consulte este libro ... http://www.tsp.gatech.edu/book/index.html

Tengo entendido que no hay una herramienta única para matarlos a todos. Podría decirse que cualquier solución recursiva que despliegue el backtracking y alguna función de puntuación está utilizando branch and bound. Como tal, una gran fracción de los solucionadores de problemas difíciles de NP utilizan alguna forma de ramificación y unión.

Sariel Har-Peled
fuente