realizability
A backtracking-based algorithm to check if a given degree-size sequence can realize a simplicial complex