https://1library.net/document/ye02kl1q-throttling-positive-semidefinite-zero-forcing-propagation-time-graphs.html