verifyOptimum({
                nvertex,
                edges,
                maxCardinality,
                nedge,