此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。

资 源 简 介

此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。

您 可 能 感 兴 趣 的

• 此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。
• 多项式与连分式值的算法
• 用单链表编写一元多项式的乘法算法
• 一元多项式相加数据结构算法
• 勒让德多项式递规算法
• 用c++编写的关于多项式插值的算法
• 用C++编写的多项式插值算法和有理函数插值算法！
• 多项式的编程另一种算法
• 多项式运算标准算法,美国大学教材原版代码
• 就是两个多项式的欧几里得算法