& ~; u2 | }& j1 p3 n P约束机器排序问题3 i8 L( z1 x4 _; s) I/ }
2 Y; A% v7 S0 v% x$ d" [3 Y
n个加工量为di(i=1,2,… n)的产品在一台机器上加工,机器在第t个时段的工作能力为ct,完成所有产品加工的最少时段数。 * X. x+ U( a' N/ o( M - `# t8 ^( y, o- {# W$ R d) ~指派问题 7 [- C. k$ v& H& Z . s; {* y u @/ G9 X 一家公司经理准备安排N名员工去完成N项任务,每人一项。由于各员工的特点不同,不同的员工去完成同一项任务时获得的回报是不同的。如何分配工作方案可以获得最大收益?3 s+ O9 c6 K- M5 U) `0 l3 J8 V
4 w* B& W D# y9 K, s0-1背包问题 & `7 w N; t8 M8 b- @/ M" r% h# L& P
设有一个容积为b的背包,n个体积分别为ai(i=1,2,… n),价值分别为ci (i=1,2,… n)的物品,如何以最大的价值装包?. C0 U# c5 m% y2 h
+ z) f6 `2 r( m. \装箱问题 # _! x8 H. w9 B1 f9 d+ {1 t5 r. w b; D$ C
如何用个数最少的尺寸为1的箱子装进n个尺寸不超过1的物品?$ @6 B) {$ h" z( ~
/ |" D' j# [* F
SAT问题: e" a) p& u& D6 n3 P R& B
# u; H% Y" X0 I- j/ w a$ t 称判定一个公式是否存在一个模型的问题为可满足性问题(以后简称为SAT问题)。如果一个公式存在模型,则称该公式是可满足的,否则称为不可满足的。7 D( Q) F; M# ~" {( c
! @ R1 p' G8 [8 e8 F& t5 N皇后问题 4 v* h# F8 i Z8 L& @2 _6 W) O, V- v9 J
在n×n的国际象棋棋盘上,摆放n个皇后,使得n个皇后之间不能相互“捕捉”?