) {6 m5 c' @/ p2 [, T# u3 @TSP旅行售货员问题 3 g+ D2 [7 s9 J+ d% |! A4 D' t2 E $ J, w* Y, Z+ g6 ^( P- P 从某个城市出发,经过n个指定的城市,每个城市只能且必须经过一次,最后回到出发城市,如何安排旅行商的行走路线以使总路程最短?7 a+ c+ A0 q; y0 P$ G
9 J* _* V% |# m% C2 H* ]1 m1 [2 T" m
约束机器排序问题' \$ s4 t1 @% j; P7 R
5 }$ F" g0 W ? n个加工量为di(i=1,2,… n)的产品在一台机器上加工,机器在第t个时段的工作能力为ct,完成所有产品加工的最少时段数。 % Q% G2 w3 B* v/ E1 \3 r& j5 t. V r- i/ T
指派问题+ \ @# i2 t/ I9 g7 x& r; v
6 n: d/ k' g; d$ D' P' L" h
一家公司经理准备安排N名员工去完成N项任务,每人一项。由于各员工的特点不同,不同的员工去完成同一项任务时获得的回报是不同的。如何分配工作方案可以获得最大收益?# l' D5 l0 s. D, Z
3 Z" U2 A0 x! R# ]6 A4 @$ O0-1背包问题 . D( c. T+ M$ R& W. Z( W% P: {/ v! T9 Y; a! c" A/ j
设有一个容积为b的背包,n个体积分别为ai(i=1,2,… n),价值分别为ci (i=1,2,… n)的物品,如何以最大的价值装包?8 i2 H: H5 F! N0 P: b
5 d% |) j* Z$ w U+ Y% }2 F
装箱问题+ p, t* i: l/ G. p2 P# @% u3 U
, F1 G5 |9 g- C5 t! @$ Y- I
如何用个数最少的尺寸为1的箱子装进n个尺寸不超过1的物品?, z) @" Z/ {7 O7 Q9 `" Z' ?0 H
3 e9 G0 W% s1 B- t
SAT问题6 c5 \; e: f3 q8 D* _1 r) t, H
* \3 r6 {7 S |% y% ~
称判定一个公式是否存在一个模型的问题为可满足性问题(以后简称为SAT问题)。如果一个公式存在模型,则称该公式是可满足的,否则称为不可满足的。- C9 E7 c* q, i8 ~
1 ?. {( P$ n& M! h( }$ J: x* |; s
皇后问题8 G; Z1 ~" B9 t! [ m5 I; f5 `, s