- 博客(3)
- 收藏
- 关注
RSS订阅原创 2021-02-06
FBI树我们可以把由“000”和“111”组成的字符串分为三类：全“000”串称为BBB串，全“111”串称为I串，既含“000”又含“111”的串则称为F串。FBIFBIFBI树是一种二叉树，它的结点类型也包括FFF结点，BBB结点和I结点三种。由一个长度为2N2^N2N的“010101”串S可以构造出一棵FBIFBIFBI树TTT，递归的构造方法如下：TTT的根结点为RRR，其类型与串SSS的类型相同；若串SSS的长度大于111，将串SSS从中间分开，分为等长的左右子串S1S_1S1和S2S_
2021-02-06 21:48:17
100
原创 基于DPLL的SAT求解器
SAT问题什么是SAT问题？ SAT问题即命题逻辑公式的可满足性问题（satisfiability problem），是计算机科学与人工智能基本问题，是一个典型的NP完全问题。对于任一布尔变元x，x与其非“¬x”称为文字(literal)。对于多个布尔变元，若干个文字的或运算l1∨l2∨…∨lk称为子句(clause)。只含一个文字的子句称为单子句。不含任何文字的子句称为空子句，常用符号□表示。子句所含文字越多，越易满足，空子句不可满足。SAT问题一般可描述为：给定布尔变元集合{x1, x2, .
2021-02-06 21:34:47
5966
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人