Incremental algorithms in graph theory.