https://123deta.com/document/qvl4xv9d-recognizing-graph-theoretic-properties-with-polynomial-ideals.html