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 |
