求一个动态布尔公式算法~~~~~~~~~~~~~~~~~~~~~~~~~

2011-07-29 11:57:53 297 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

量化布尔公式求解：从2-CNF与Horn子句的复杂性到参数化算法在计算复杂性理论中，布尔可满足性问题（SAT）是NP完全问题的代表，而量化布尔公式（QBF）的可满足性问题（QSAT）则属于PSPACE完全问题，其求解难度更高。QBF在程序验证、人工智能规划等领域有重要应用，但即使限制其矩阵为结构简单的2-CNF或Horn公式，引入交替量词后，问题的计算复杂性依然可能很高。参数化复杂性理论通过引入参数（如全称量词数量、树宽等），研究问题在参数较小时是否可高效求解（即固定参数可处理性，FPT）。本文探讨了2-QBF和HORN-QBF的**参数化复杂性**，揭示了以全称变量数阅读详情

情况是这样的,比如我将a>b||b>c&&a<d（公式的变量会先被附上值）带入到那样的公式里面去，会给我返回正确的布尔值，
公式的组合是多样的，有加减乘除，括号以及||、&&等（将字符串转换为公式计算出布尔值），大虾们都看过来吧，拜谢！

...全文

DPLL算法：从布尔可满足性问题到现代SAT求解器的核心引擎布尔可满足性问题（SAT）是计算机科学中的基础性难题，它询问是否存在一组变量赋值使得给定的逻辑公式为真。其核心在于将复杂的逻辑约束转化为合取范式（CNF）的标准形式进行处理。DPLL算法通过深度优先搜索与回溯，结合单元传播和纯文字消除两大优化，实现了对搜索空间的高效剪枝，从而奠定了现代SAT求解器的理论基础。该算法在形式化验证、人工智能规划、硬件设计等需要自动推理与约束求解的工程场景中具有极高价值。本文深入剖析了DPLL的核心思想、算法骨架及其向冲突驱动子句学习（CDCL）的演进，并提供了动手实现一个简易求阅读详情

mengxq

Java EE 67,535 成员 225,843 内容

+ 关注 + 加入社区

切换为时间正序

BearKin 2011-08-02

打赏
举报

[Quote=引用 8 楼 shine333 的回复:]
引用 7 楼 bearkin 的回复:

引用 6 楼 shine333 的回复:
jdk1.6+, javax.script.*

Java code
public static void main(String[] args) throws Exception {
String expression = "a>b||b>c&amp;&amp;a<d……
[/Quote]

顶与被顶的态度是不同的

我嘞个去 2011-07-29

打赏
举报

说实话不太清楚！

小赖赖 2011-07-29

打赏
举报

用antlr吧
把你的语法,用lr语言写出来,antlr会自动帮你生成词法语法解析的类
然后调用之,生成语法树,计算结果

shine333 2011-07-29

打赏
举报

[Quote=引用 7 楼 bearkin 的回复:]

引用 6 楼 shine333 的回复:
jdk1.6+, javax.script.*

Java code
public static void main(String[] args) throws Exception {
String expression = "a>b||b>c&&a<d";
Map<String, Object> param ……
[/Quote]
你不是觉得“顶”很邪恶嘛

BearKin 2011-07-29

打赏
举报

[Quote=引用 6 楼 shine333 的回复:]
jdk1.6+, javax.script.*

Java code
public static void main(String[] args) throws Exception {
String expression = "a>b||b>c&&a<d";
Map<String, Object> param = new HashMap<String,……
[/Quote]

顶个

Java6支持运行脚本语言不过LZ你最好预先准备好如果光是公式还好以后要是让你调用JAVA函数可别2了

http://www.cnblogs.com/jssy/archive/2006/10/23/537101.html

shine333 2011-07-29

打赏
举报

jdk1.6+, javax.script.*

  public static void main(String[] args) throws Exception {

    String expression = "a>b||b>c&&a<d";

    Map<String, Object> param = new HashMap<String, Object>();

    param.put("a", 1);

    param.put("b", 123);

    param.put("c", 100);

    param.put("d", 9999);

    System.out.println(eval(expression, param));

  }



  public static boolean eval(String expression, Map<String, Object> param) throws Exception {

    ScriptEngine engine = new ScriptEngineManager()

        .getEngineByName("javascript");

    ScriptContext ctx = new SimpleScriptContext();

    for (Entry<String, Object> entry : param.entrySet()) {

      ctx.setAttribute(entry.getKey(), entry.getValue(), ScriptContext.ENGINE_SCOPE);

    }

    return (Boolean)engine.eval(expression, ctx);

  }

mengxq 2011-07-29

打赏
举报

TO2楼：不会；
TO3楼：说得很清楚了吧，就是a=3,b=4,然后有a>b,替换后就是3>4,把3>4转到公式里面去算出布尔值出来；
TO4楼：下了，不过没有整合好，感觉少好多东西，没有测试成功

飞跃颠峰 2011-07-29

打赏
举报

看看这个

http://code.google.com/p/expressionoasis/

飞跃颠峰 2011-07-29

打赏
举报

ExpressionOasis

简直就是为你贴身定制

求一个动态布尔公式算法~~~~~~~~~~~~~~~~~~~~~~~~~

相关推荐