通过ac#generator设置最大独立子集

Question

我想找到给定集合的所有子集,这些子集是互斥的,并且包含尽可能多的超集元素.用户定义排他性的含义:

bool exclusion<T>(T a, T b)

至少exclusion(a, b) == exclusion(b, a)在哪里举行.

并exclusion(a, b) == true保证如果a.Equals(b) == true

我的代码看起来像这样:

public static HashSet<HashSet<T>> MutuallyExclusive<T>(this IEnumerable<T> available, Func<T, T, bool> exclusion) {
    HashSet<HashSet<T>> finished = new HashSet<HashSet<T>>(new HashSetEquality<T>());
    Recursion<T>(available, new HashSet<T>(), finished, exclusion);
    return finished;
}

private static void Recursion<T>(IEnumerable<T> available, HashSet<T> accepted, HashSet<HashSet<T>> finished, Func<T, T, bool> exclusion) {
    if (!available.Any())
        finished.Add(accepted);
    else
        foreach (T a in available)
            Recursion<T>(available.Where(b => !exclusion(a, b)), new HashSet<T>(accepted) { a }, finished, exclusion);
}

private class HashSetEquality<T> : IEqualityComparer<HashSet<T>> {
    public bool Equals(HashSet<T> x, HashSet<T> y) {
        if (x.Count != y.Count)
            return false;
        return x.All(t => y.Contains(t));
    }

    public int GetHashCode(HashSet<T> obj) {
        return obj.Aggregate(0, (i, t) => i ^ t.GetHashCode());
    }
}

有没有办法将此代码转换为迭代器逐个移动可接受的值？

编辑:

在我的问题中,我似乎有点不高兴,抱歉.我实际上正在寻找一个生成器来进行自定义执行.因此,每次调用它时,只计算下一个接受的集合

Answer 1

基本上，您想要做的是每次调用finished.Add()并返回时产生一个新集合true。

但由于递归，您还需要生成从递归调用返回的所有值。您可以通过在循环中生成所有这些值来做到这一点：

public static IEnumerable<HashSet<T>> MutuallyExclusive<T>(
    this IEnumerable<T> available, Func<T, T, bool> exclusion)
{
    var finished = new HashSet<HashSet<T>>(new HashSetEquality<T>());
    return Recursion<T>(available, new HashSet<T>(), finished, exclusion);
}

private static IEnumerable<HashSet<T>> Recursion<T>(
    IEnumerable<T> available, HashSet<T> accepted, HashSet<HashSet<T>> finished,
    Func<T, T, bool> exclusion)
{
    if (!available.Any())
    {
        if (finished.Add(accepted))
            yield return finished;
    }
    else
        foreach (T a in available)
        {
            var results = Recursion<T>(
                available.Where(b => !exclusion(a, b)),
                new HashSet<T>(accepted) { a }, finished, exclusion);

            foreach (var set in results)
                yield return set;
        }
}

这可能不是最有效的解决方案，但它可以完成工作。

另外，您可能需要考虑仅对每个子集进行一次。这样，您就不需要该finished集合，并且可以直接生成找到的所有结果。