Modeling poset convex subsets

M. Queyranne () and L.A. Wolsey ()
Additional contact information
M. Queyranne: Université catholique de Louvain, CORE, Belgium
L.A. Wolsey: Université catholique de Louvain, CORE, Belgium

No 2015049, LIDAM Discussion Papers CORE from Université catholique de Louvain, Center for Operations Research and Econometrics (CORE)

Abstract: A subset S of a poset (partially ordered set) is convex if and only if S contains every poset element which is between any two elements in S. Poset convex subsets arise in applications that involve precedence constraints, such as in project scheduling, production planning, and assembly line balancing. We give a strongly polynomial time algorithm which, given a poset and element weights (of arbitrary sign), finds a convex subset with maximum total weight. This algorithm relies on a reduction to a maximum weight filter (or closure) problem in a poset about twice the size of the given poset; the latter problem is wellsolved as a minimum s-t cut problem. We also use this reduction to construct a compact, ideal extended formulation for the convex hull Cp of the characteristic vectors of all convex subsets in poset P. We define a class of alternating inequalities that are valid for Cp and admit a linear time separation algorithm based on Dynamic Programming (DP). Furthermore, whenever the point to separate is actually in Cp the associated DP value functions induce a feasible solution to the extended formulation. This implies that the alternating inequalities and nonnegative inequalities suffice to describe Cp. We conclude by showing that this polyhedral description is minimal, and thus also admits a linear time separation algorithm.

Keywords: partial order; convex subsets; extended formulation; convex hull; separation algorithms; dynamic programming (search for similar items in EconPapers)
Date: 2015-11-25
New Economics Papers: this item is included in nep-ppm
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://sites.uclouvain.be/core/publications/coredp/coredp2015.html (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:cor:louvco:2015049

Access Statistics for this paper

More papers in LIDAM Discussion Papers CORE from Université catholique de Louvain, Center for Operations Research and Econometrics (CORE) Voie du Roman Pays 34, 1348 Louvain-la-Neuve (Belgium). Contact information at EDIRC.
Bibliographic data for series maintained by Alain GILLIS ().