Minimum equivalent precedence relation systems
Paper i proceeding, 2015

In this paper two related simplification problems for systems of linear inequalities describing precedence relation systems are considered. Given a precedence relation system, the first problem seeks a minimum equivalent subset of the precedence relations (i.e., inequalities) which has the same solution set as that of the original system. The second problem is similar to the first one, but the minimum equivalent system need not be a subset of the original system. This paper shows that the first problem is NP-hard. However, a sufficient condition is derived under which the first problem is solvable in polynomial-time. In addition, a decomposition of the first problem into independent tractable and intractable subproblems is derived. The second problem is shown to be solvable in polynomial-time, with a full parameterization of all solutions described. The results in this paper generalize those in [Moyles and Thompson 1969, Aho, Garey, and Ullman 1972] for the minimum equivalent graph problem and transitive reduction problem, which are applicable to unweighted directed graphs.

Författare

Kin Cheong Sou

Göteborgs universitet

Chalmers, Matematiska vetenskaper, Matematik

Proceedings of the IEEE Conference on Decision and Control

07431546 (ISSN) 25762370 (eISSN)

Vol. 54rd IEEE Conference on Decision and Control,CDC 2015 3299-3304
978-1-4799-7886-1 (ISBN)

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Beräkningsmatematik

Diskret matematik

Fundament

Grundläggande vetenskaper

DOI

10.1109/CDC.2015.7402715

ISBN

978-1-4799-7886-1

Mer information

Senast uppdaterat

2024-07-12