从算法的设计到机制的设计张国川 中国运筹学会.pdfVIP

从算法设计到机制设计从算法设计到机制设计从算法设计到机制设计从算法设计到机制设计 张国川张国川张国川张国川 研研究组成员：究组成员： 叶德仕叶德仕叶德仕叶德仕、、、、陈林陈林陈林陈林、、、、程郁琨程郁琨程郁琨程郁琨、、、、余炜余炜余炜余炜、、、、罗文昌罗文昌罗文昌罗文昌 中国运筹学会中国运筹学会中国运筹学会中国运筹学会2012201220122012学术年会学术年会学术年会学术年会，，沈阳沈阳沈阳沈阳，月月日日日 AlAlAlAlanan T T T Tururiiiingng (1912 (1912 (1912 (1912--1954)1954)1954)1954) ••图灵机图灵机 ••可计算性可计算性可计算性可计算性 ••计算的难解性计算的难解性 复杂性分类复杂性分类 •• Cook (1971):Cook (1971): 33--SATSAT 是是NPNP--完全的完全的 •• Karp (1972): 21Karp (1972): 21Karp (1972): 21Karp (1972): 21个个个个NPNPNPNP--完全问题完全问题完全问题完全问题 •• ．．．．．． PPPP ≠≠≠≠ NP NP NP NP ••计算资源的匮乏计算资源的匮乏 ••••困难问题困难问题困难问题困难问题 –– 多项式时间近似算法多项式时间近似算法 –– 指数时间的精确算法指数时间的精确算法 –– 解的质量与时间成本的解的质量与时间成本的解的质量与时间成本的解的质量与时间成本的平衡平衡 多项式时间多项式时间 ||巨大的间隙巨大的间隙|| 指数时间指数时间 多项式时间多项式时间下的计算效能下的计算效能 ••近似比近似比 ••近似方案近似方案((PTASPTAS)) •••• EPTASEPTASEPTASEPTAS ••完全近似方案完全近似方案((FPTASFPTAS)) PPPP ≠≠≠≠ NP NP NP NP下下的效能极限的效能极限的效能极限的效能极限 ••没有没有FPTASFPTAS ••没有没有EPTASEPTAS •••• 没有没有没有没有PTASPTASPTASPTAS ••近似比的下界近似比的下界 CCCCarardidididinanalitlitlitlityy C C C Consonsttttraraiiiinnttttss •• We haveWe have mm identical machines andidentical machines and nn jjjjoobbbbss •• MachineMachine ii can accecan acceppppt ut upppp to to kk jjjjobsobs iiii •• GGGGoaoallll:: fi fi fi finndddd aa scschhhheedddduullllee meetmeet i iiingng tt h hhhee cardinalitcardinalityyyy constraints so that the constraints so that the makespan is minimizedmakespan is minimized AAAA ququ i iiicckkkk remarremar k kkk ••You maYou mayyyy have in mind the have in mind the 33-- p