LS(graph & tree): a local search framework for constraint optimization on graphs and trees

  • Authors:
  • Pham Quang Dung;Yves Deville;Pascal Van Hentenryck

  • Affiliations:
  • University of Louvain, Louvain-la-Neuve, Belgium;University of Louvain, Louvain-la-Neuve, Belgium;Brown University, Providence, RI

  • Venue:
  • Proceedings of the 2009 ACM symposium on Applied Computing
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

LS(Graph & Tree) is a local search framework which aims at simplifying the modeling of Constraint Satisfaction Optimization Problems on graphs (CSOP on graphs or GCSOP). Optimum Constrained Trees (OCT) problems (a subclass of CSOP on graphs) in which we need to find an optimum subtree with additional constraints of a given weighted graph arise in many real-life applications. This paper introduces the LS(Graph & Tree) framework and local search abstractions for OCT problems. These abstractions are applied to model and solve the edge weighted k-Cardinality Tree (KCT) problem. The modeling as well as experimental results show the significance of the abstractions.