: _6 {) \! k |* ^装箱问题 + _ b7 M; q. r { 9 @ L) v& y6 i# P 如何用个数最少的尺寸为1的箱子装进n个尺寸不超过1的物品?8 t L, [3 {7 w/ c) \' }
! ^$ S' F1 O1 h; H; E* a
SAT问题. \1 s L- V# M. R
. N6 x$ K& l' Y8 a- y
称判定一个公式是否存在一个模型的问题为可满足性问题(以后简称为SAT问题)。如果一个公式存在模型,则称该公式是可满足的,否则称为不可满足的。 - i7 P K9 }4 V# L+ Z+ E8 w / M, o5 s8 i; t7 [皇后问题, @3 v$ L& U' z2 G
! n4 e* A. |1 W. e 在n×n的国际象棋棋盘上,摆放n个皇后,使得n个皇后之间不能相互“捕捉”?