sequence - 最适合列出所有可能的布尔序列的编程语言

Question

我需要列出满足给定规则集的特定长度（例如 100）的所有布尔序列。规则的示例是：如果 bit10=bit20=1，则 bit35=0。

我写了一个 C++ 程序，它可以在几秒钟内枚举出可能的序列，但是它太长而且太复杂了。你能推荐我一种编程语言，我可以用更短的代码和（接近）相似的性能来实现这一点吗？

Answer 1

如果您需要解决变量规则作为程序输入的广义问题，则称为可满足性或“SAT”。有几个 SAT 求解器，例如CryptoMiniSat，具有不同的功能。您必须将规则转换为输入格式，然后在其上运行 SAT 求解器。