Dominator tree certification and divergent spanning trees. (English) Zbl 1398.68396
ACM Trans. Algorithms 12, No. 1, Article No. 11, 42 p. (2016); addendum ibid. 12, No. 4, Article No. 56, 3 p. (2016).
MSC:
68R10 | Graph theory (including graph drawing) in computer science |
05C85 | Graph algorithms (graph-theoretic aspects) |
68W40 | Analysis of algorithms |