满足问题(satisfiable problem)一个组合优化问题.关于布尔公式的决策问题:已知.mcZ,...}cm为布尔变量xxZ,w,x,的加法运算,求补运算及乘法运算组成的公式,每个变量x;(1簇J簇n)均有取值.或1的两种选择,问x;xZ,...,x,是否存在一组选择使.}}cZ,...,c,的值均为1?这是一个NP完全问题,而且是最早引入的NP完全问题,其他许多NP完全问题由它做多项式转换产生出来.满足问题(satisfiable problem)一个组合优化问题.关于布尔公式的决策问题:已知.mcZ..}cm为布尔变量xxZ,w,x,的加法运算,求补运算及乘法运算组成的公式,每个变量x;(1簇J簇n)均有取值.或1的两种选择,问x;xZ..,x,是否存在一组选择使.}}cZ..,c,的值均为1?这是一个NP完全问题,而且是最早引入的NP完全问题,其他许多NP完全问题由它做多项式转换产生出来.