个性化阅读
专注于IT技术分析

标签:3CNF SAT

算法设计与分析

3CNF SAT介绍

半瓶木阅读(24)评论(0)赞(0)

概念:-在3CNF SAT中, 你至少有3个子句, 而在子句中, 你将有几乎3个文字或常量 如(X + Y + Z)(X + Y + Z)(X + Y + Z)你可以定义为(XvYvZ)ᶺ(XvYvZ)ᶺ(XvYvZ)V = OR运算符^ ...