算法分析与设计-2012-3.ppt

用yij表示边(i,j)是否存在 y11 y12 y13 y14 y21 y22 y23 y24 y31 y32 y33 y34 y41 y42 y43 y44 (1) xi1,xi2,xi3,xi4中有且只有一个1 {xi1,xi2,xi3,xi4} ，(k?j) (2) x1j,x2j,x3j,x4j中有且只有一个1 {x1j,x2j,x3j,x4j} ，(k?l) (3)第一个顶点vj，第二个顶点vk,则vj和vk之间必须有一条边 (4)第2个顶点vj，第3个顶点vk,则vj和vk之间必须有一条边 (5)第3个顶点vj，第4个顶点vk,则vj和vk之间必须有一条边 (6)第4个顶点vj，第1个顶点vk,则vj和vk之间必须有一条边 (3)第一个顶点vj，第二个顶点vk,则vj和vk之间必须有一条边,k?j 有24个项，2*3*4=12 n个顶点，则有2n(n-1)个项 (7){y12}, {y21}, {y14}, {y41}, {y23}, {y32}, {y24},{y42},{y34},{y43} 多项式变换定义： 希望将?1变为?2，若?2多项式时间可解，则?1也多项式时间可解。 ?1=?1,L1,?1；?2=?2,L2,?2 变换f：?1*??2*，I?L1，f(I)?L2，?1(I)=?2(f(I)) f变换可以在p(|I|=n)时间内计算完成。 则f称为由?1到?2的多项式规约。 前面定义NP问题的时间复杂度时， 只关心那些回答是的实例的时间复杂度。 若?1可以多项式归约到?2，则若?2存在多项式算法， 则?1也有多项式算法。 前面的多项式规约进一步修改如下： ?1=?1,L1,?1；?2=?2,L2,?2 ?1=?1,L1,?1；?2=?2,L2,?2 变换f：?1*??2*，I?L1，f(I)?L2， ?1(I)=1???2(f(I))=1 将问题?1转换为?2问题，则如果问题?2有多项式算法，则问题?1有多项式算法。 算法分析与设计 第3讲-2012 山东大学计算机学院 上次内容： (1)5个算法设计技术，分而治之，贪心法，回溯搜索(?,?-删除,分支定界)，动态规划，局部搜索 (2)局部搜索设计近似算法，现在也有了。 (3)说明什么是好算法，什么是坏算法。 多项式时间算法是好算法，指数时间算法叫坏算法。 (4)许多问题设计不出多项式时间求解算法，也有很多问题能找到多项式算法，以前的算法绝大多数都是多项式时间的。告诉人们正面的东西。 (5)企图把问题分类，能否分为两类，一类可以设计多项式时间算法，另一类不能设计多项式时间算法。 前人建立了一种模型，说明问题很难，怎样说明。也是多年思考认识的结果。 例子：先讲问题，这些问题找不到多项式时间算法。 实例：布尔变量集合：U={u1, u2, u3, u4, u5}， C = {{ }, { }, { }, { }} 询问：是否存在真值指派， 使( ) ? ( ) ? ( ) ? ( ) = 1 布尔变量字母: ui, , 项(Clause):C1={ }, …, Cm={ } 应用背景：硬件测试，软件测试，知识库表达，推理 u2,u3,u5 SAT问题一般描述： 实例：布尔变量集合：U={u1,u2,…,un}，项集合C={c1, c2, …, cm}， ck={yk1,yk2,…,ykt}, ykj?{u1,u2,…,un, }. 询问：是否存在U的真值指派，使c1?c2?…?cm=1，就是为真(T)， ck=yk1?yk2?…?ykt 在人工智能的搜索求解中，推理规则均采用合取范式表示。 芯片测试，测试条件都表示为逻辑表达式。 Satisfiability Problem 不需要求出解来，只需要判定是或否。 TSP问题：货郎问题 实例：城市集合：C = {c1,c2,…,cm}, d(ci, cj) ? Z+，ci, cj?C，正整数K. 询问：是否存在城市排列? c?(1),c?(2),…,c?(m)?，使 Hamilton回路问题： 实例：无向简单图G = (V, E)，|V| = n。 询问：是否存在V的顶点排列v?(1), v?(2), …, v?(n)，使(v?(i),v?(i+1))?E(G), i=1,…,n，v?(n+1)=v?(1)。 上述三个问题均是询问解的存