; k# Q- x y# l3 V4 q* r约束机器排序问题7 a2 r3 P! F: ]' `6 ]0 k
7 G, `& I2 f3 b" M3 z. V6 ` R
n个加工量为di(i=1,2,… n)的产品在一台机器上加工,机器在第t个时段的工作能力为ct,完成所有产品加工的最少时段数。# R9 ]% {( X4 K; [1 E9 f% i
# C3 Z8 L& U% O& C) a7 K指派问题( g) w8 u& l) U2 N+ {6 A @1 t
- C) p; ^8 ~: c" u
一家公司经理准备安排N名员工去完成N项任务,每人一项。由于各员工的特点不同,不同的员工去完成同一项任务时获得的回报是不同的。如何分配工作方案可以获得最大收益?3 M4 g- f5 Q; a) P! @
" u. t5 I3 s# r3 n5 M5 A) y- p0-1背包问题 ) M& U. D+ K: F; m ( n, _6 \. [7 @, `1 U 设有一个容积为b的背包,n个体积分别为ai(i=1,2,… n),价值分别为ci (i=1,2,… n)的物品,如何以最大的价值装包?/ U0 r" N9 w# L" q
! } I3 m. c$ N3 T( h装箱问题 " Y! P# {8 m5 `' q6 X" O6 m' D8 @$ [; P9 ]" Y
如何用个数最少的尺寸为1的箱子装进n个尺寸不超过1的物品? 7 N! v9 M9 z% U, F1 J! f0 I* D" L' P8 L4 v" U. _
SAT问题" B* [; Y$ Q3 @, J( V
. G M( b5 _3 c: ~$ i 称判定一个公式是否存在一个模型的问题为可满足性问题(以后简称为SAT问题)。如果一个公式存在模型,则称该公式是可满足的,否则称为不可满足的。) _1 B: [ P0 u* q7 n( Y& k' X) O
; c: e7 g, z" Y4 O. R0 U
皇后问题 % {& D# ?5 m( i5 Q0 V1 l6 L ! u$ ]" q8 ]- V' D+ w& ` 在n×n的国际象棋棋盘上,摆放n个皇后,使得n个皇后之间不能相互“捕捉”?