[发明专利]一种基于二元域的高效决策判定方法

权利要求书

1.一种基于二元域的高效决策判定方法，其特征在于，包括：

S1.根据决策判断问题建立布尔命题逻辑公式，并将所述布尔命题逻辑公式转化为1-in-3-SAT公式；

S2.将所述1-in-3-SAT公式转化为等价的线性布尔系统；

S3.对所述等价的线性布尔系统在二元域上进行求解，如果求解结果为无解，则输出系统不相容，并终止；否则进入步骤S4；

S4.如果求解结果为每个子句中变元≤2，且求解结果为有解，则输出系统相容，否则进入步骤S5；

S5：如果求解结果在二元域上解的个数不超过预设的阈值，则进入步骤S6；否则进入步骤S7；

S6：验证求解结果是否存在1-in-3-SAT的解，如果存在，则输出系统相容，并终止；如果不存在，则输出系统不相容，并终止；

S7：如果求解结果为在二元域上有常数解，则进入步骤S8；如果没有常数解，则输出无法判定；

S8：根据所述常数解确定变量的值，对所述1-in-3-SAT公式进行化简后，进入步骤S2。

2.根据权利要求1所述的基于二元域的高效决策判定方法，其特征在于，所述1-in-3-SAT公式为：

所述等价的线性布尔系统为：

其中，变元X和U为方程的布尔变元，

将所述线性布尔系统记为：A·Y＝II，其中，A是线性布尔系统的系数矩阵，Y为变元X和U的列向量，II为所有坐标皆为单位1的列向量。

3.根据权利要求2所述的基于二元域的高效决策判定方法，其特征在于，所述求解结果为：

y₀+k₁y₁+k₂y₂+...+k_py_p

其中，其中y₀为方程组的特解向量，k₁y₁+k₂y₂+...+k_py_p为AY＝0的通解向量，

所述阈值为2^t，当p≤t时，解的个数不大于2^t，穷举验证求解结果是否存在1-in-3-SAT的解。

4.根据权利要求3所述的基于二元域的高效决策判定方法，其特征在于，在所述步骤S8中，如果有常数解Y_i＝1，则在1-in-3-SAT公式中对应的布尔变元值为true；如果有常数解Y_i＝0，则在1-in-3-SAT公式中对应的布尔变元值为false。

5.根据权利要求1所述的基于二元域的高效决策判定方法，其特征在于：所述布尔命题逻辑公式由布尔变量经过布尔运算迭代生成。

6.一种计算机可读存储介质，其上存储有计算机程序，其特征在于：该程序被处理器执行时实现权利要求1至5中任一项所述方法。

7.一种电子终端，其特征在于，包括：处理器及存储器；

所述存储器用于存储计算机程序，所述处理器用于执行所述存储器存储的计算机程序，以使所述终端执行如权利要求1至5中任一项所述方法。