gpt4 book ai didi

algorithm - 在给定关于集合的不完整事实的情况下推断集合的成员

转载 作者:塔克拉玛干 更新时间:2023-11-03 05:27:30 24 4
gpt4 key购买 nike

给定一堆事实,例如:集合至少包含 (A,B,C) 中的 1 个Set 不包含任何 (D,E,F)

关于一个有限集,其中每个成员可以是有限数量的值(比如整数 1...m),我如何枚举满足事实列表的所有可能集?

我意识到这个算法本质上是指数算法,但我想改进我当前的天真实现,即列出所有可能的集合,并消除那些不满足事实列表中所有条件的集合。我想也许我可以使用动态规划并迭代有限值。即首先只考虑与值 1 相关的事实,然后是值 1,2,然后是值 1,2,3 等等。

最佳答案

你的事实听起来很容易翻译成 SAT ( bool 可满足性)实例。然后,您可以使用 SAT 求解器找到所有可能的解决方案(获得一个解决方案,添加一个消除该解决方案的子句,然后重复)。那里有很多好的 SAT 求解器,例如zChaff .

关于algorithm - 在给定关于集合的不完整事实的情况下推断集合的成员,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4492213/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com