https://9dok.org/document/z3doo6v8-complexity-d-bootstrap-percolation-difficulty-algorithm-np-hardness.html