Abstract : 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.
https://hal.inria.fr/inria-00074611 Contributor : Rapport de Recherche InriaConnect in order to contact the contributor Submitted on : Wednesday, May 24, 2006 - 3:53:52 PM Last modification on : Friday, February 4, 2022 - 3:16:34 AM Long-term archiving on: : Monday, April 5, 2010 - 12:12:13 AM