Copyright © 1995 Published by Elsevier Science B.V.
Incremental constraint deletion in systems of linear constraints
Received 28 February 1994.
Communicated by R.G. Dromey
Available online 5 April 2000.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Suppose we are given a (possibly redundant) system of linear equalities and linear inequalities, C, and a solved form for C, and we now delete a constraint from C. We give an algorithm to incrementally compute a solved form for this new system. The algorithm has cost O(n2) where n is the number of constraints in C, while computing the solved form directly has expected cost O(n3). To our knowledge this is the first incremental algorithm for (re)computing a solved form after deleting a constraint.
Author Keywords: Algorithms; Incremental; Linear arithmetic constraints







E-mail Article
Add to my Quick Links

Cited By in Scopus (3)





