优化布尔逻辑树评估

我有很多真/假结果保存为

long[]

数组中的位。我确实拥有大量的这些（数百万和数百万的长）。 例如，假设我只有五个结果，我会：

+----- condition 5 is true
|
|+---- condition 4 is false
||
||+--- condition 3 is true
|||
|||+-- condition 2 is true
||||
||||+- condition 1 is false
10110

我也有一些树代表如下的语句：

condition1 AND (condition2 OR (condition3 AND condition 4))

树很简单但很长。它们基本上看起来像这样（下面是过于简单化，只是为了展示我所拥有的）：

class Node {    
    int operator();
    List<Node> nodes;
    int conditionNumber();    
}

基本上，Node是一个叶子，然后有一个条件号（匹配long []数组中的一个位）或者Node不是叶子，因此引用了几个子节点。 它们很简单，但它们允许表达复杂的布尔表达式。它很棒。 到目前为止一切都很好，一切都很好。但是我确实有一个问题：我需要评估很多表达式，确定它们是真还是假。基本上我需要对一个问题进行一些暴力计算，而这个问题除了暴力破解之外还没有比这更好的解决方案。 所以我需要走树然后回答

true

或

false

，具体取决于树的内容和

long[]

的内容。 我需要优化的方法如下所示：

boolean solve( Node node, long[] trueorfalse ) {
   ...
}

在第一次调用时，

node

是根节点，然后显然是子节点（递归，

solve

方法调用自身）。 知道我只会有几棵树（可能高达一百只左右），但要检查数百万甚至数百万ѭ，我可以采取哪些步骤来优化它？ 明显的递归解决方案传递参数（（子）树和long []，我可以通过不将它作为参数传递来摆脱

long[]

）并且对于所有递归调用等都很慢。我需要检查哪个运算符使用（AND或OR或NOT等）并且涉及很多if / else或switch语句。 我不是在寻找另一种算法（没有）所以我不是在寻找从O（x）到O（y）的地方，其中y小于x。 我正在寻找的是“倍x”加速：如果我能编写速度提高5倍的代码，那么我将获得5倍的加速，就是这样，我会非常满意它。 我现在看到的唯一增强 - 我认为与现在相比，它将是一个巨大的“倍x”加速 - 将为每个树生成字节码并将每个树的逻辑硬编码到一个类中。它应该工作得很好，因为我只会有一百棵左右的树（但是树木没有修复：我事先无法知道树木会是什么样子，否则简单地手动硬编码每棵树都是微不足道的）。 除了为每棵树生成字节码之外还有什么想法？ 现在，如果我想尝试字节码生成路由，我应该怎么做呢？