Series-parallel partial order

In order-theoretic mathematics, a series-parallel partial order is a partially ordered set built up from smaller series-parallel partial orders by two simple composition operations...

The series-parallel partial orders may be characterized as the N-free finite partial orders; they have order dimension at most two.. They include weak orders and the reachability relationship in directed trees and directed series–parallel graphs. The comparability graphs of series-parallel partial orders are cographs.

Series-parallel partial orders have been applied in job shop scheduling, machine learning of event sequencing in time series data, transmission sequencing of multimedia data, and throughput maximization in dataflow programming.

Series-parallel partial orders have also been called multitrees;. however, that name is ambiguous: multitrees also refer to partial orders with no four-element diamond suborder and to other structures formed from multiple trees.

Definition

Consider and , two partially ordered sets. The series composition of and , written , , or ,is the partially ordered set whose elements are the disjoint union of the elements of and . In , two elements and that both belong to or that both belong to have the same order relation that they do in or respectively. However, for every pair , where belongs to and belongs to , there is an additional order relation in the series composition. Series composition is an associative operation: one can write as the series composition of three orders, without ambiguity about how to combine them pairwise, because both of the parenthesizations and describe the same partial order. However, it is not a commutative operation, because switching the roles of and will produce a different partial order that reverses the order relations of pairs with one element in and one in .

The parallel composition of and , written , , or , is defined similarly, from the disjoint union of the elements in and the elements in , with pairs of elements that both belong to or both to having the same order as they do in or respectively. In , a pair , is incomparable whenever belongs to and belongs to . Parallel composition is both commutative and associative.

The class of series-parallel partial orders is the set of partial orders that can be built up from single-element partial orders using these two operations. Equivalently, it is the smallest set of partial orders that includes the single-element partial order and is closed under the series and parallel composition operations.

A weak order is the series parallel partial order obtained from a sequence of composition operations in which all of the parallel compositions are performed first, and then the results of these compositions are combined using only series compositions.

Forbidden suborder characterization

The partial order with the four elements , , , and and exactly the three order relations is an example of a fence or zigzag poset; its Hasse diagram has the shape of the capital letter "N". It is not series-parallel, because there is no way of splitting it into the series or parallel composition of two smaller partial orders. A partial order is said to be N-free if there does not exist a set of four elements in such that the restriction of to those elements is order-isomorphic to . The series-parallel partial orders are exactly the nonempty finite N-free partial orders.

It follows immediately from this (although it can also be proven directly) that any nonempty restriction of a series-parallel partial order is itself a series-parallel partial order.

Order dimension

The order dimension of a partial order is the minimum size of a realizer of , a set of linear extensions of with the property that, for every two distinct elements and of , in if and only if has an earlier position than in every linear extension of the realizer. Series-parallel partial orders have order dimension at most two. If and have realizers and respectively, then is a realizer of the series composition , and is a realizer of the parallel composition . A partial order is series-parallel if and only if it has a realizer in which one of the two permutations is the identity and the other is a separable permutation.

It is known that a partial order has order dimension two if and only if there exists a conjugate order on the same elements, with the property that any two distinct elements and are comparable on exactly one of these two orders. In the case of series parallel partial orders, a conjugate order that is itself series parallel may be obtained by performing a sequence of composition operations in the same order as the ones defining on the same elements, but performing a series composition for each parallel composition in the decomposition of and vice versa. More strongly, although a partial order may have many different conjugates, every conjugate of a series parallel partial order must itself be series parallel.

Connections to graph theory

Any partial order may be represented (usually in more than one way) by a directed acyclic graph in which there is a path from to whenever and are elements of the partial order with . The graphs that represent series-parallel partial orders in this way have been called vertex series parallel graphs, and their transitive reductions (the graphs of the covering relations of the partial order) are called minimal vertex series parallel graphs. Directed trees and (two-terminal) series parallel graphs are examples of minimal vertex series parallel graphs; therefore, series parallel partial orders may be used to represent reachability relations in directed trees and series parallel graphs.

The comparability graph of a partial order is the undirected graph with a vertex for each element and an undirected edge for each pair of distinct elements , with either or . That is, it is formed from a minimal vertex series parallel graph by forgetting the orientation of each edge. The comparability graph of a series-parallel partial order is a cograph: the series and parallel composition operations of the partial order give rise to operations on the comparability graph that form the disjoint union of two subgraphs or that connect two subgraphs by all possible edges; these two operations are the basic operations from which cographs are defined. Conversely, every cograph is the comparability graph of a series-parallel partial order. If a partial order has a cograph as its comparability graph, then it must be a series-parallel partial order, because every other kind of partial order has an N suborder that would correspond to an induced four-vertex path in its comparability graph, and such paths are forbidden in cographs.

Computational complexity

The forbidden suborder characterization of series-parallel partial orders can be used as a basis for an algorithm that tests whether a given binary relation is a series-parallel partial order, in an amount of time that is linear in the number of related pairs. Alternatively, if a partial order is described as the reachability order of a directed acyclic graph, it is possible to test whether it is a series-parallel partial order, and if so compute its transitive closure, in time proportional to the number of vertices and edges in the transitive closure; it remains open whether the time to recognize series-parallel reachability orders can be improved to be linear in the size of the input graph.

If a series-parallel partial order is represented as an expression tree describing the series and parallel composition operations that formed it, then the elements of the partial order may be represented by the leaves of the expression tree. A comparison between any two elements may be performed algorithmically by searching for the lowest common ancestor of the corresponding two leaves; if that ancestor is a parallel composition, the two elements are incomparable, and otherwise the order of the series composition operands determines the order of the elements. In this way, a series-parallel partial order on elements may be represented in space with time to determine any comparison value.

It is NP-complete to test, for two given series-parallel partial orders and , whether contains a restriction isomorphic to .

Although the problem of counting the number of linear extensions of an arbitrary partial order is #P-complete, it may be solved in polynomial time for series-parallel partial orders. Specifically,