跳到主要內容

[讀書章節心得]演算法星球-第二章:到底演算法是甚麼?

演算法是:
仔細地、一步一步解決問題的方法。
     Christo Papadimitriou

而不能給演算法定義的學者,則是以實例來說明甚麼是演算法。

第一個例子,是所謂迷宮問題。

迷宮問題,給定一個迷宮,如何找出走出迷宮的路經。

首先先定義圖: 圖是由一定數量的節點組成,再加上把節點連接起來的線,稱之為邊。

一座迷宮是由通道(邊)和樞紐點(節點)組合而成的,我們也可以稱之為一個圖,此時就可以做DFS(Depth First Search),每個路徑最多會被經過兩次,而包含出口的路徑會被經過一次

這裡面的原理就是,一個迷宮裡面有起點和終點,而起點和終點是為唯二可以一個節點有奇數個邊的例外。

DFS是系統性搜尋整個網路的眾多方法之一,它的原則是從起始節點開始往深處搜尋,直到確認終點是甚麼為止。

動作為:
從一個節點往下一個節點出發,如果節點還沒被拜訪過就繼續往下走。

從DFS可以衍伸出三個演算法的典型基石:

1. Recursion,遞迴

2. if-question,假設問題

3. Bow,蝴蝶結,針對節點的相鄰節點進行任何可能動作的搜尋

而這些基石的運作下,DFS可以處理不同的輸入資料(迷宮)。因此,演算法是能在多元化的過程中,合理處置多元案例的縝密規則。

演算法的多元性就在於,根據不同的輸入資料,會衍伸出不同的結果出來(和食譜不同,根據食譜做出來的料理都是相同的)

演算法就是可以在簡單原則之下,保有其結果的多元性

第二個例子還說明演算法給定的規則下所生成的多樣性

這稱之為生存遊戲(Game of life),由數學家約翰‧霍爾頓‧康威(John Horton Conway)想出來的。

1. 遊戲在一張方格線紙上進行

2. 每個玩家可以隨意挑選一個格子當作兔子

3. 每一輪後,兔子周遭八個格子要是少於兩隻(< 2)兔子就會死掉(擦掉)

4. 每一輪後,兔子周遭八個格子要是多過三位(>3),兔子也 會死掉(擦掉)

5. 每一輪後,周圍有三隻兔子的格子裡面會自動產生一隻兔子

根據這些規則,再給不同組的起始資料,就可以有許多不同的結果

由這些敘述可以知道,演算法是傳換符號的規則。它是一個機器,當給它一些資料,它會回給你結果或是說還沒做完。

而只要直覺上可以計算的東西都是可以納進圖靈機的範圍內。但演算法的原始定義並非圖靈機的形式定義,而是我們在直覺上可以去被計算的東西。

唯一和圖靈機運作不同的是量子力學(量子電腦),之後章節會再提及。

留言

這個網誌中的熱門文章

[UML]學習筆記-狀態圖型(Statechart Diagrams)-10

定義 狀態圖型主要會應用到軟體系統中,某項任務的生命週期。任務的生命週期中,會有不同的狀態,藉由不同狀態的檢視,可以去檢查任務是否有未考慮的情況或是邏輯的謬誤。 上圖就是表示一個執行緒的生命週期,還有它本身的狀態變化。 另外,狀態的數量必須是有限的。 組成元素 狀態節點(State node) 狀態圖型主要使用兩個特定的符號來表示生命週期的開始與結束。 初始狀態(Initial State),使用實心黑色的圓形。 結束狀態(Final State),使用實心黑色的圓形,外層再包一圈空心的圓形。 除了開始和結束外,狀態節點就是表示生命週期的某一種狀態,它的節點內容包含兩個部分。 名稱區格(Name Compartment) 內部轉換區格(Internal Transition Compartment) 通常內部轉換區格會因簡化而省略。 下圖就是含有內部轉換區格的狀態圖型 接下來仔細解釋名稱區格以及內部轉換區格的定義 名稱區格 名稱區格的文字表示生命週期中的一個狀態,UML的規定並非必填,如果沒有填寫就稱為匿名狀態。 內部轉換區格 內部轉換區格主要用來表示狀態節點內部的轉換狀況,這個地方使用四個標籤來說明進入狀態節點後到離開狀態節點時,狀態節點內會做哪些動作。 entry: 進入狀態節點的動作 exit: 離開狀態節點時的動作 do: 停留在此狀態節點時執行的動作 自訂標籤: 使用下列格式來自訂標籤與動作 其實跟其他標籤格式差不多,除了標籤名稱外,就是有參數可以去填寫。 轉換(Transition) 在狀態圖型中,兩個狀態節點間的標示就稱為「轉換」,用來表示狀態節點間如何轉換過去的。 轉換標示的格式如下。 事件名稱: 通常會是物件/類別的方法名稱 參數: 可選擇性的宣告,就是傳遞給事件的參數 條件: 可選擇性地宣告,用來表示狀態轉換的條件 這邊用個修改紀錄的的狀態圖來做例子。 從這個例子可以看到[update record]的狀態可以經過update的事件後,來到達下一個狀態[record updated] 子狀態(Sub-State) 從之前開飲機的例子來說,狀態圖可以如下圖。 ...

[UML]學習筆記-循序圖型(Sequence Diagrams)-8

定義 如果說之前提到的物件圖型是描述一個時間點的系統運作的樣子(memory snapshot),那麼循序圖型就是表示系統要做某件事情的那段時間內,運作的樣子(一個連續的過程)。 循序圖的重點是在描述一件事情,以及系統要完成這件事情的一連串動作,也是一種軟體系統運作的動態圖型。 上圖就是一個循序圖型,而有下圖的解析。循序圖會以做的動作(任務)出發,並列出所以參與到的物件/類別。接下來由上到下就是動作與物件彼此間的順序運作關係。下圖可以清楚展示出物件與類別/任務的互動關係。 循序圖組成的元素 有以下元素組成 -物件節點(Object Node) -生命線(Lifeline) -活化區塊(Activation Box) -訊息(Message) -內部訊息 -解構物件 -迴圈 要建構循序圖,必須要確定要描述的任務為何。 確定任務後,就要列出任務會用到的物件(即為物件節點)。 物件節點 ***************************************************** public class TestThermos {      public static void main(String[] args) {          HotWaterContainer h = new HotWaterContainer( 2 );          CoolWaterContainer c = new CoolWaterContainer( 50 );          ThermosGui g = new ThermosGui();          Thermos t = new Thermos(h, c, g);   ...

[UML]學習筆記-元件圖型(Component Diagrams)-6

定義 在描述一個軟體系統的時候,將軟體系統裡的元素給予模組化(Modularity),即成為一個元件。將元件與元件間的關係做描述時,軟體系統的運作可以比描述類別關係更加得清楚。 這個的由來是描述Java serverlet技術時所採用Container base的描述方式。如下圖。 右邊的藍色區塊就是整個serverlet container以及其中所包含的元件,它和瀏覽器的元件會有互動的關係。 元件(Component) 元件在軟體系統中是依照規則定義功能的一個元素,藉由描述元件與元件間的關係,有下列優點。 1. 使用者可以較為清楚了解軟體架構 2. 提供軟體系統功能更為良好的邏輯文件 3. 提供更好的封裝 4. 方便取代與重複使用 有三個種類 1. 佈署元件 2. 工作產物元件 3. 可執行元件 UML各版本(V1.X & V2.0)的表示方式如下圖。 元件與介面(Component & Interface) 將所有實作一個介面的類別包裝為元件是很常見的做法。 下圖的Pet Interface即是一例。 上圖藍色區塊部分的類別就會集合成一個Pet Component 同樣,描述Component與Interface間的關係,也是使用虛線箭頭,箭頭形狀為空心三角形的表示方式(因為Pet Component就是把類別給集合起來而已) 使用元件圖型 這邊以計算機的程式來說明。 1. 使用到的Package列出來(使用套件圖型) ,請見下圖 2. 將套件中的類別圖型轉成元件圖型 3. 將所有元件圖型集合成軟體系統的運作架構,請見最後一張圖。 由上圖的元件關係可以很清楚地對應到計算機UI所呈現的內容。