算法分析与设计2009第9讲.docVIP

上次内容： (1)2sat的求解算法，利用一种有向图。叫项图，分析项图找规律。 (2)三角化图中四个问题的求解：三角化图的判定，字典序广度优先搜索。有完美顶点删除方案就是三角化图。 三角化图的团问题，着色问题，讲了这两个问题。 四个问题的计算方法：团问题，着色问题，团覆盖问题，独立集问题。 §5.3子问题中P和NPC的分界 人们想干什么？画出一个明显的界限，应该是不可能的。 找到一个界限，将P和NPC分开，开始这样想，想象力重要，量变和质变。解一个实例应该简单，一类实例复杂点。研究者想这样。一般来说找一个明显的界限是不可能的。 是否存在一个界，过了此界，就是NPC的，不过此界就是多项式的，这个界对任何一个问题大概是不会严格存在的。 2sat, 3sat 先行约束排工问题：前面讲的排工，多任务排工，最小迟序排工，区间排工。 实例：描述实例需要4句话。 (1)T={t1, t2,…,tn}，T中每个任务均可在单位时间内完成，L(ti)=1 (2)T上有半序关系?，表达先后顺序。 (3)处理机台数m。 (4)完成任务的最后期限D(Z+，总的最后期限。与前面的最小迟续排工不同。 询问：是否存在排工表，(：T({0,1,2,…,D-1}，满足 (1)|{ti(T| ((ti) = k, 1(k(D-1}|(m，同时加工的任务数最多是m。 (2)当ti?tj，则((ti)((tj)，先加工后加