An empirical study of dynamic graph algorithms