https://9lib.org/document/4yrkvgvz-algorithms-for-testing-security-in-graphs.html