Showing 1–1 of 1 results for author: Fiori-Carones, M

To reorient is easier than to orient: an on-line algorithm for reorientation of graphs

Authors: Marta Fiori-Carones, Alberto Marcone

Abstract: We define an on-line (incremental) algorithm that, given a (possibly infinite) pseudo-transitive oriented graph, produces a transitive reorientation. This implies that a theorem of Ghouila-Houri is provable in RCA_0 and hence is computably true. We define an on-line (incremental) algorithm that, given a (possibly infinite) pseudo-transitive oriented graph, produces a transitive reorientation. This implies that a theorem of Ghouila-Houri is provable in RCA_0 and hence is computably true. △ Less

Submitted 11 January, 2021; v1 submitted 4 October, 2019; originally announced October 2019.

Comments: Only minor (non mathematical) changes introduced. To appear in Computability

Journal ref: Computability, 10 (2021), 215-233