近似演算法(ApproximationAlgorithm).ppt

Algorithms (Dr. Shi-Jay Chen, National United University) Course 9NP Theory序論An Introduction to the Theory of NP ▓ Outlines 本章重點 Polynomial Time Intractability Optimization Problems vs. Decision Problems The Theory of NP P problem NP problem NP-complete problem NP-hard problem 如何証明某個問題為NP-complete問題 ▓ Polynomial Time (多項式時間) 什麼是 “多項式時間 (Polynomial Time)”? Def: 一個稱為多項式時間的演算法(Polynomial-time Algorithm) 必須符合：在合理的輸入大小 (input size)下，該演算法於最差情況(Worst-case)的時間複雜度以多項式函數為限。 因此，若n為input size，存在一個多項式函數 p (n) ，則： Polynomial-time computable 一函數 f(x) 為polynomial-time computable，若且為若存在一演算法，使得對所有的輸入 x，皆可在Polynomial Time內求得 f。 ▓ Intractability (難解問題) 如果我們講「這個問題很難」，這句話可能有兩種不同的意義： [意義 1]: 這個問題也許目前已經有一些還不錯的近似解法，只是想進一步找出真正最佳的方法是件困難的事 [意義 2]: 這個問題本身就難以找出解決方法。 第一種意思指的是對人而言很困難，而第二種意思指的是對計算機而言很難。 在探討問題的難度時，比較正確的講法應該是指一個問題是易解的 (tractable) 或是難解的 (intractable)。 在資訊科學領域中，若無法在最差情況(Worst-case)下，以多項式時間的演算法來解決某個問題，該問題就被稱為難解 (Intractable)問題。 一個難解的問題，必須沒有任何多項式時間的演算法可以解它。 但是，如果有一個問題在最差情況(Worst-case)下，目前還找不到一個Polynomial-Time Algorithm解它，但是也無法保証未來就找不到Polynomial-Time Algorithm來解這個問題，則無法証明該問題是Intractable. For example: 早期，利用 brute-force algorithm (暴力演算法) 解連鎖矩陣相乘問題(Chained Matrix Multiplication problem) ，其時間複雜度為non-polynomial time. 然而，若以 dynamic programming algorithm (Algorithm 3.6) 來解，則其時間複雜度為Θ(n3). 就難解性而言，問題的主要分類可分為三種: Problems for which polynomial-time algorithms have been found 如：最短路徑問題、MST問題、排序問題、搜尋問題… Problems that have been proven to be intractable 時間複雜度被証明為指數複雜度(以上)的問題。如：河內塔問題 不存在有解決問題之演算法的問題。如：程式停止問題 (Halting Problem)、功能相等問題(Equivalence Problem)… Problems that have not been proven to be intractable, but for which polynomial-time algorithms have never been found 大多數的問題不是落在第一類，就是落在第三類。 第三類問題中，頗具知名度的是旅行推銷員問題 (Traveling Salesman Problem) The Traveling Salesman Problem; TSP TSP問題： 一個銷售員會不斷地花費時間去拜訪n個城市。(A salesman spends his time visiting n cities cyclically. ) 在一趟的旅程中，他只會拜訪每一個城市一次，而且當他回到原本的起始城市後就會停止此趟的拜訪旅程。(In one tour he visits each city exactly once, and finishes up where he starte