We could have a set of functions in the mod that compute... - the chromatic number, - the clique number, - the clique cover number, and - the stability number. Some of these have interesting weighted variants (stability number/MWIS)
We could have a set of functions in the mod that compute...
Some of these have interesting weighted variants (stability number/MWIS)