Applicazione riuscita di metodi branch-and-bound per problemi NP-hard

13

Branch and bound è un'euristica efficace per i problemi di ricerca e Wikipedia elenca una serie di problemi difficili in cui è stato utilizzato branch-and-bound. Tuttavia, non sono stato in grado di trovare riferimenti per suggerire che è più di un "solo metodo" per risolvere questi problemi.

Aneddoticamente, ho sentito che alcune delle migliori euristiche per la programmazione SAT e integer provengono da diramazioni e limiti, quindi la mia domanda è:

Qualcuno può indicarmi eventuali riferimenti che descrivono in dettaglio gli usi efficaci del ramo e sono legati a problemi NP-difficili?

— Suresh Venkat
fonte

1

Sto leggendo questo articolo per un motivo diverso, ma sembra toccare la tua domanda ed è affascinante: Algorithm Portfolios di Gomes e Selman.

— Aaron Sterling,

2

Un buon libro da leggere sulla programmazione dei numeri interi è Integer and Combinatorial Optimization di Nemhauser & Wolsey. Copre una vasta gamma di argomenti tra cui diversi paradigmi come branch and bound, branch and cut, ecc. E altre tecniche IP come il taglio di piani, ecc.

— Opt

9

Per TSP, consulta questo libro ... http://www.tsp.gatech.edu/book/index.html

La mia comprensione è che non esiste uno strumento per ucciderli tutti. Probabilmente qualsiasi soluzione ricorsiva che distribuisce il backtracking e alcune funzioni di punteggio utilizza branch e bound. Come tale, una grande parte di solutori di problemi difficili NP usa una qualche forma di diramazione e limite.

— Sariel Har-Peled
fonte

9

Il problema del partizionamento della cricca potrebbe non essere il problema NP-hard più popolare, ma è stato risolto in modo efficiente utilizzando branch-and-bound, vedi questo documento: http://joc.journal.informs.org/content/6/2/141 .astratto

— Florian Jaehn
fonte

4

Exact Exponential Algorithms è un bel libro recente su tali algoritmi. Anche l'algoritmo X per l'esatto problema di copertura è utile.

— Radu GRIGore
fonte

Assicurati di

— leggere