On-line recognition of interval orders

Vincent Bouchitté (1) , Roland Jégou (2) , Jean-Xavier Rampon (3)

1 ENS de Lyon - École normale supérieure de Lyon
2 Départment d'Informatique Appliquée [Saint Etienne]
3 PAMPA - Models and Tools for Programming Distributed Parallel Architectures

The first one is optimal in time and space and recognizes the transitive closure of an interval order under the suborder hypothesis which means that we add a new element to the transitive closure of an interval order and test if the new digraph is always the transitive closure of an interval order. The second one recognizes the transitive reduction of an interval order in linear space and almost linear time under the linear extension hypothesis which means that we add a new maximal element to the transitive reduction of an interval order.

Domaines: Autre [cs.OH]

Vincent Bouchitté, Roland Jégou, Jean-Xavier Rampon. On-line recognition of interval orders. [Research Report] RR-2061, INRIA. 1993. ⟨inria-00074611⟩