https://5dok.net/document/zpn6ve37-maximum-positive-semi-definite-nullity-cycle-matroid-graphs.html