The defect of a (partial) order relationP is defined to be the rank of the kernel of the associated incidence matrix. Gierz and Poguntke [7] have shown that the defect provides a lower bound for the number of incomparable adjacent pairs in an arbitrary topological sorting ofP. We show that this bound is sharp for interval orders without odd crowns. Furthermore, an efficient algorithm for topological sortings of such orders is presented which achieves the bound. We finally exhibit a natural matroid structure associated with the optimal topological sortings under consideration, which permits to solve the weighted case.ZusammenfassungDer Defekt einer HalbordnungP ist definiert als der Korang der zugehörigen Inzidenzmatrix. Gierz und Poguntke [7] haben den Defekt als eine untere Schranke für die Anzahl von Paaren unvergleichbarer Elemente, die in einer gegebenen linearen Erweiterung benachbart auftreten können, nachgewiesen. Wir zeigen, daß für Intervallordnungen ohne ungerade Kronen die Schranke exakt ist, und wir geben einen effizienten Algorithmus zur Konstruktion linearer Erweiterungen an, die in diesem Fall die Schranke erreichen. Wir weisen weiter nach, daß die Menge der optimalen linearen Erweiterungen einer solchen Ordung in natürlicher Weise eine Matroidstruktur induziert, die sich zur Lösung des gewichteten Problems verwenden läßt.
[1]
Michel Habib,et al.
Nombre de sauts et graphes série-parallèles
,
1979,
RAIRO Theor. Informatics Appl..
[2]
Ivan Rival.
Optimal linear extensions by interchanging chains
,
1983
.
[3]
M. Golumbic.
Algorithmic graph theory and perfect graphs
,
1980
.
[4]
Rainer Schrader,et al.
A setup heuristic for interval orders
,
1985
.
[5]
P. Winkler,et al.
Minimizing setups for cycle-free ordered sets
,
1982
.
[6]
Rainer Schrader,et al.
Algorithmic approaches to setup minimization
,
1985,
SIAM J. Comput..
[7]
Rainer Schrader,et al.
Minimizing Completion Time for a Class of Scheduling Problems
,
1984,
Inf. Process. Lett..
[8]
Gerhard Gierz,et al.
Minimizing Setups for Ordered Sets: A Linear Algebraic Approach
,
1983
.