Scifaro

中文

重新定向易于定向：一种图重定向的在线算法

逻辑 2023-01-03 v2 计算机科学中的逻辑组合数学

作者: Marta Fiori-Carones , Alberto Marcone

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们定义了一种在线（增量式）算法，该算法在给定（可能是无限的）伪传递有向图时，产生一个传递重定向。这意味着 Ghouila-Houri 的一个定理可在 RCA_0 中证明，因此是 computable true（可计算真）。

关键词

在线算法伪传递有向图传递重定向 Ghouila-Houri 定理 RCA_0 可计算性

引用

@article{arxiv.1910.01879,
  title  = {To reorient is easier than to orient: an on-line algorithm for reorientation of graphs},
  author = {Marta Fiori-Carones and Alberto Marcone},
  journal= {arXiv preprint arXiv:1910.01879},
  year   = {2023}
}

备注

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