https://123dok.net/document/wq2edepq-new-lower-bound-independence-number-graphs.html