DFS is unsparsable and lookahead can help in maximal matching

Gelle Kitti; Iván Szabolcs: DFS is unsparsable and lookahead can help in maximal matching. In: Acta cybernetica, (23) 3. pp. 887-902. (2018)

[thumbnail of actacyb_23_3_2018_10.pdf]
Előnézet
Cikk, tanulmány, mű
actacyb_23_3_2018_10.pdf

Letöltés (512kB) | Előnézet

Absztrakt (kivonat)

In this paper we study two problems in the context of fully dynamic graph algorithms that is, when we have to handle updates (insertions and removals of edges), and answer queries regarding the current graph, preferably with a better time bound than that when running a classical algorithm from scratch each time a query arrives. In the first part we show that there are dense (directed) graphs having no nontrivial strong certificates for maintaining a depth-first search tree, hence the so-called sparsification technique cannot be applied effectively to this problem. In the second part, we show that a maximal matching can be maintained in an (undirected) graph with a deterministic amortized update cost of O(log m) (where m is the all-time maximum number of the edges), provided that a lookahead of length m is available, i.e. we can “take a peek” at the next m update operations in advance.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2018
Kötet: 23
Szám: 3
ISSN: 0324-721X
Oldalak: pp. 887-902
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/55467/
Kulcsszavak: Gráf, Algoritmus
Megjegyzések: Bibliogr.: p. 901-902. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2018. nov. 08. 08:50
Utolsó módosítás: 2022. jún. 21. 08:17
URI: http://acta.bibl.u-szeged.hu/id/eprint/55683
Bővebben:
Tétel nézet Tétel nézet