4 U J* M2 T: A( L# a 如何用个数最少的尺寸为1的箱子装进n个尺寸不超过1的物品? % K- }2 z) t" v: I ^ " P9 V9 d. f% G7 mSAT问题% j/ s5 [0 E, G7 a/ a1 x
- q, C9 w+ S( y. Q% i9 T1 c* x
称判定一个公式是否存在一个模型的问题为可满足性问题(以后简称为SAT问题)。如果一个公式存在模型,则称该公式是可满足的,否则称为不可满足的。8 X- T- k5 Q5 y' m' S6 Y
$ x/ Q) X1 s X4 ~+ t
皇后问题- b' l+ r; t+ V* P9 B
, U! K% i5 O n. h, } 在n×n的国际象棋棋盘上,摆放n个皇后,使得n个皇后之间不能相互“捕捉”?