问题描述
我需要找到所有 16 位数字的三元组 (x,y,z)（嗯，实际上只有在不同三元组中完美匹配的位位置），这样
y | x = 0x49ab
(y >> 2) ^ x = 0x530b
(z >> 1) & y = 0x0883
(x << 2) | z = 0x1787
直接策略在 8700K 上需要大约 2 天的时间，这太多了（即使我将使用我可以访问的所有 PC（R5-3600、i3-2100、i7-8700K、R5-4500U、3xRPi4、RPi0） /W) 这会花费太多时间）。
如果位移不在等式中，那么这样做将是微不足道的，但是有了位移，做同样的事情就太难了（甚至可能是不可能的）。
所以我想出了一个非常有趣的解决方案：将方程解析为关于数字位的语句（类似于“x XOR 的第 3 位 XOR y 的第 1 位等于 1”），并且所有这些语句都用 Prolog 语言之类的语言编写（或者只是使用操作的真值表来解释它们）执行所有明确的位将被发现。 这个解决方案也很困难：我不知道如何编写这样的解析器，也没有 Prolog 的经验。 (*)
所以问题是：这样做的最佳方法是什么？如果是 (*) 那么怎么做？
编辑：为了更容易在此处编码数字的二进制模式：
0x49ab = 0b0100100110101011
0x530b = 0b0101001100001011
0x0883 = 0b0000100010000011
0x1787 = 0b0001011110000111
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）