https://5dok.net/document/z3dj75pe-note-stability-number-orthogonality-graph.html