static IEnumerable <Choosability.Graph> EnumerateWeightings(Choosability.Graph g) { if (g.MaxDegree > Delta) { yield break; } _wonWeightings = new List <List <int> >(); foreach (var weighting in g.Vertices.Select(v => Enumerable.Range(g.Degree(v), Delta + 1 - g.Degree(v)).Reverse()).CartesianProduct()) { var www = weighting.ToList(); if (_wonWeightings.Any(ww => ww.Zip(www, (a, b) => a - b).Min() >= 0)) { continue; } var gg = g.Clone(); gg.VertexWeight = www; if (LowGirth) { if (!gg.Contains(BadG, true, GraphEnumerator.WeightConditionEqual)) { continue; } } yield return(gg); } }
static IEnumerable <Choosability.Graph> EnumerateWeightings(Choosability.Graph g) { foreach (var weighting in g.Vertices.Select(v => Enumerable.Range(g.Degree(v), 2 + 1)).CartesianProduct()) { var gg = g.Clone(); gg.VertexWeight = weighting.ToList(); yield return(gg); } }