These approaches employ MST and abstraction primarily for optimizing graph computation and processing algorithms. Our use of MST differs: we leverage it as a connectivity preservation guarantee ...