Solving the pricing problem in a branch-and-price algorithm for graph coloring using zero-suppressed binary decision diagrams

From MaRDI portal
Publication:2806865

DOI10.1287/IJOC.2015.0667zbMATH Open1338.90431arXiv1401.5820OpenAlexW2964309041MaRDI QIDQ2806865FDOQ2806865

E. C. Sewell, David R. Morrison, Sheldon H. Jacobson

Publication date: 19 May 2016

Published in: INFORMS Journal on Computing (Search for Journal in Brave)

Abstract: Branch-and-price algorithms combine a branch-and-bound search with an exponentially-sized LP formulation that must be solved via column generation. Unfortunately, the standard branching rules used in branch-and-bound for integer programming interfere with the structure of the column generation routine; therefore, most such algorithms employ alternate branching rules to circumvent this difficulty. This paper shows how a zero-suppressed binary decision diagram (ZDD) can be used to solve the pricing problem in a branch-and-price algorithm for the graph coloring problem, even in the presence of constraints imposed by branching decisions. This approach facilitates a much more direct solution method, and can improve convergence of the column generation subroutine.


Full work available at URL: https://arxiv.org/abs/1401.5820




Recommendations




Cites Work


Cited In (14)

Uses Software





This page was built for publication: Solving the pricing problem in a branch-and-price algorithm for graph coloring using zero-suppressed binary decision diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2806865)