演算法基礎知識總結

SKIPSPUR_SUPER發表於2022-02-19

1.基本概念

1.1 背景

1.2 術語

1.1.1 資料(Data)

分為數值型資料和非數值型資料

1.1.2 資料元素(Data Element)

資料的基本單位,在計算機程式中通常作為一個整體進行考慮和處理,也簡稱為元素,或稱為記錄結點頂點

1.1.3 資料項(Data Item)

構成資料元素的不可分割最小單位

1.1.4 資料物件(Data Object)

性質相同的資料元素的集合,是資料的一個子集

1.1.5 資料結構(Data Structure)

資料元素不是孤立存在的,它們之間存在著某種關係,資料元素相互之間的關係稱為結構(Structure)

是指相互之間存在一種或多種特定關係資料元素集合;或者說,資料結構是帶結構的資料元素的集合

資料結構包括以下三個方面的內容:

  1. 資料元素之間的邏輯關係,也稱為邏輯結構

  2. 資料元素及其關係在計算機記憶體中的表示(又稱為映像),稱為資料的物理結構或資料的儲存結構

  3. 資料的運算和實現,即對資料元素可以施加的操作以及這些操作在相應的儲存結構上的實現

1.1.5.1 資料結構的兩個層次

1.1.5.1.1 邏輯結構
  • 描述資料元素之間的邏輯關係

  • 與資料的儲存無關,獨立於計算機

  • 是從具體問題抽象出來的數學模型

1.1.5.1.1.1 邏輯結構的種類
劃分方法一
  1. 線性結構

有且僅有一個開始和一個終端結點,並且所有結點都最多只有一個直接前趨和一個直接後繼

例如:線性表、棧、佇列、串

  1. 非線性結構

一個結點可能有多個直接前取和直接後繼

例如:樹、圖

劃分方式二—四類基本邏輯結構
  1. 集合結構:結構中的資料元素之間除了同屬於一個集合的關係外,無任何其它關係

  2. 線性結構:結構中的資料元素之間存在著一對一的線性關係

  3. 樹形結構:結構中的資料元素之間存在著一對多的層次關係

1.1.5.1.2 物理結構(儲存結構)
  • 資料元素及其關係在計算機儲存器中的結構(儲存方式)

  • 是資料結構在計算機中的表示

四種基本的儲存結構
  • 順序儲存結構

用一組連續的儲存單元依次儲存資料元素,資料元素之間的邏輯關係由元素的儲存位置來表示

例如:C語言中用陣列來實現順序儲存結構

  • 鏈式儲存結構

用一組任意的儲存單元儲存資料元素,資料元素之間的邏輯關係用指標來表示

例如:C語言中用指標來實現鏈式儲存結構

  • 索引儲存結構

在儲存結點資訊的同時,還建立附加的索引表

索引表中的每一項稱為一個索引項

索引項的一般形式是:(關鍵字,地址)

關鍵字是能唯一標識一個結點的那些資料項

若每個結點在索引表中都有一個索引項,則該索引表稱為稠密索引(Dense Index)。若一組結點在索引表中只對應一個索引項,則該索引表稱之為稀疏索引(Sparse Index)

  • 雜湊儲存結構

根據結點的關鍵字直接計算出該結點的儲存地址

1.1.5.1.3 邏輯結構與儲存結構的關係
  • 儲存結構是邏輯關係的映像元素本身的映像

  • 邏輯結構是資料結構的抽象,儲存結構是資料結構的實現

1.1.6 資料型別和抽象資料型別

在使用高階程式設計語言編寫程式時,必須對程式中出現的每個變數、常量或表示式明確說明它們所屬的資料型別

高階語言中的資料型別明顯地或隱含地規定了在程式執行期間變數的所有可能的取值範圍,以及在這些數值範圍上所允許進行的操作

資料型別的作用:

  1. 約束變數或常量的取值範圍

  2. 約束變數或常量的操作

資料型別(Data Type)

定義:資料型別是一組性質相同的值的集合以及定義於這個值集合上的一組操作的總稱

資料型別 = 值的集合 + 值集合上的一組操作

抽象資料型別(Abstract Data Type, ADT)

定義:是指一個數學模型以及定義在此數學模型上的一組操作

  • 由使用者定義,從問題抽象出資料模型(邏輯結構)

  • 還包括定義在數學模型上的一組抽象運算(相關操作)

  • 不考慮計算機內的具體儲存結構與運算的具體實現演算法

抽象資料型別的形式定義:

抽象資料型別可用(D, S, P)三元組表示。

其中:D是資料物件;S是D上的關係集;P是對D的基本操作集

一個抽象資料型別的定義格式如下:

ADT 抽象資料型別名{
    資料物件:<資料物件的定義>
    資料關係:<資料關係的定義>
    基本操作:<基本操作的定義>
} ADT 抽象資料型別名

其中:

  • 資料物件、資料關係的定義用虛擬碼描述

  • 基本操作的定義格式為:

    • 基本操作名(參數列)

    • 初始條件:<初始條件描述>

    • 操作結果:<操作結果描述>

基本操作定義格式說明:

參數列:賦值引數只為操作提供輸入值。引用引數以&打頭,除可提供輸入值外,還將返回操作結果

初始條件:描述操作執行之前資料結構和引數應滿足的條件,若不滿足,則操作失敗,並返回相應出錯資訊。若初始條件為空,則省略之

操作結果:說明操作正常完成之後,資料結構的變化狀況和應返回的結果。

e.g. Circle

ADT Circle{
    資料物件:D = {r,x,y|r,x,y均為實數}
    資料關係:S = {<r,x,y>|r是半徑,<x,y>是圓心座標}
    基本操作:
    Circle(&C,r,x,y)
        操作結果:構造一個圓
    double Area(C)
        初始條件:圓已存在
        操作結果:計算面積
    double Circumference(C)
        初始條件:圓已存在
        操作結果:計算周長
    ......
} ADT Circle

e.g. 複數

ADT Complex{
    資料物件:D = {r1, r2|r1,r2都是實數}
    資料關係:S = {<r1, r2>|r1是實部,r2是虛部}
    基本操作:
    assign(&C,v1,v2)
        初始條件:空的複數C已存在
        操作結果:構造複數C,r1,r2分別被賦以引數v1,v2的值
    destory(&C)
        初始條件:複數C已存在
        操作結果:複數C被銷燬
    GetReal(C, &realPart)
        初始條件:複數C已存在
        操作結果:用realPart返回複數C的實部值
    GetImag(C, &ImagPart)
        初始條件:複數已存在
        操作結果:用ImagPart返回複數C的虛部值
    Add(c1, c2, &sum)
        初始條件:c1, c2是複數
        操作結果:sum返回兩個複數c1, c2的和
    ......
} ADT Complex

1.3 總結

2.抽象資料型別的表示與實現

抽象資料型別可以通過固有的資料型別(如整型、實型、字元型等)來表示和實現

  • 即利用處理器中已存在的資料型別來說明新的結構,用已經實現的操作來組合新的操作

例如:抽象資料型別“複數”的實現

typedef struct{
    float realpart; // 實部
    float imagpart; // 虛部
}Complex // 定義複數抽象型別

Complex assign(Complex* A, float real, float imag); // 賦值
Complex add(Complex* c, Complex A, Complex B); // A + B
Complex minus(Complex* c, Complex A, Complex B); // A - B
Complex multiply(Complex* c, Complex A, Complex B); // A * B
Complex divide(Complex* c, Complex A, Complex B); // A / B
Complex assign(Complex* A, float real, float imag){
    A->realpart = real; // 實部賦值
    A->imagpart = imag; // 虛部賦值
    return A;
}

Complex add(Complex* c, Complex A, Complex B){
    c->realpart = A.realpart + B.realpart; // 實部相加
    c->imagpart = A.imagpart + B.imagpart; // 虛部相加
    return c;
}

Complex minus(Complex* c, Complex A, Complex B){
    c->realpart = A.realpart - B.realpart; // 實部相減
    c->imagpart = A.imagpart - B.imagpart; // 虛部相減
    return c;
}

Complex multiply(Complex* c, Complex A, Complex B){
    c->realpart = A.realpart * B.realpart - A.imagpart * B.imagpart;
    c->imagpart = A.imagpart * B.realpart + A.realpart * B.imagpart;
    return c;
}

Complex divide(Complex* c, Complex A, Complex B){
    c->realpart = (A.realpart * B.realpart + A.imagpart * B.imagpart) / (B.realpart * B.realpart + B.imagpart * B.imagpart);
    c->imagpart = (A.imagpart * B.realpart - A.realpart * B.imagpart) / (B.realpart * B.realpart + B.imagpart * B.imagpart);
    return c;
}

3.演算法和演算法分析

演算法的定義:對特定問題求解方法和步驟的一種描述,它是指令有限序列。其中每個指令表示一個或多個操作。簡言之,演算法就是解決問題的方法和步驟

演算法的描述:

  • 自然語言

  • 流程圖:傳統流程圖、NS流程圖

  • 虛擬碼/類語言

  • 程式程式碼

演算法與程式

  • 演算法是解決問題的一種方法或一個過程,考慮如何將輸入轉換成輸出,一個問題可以有多種演算法

  • 程式是用某種程式設計語言對演算法的具體實現

程式 = 資料結構 +演算法

資料結構通過演算法實現操作

演算法根據資料結構設計程式

演算法特性

一個演算法必須具備以下五個重要特性:

  • 有窮性:一個演算法必須總是在執行有窮步之後結束,且每一步都在有窮時間內完成

  • 確定性:演算法中的每一條指令必須有確切的含義,沒有二義性,在任何條件下,只有唯一的一條執行路徑,即對於相同的輸入只能得到相同的輸出

  • 可行性:演算法是可執行的,演算法描述的操作可以通過已經實現的基本操作執行有限次來實現

  • 輸入:一個演算法有零個或多個輸入

  • 輸出:一個演算法有一個或多個輸出

演算法設計的要求

  • 正確性(Correctness)

  • 可讀性(Readability)

  • 健壯性(Robustness)

  • 高效性(Efficiency)

一個好的演算法首先要具備正確性,然後是健壯性,可讀性,在幾個方面都滿足的情況下,主要考慮演算法的效率,通過演算法的效率高低來評判不同演算法的優劣程度

演算法效率以下兩個方面來考慮:

  1. 時間效率:指的是演算法所耗費的時間

  2. 空間效率:指的是演算法執行過程中所耗費的儲存空間

注意:時間效率和空間效率往往不可兼得

演算法時間效率的度量

演算法時間效率可以用依據該演算法編制的程式在計算機上執行所消耗的時間來度量

兩種度量方法:

  • 事後統計

    • 將演算法實現,測算其時間和空間開銷

    • 缺點:編寫程式實現演算法將花費較多的時間和精力;所得實驗結果依賴於計算機的軟硬體等環境因素,掩蓋演算法本身的優劣

  • 事前分析

    • 對演算法所消耗資源的一種估算方法

      • 一個演算法的執行時間是指一個演算法在計算機上執行所耗費的時間大致可以等於計算機執行一種簡單的操作(如賦值、比較、移動等)所需的時間與演算法中進行的簡單操作次數乘積

        演算法執行時間 = 一個簡單操作所需時間 x 簡單操作次數

      • 也即演算法中每條語句的執行時間之和

      演算法執行時間 = \(\sum\)每條語句的執行次數 x 該語句執行一次所需的時間

注意:每條語句的執行次數又稱為語句頻度

每條語句執行依次所需的時間,一般是隨機器而異的。取決於機器的指令效能、速度以及編譯的程式碼質量。是由機器本身軟硬體環境決定的,它與演算法無關

所以我們可以假設執行每條語句所需的時間均為單位時間。此時對演算法的執行時間的討論就可轉化為討論該演算法中所有語句的執行次數,即頻度之和

這就可以獨立於不同機器的軟硬體環境來分析演算法的時間效能了

O:Order 數量級

一般情況下,不必計算所有操作的執行次數,而只考慮演算法中基本操作執行的次數,它是問題規模n個某個函式,用T(n)表示

基本語句:

  • 演算法中重複執行次數和演算法的執行時間成正比的語句

  • 對演算法執行時間的貢獻最大

  • 執行次數最多

問題規模n:n越大演算法的執行時間越長

  • 排序:n為記錄數

  • 矩陣:n為矩陣的階數

  • 多項式:n為多項式的項數

  • 集合:n為元素個數

  • 樹:n為樹的結點個數

  • 圖:n為圖的頂點數或邊數

定理1.1

若f(n) = \(a_{m}n^{m}\)+\(a_{m-1}n^{m-1}\)+...+\(a_1n\)+\(a_0\)是m次多項式,則T(n) = O(\(n^{m}\))

忽略所有低次冪項和最高次冪係數,體現出增長率的含義

分析演算法時間複雜度的基本方法

  1. 找出語句頻度最大的那條語句作為基本語句

  2. 計算基本語句的頻度得到問題規模n的某個函式f(n)

  3. 取其數量級用符號"O"表示

注意:時間複雜度是由巢狀最深層語句的頻度決定的

練習:

演算法時間複雜度

請注意:有的情況下,演算法中基本操作重複執行的次數還隨問題的輸入資料集不同而不同

[例] 順序查詢,在陣列中查詢值等於e的元素,返回其所在位置

for(i = 0; i < n; i++)
    if(a[i] == e) return i + 1;
return 0;

最好情況:1次;最壞情況:n;平均時間複雜度為:O(n)

  • 最壞時間複雜度:指在最壞情況下,演算法的時間複雜度

  • 平均時間複雜度:指在所有可能輸入例項在等概率出現的情況下,演算法的期望執行時間

  • 最好時間複雜度:指在最好情況下,演算法的時間複雜度

對於複雜的演算法,可以將它分成幾個容易估算的部分,然後利用大O加法法則和乘法法則,計算演算法的時間複雜度

  1. 加法法則:T(n) = \({T_1}\)(n) + \(T_2\)(n) = O(f(n)) + O(g(n)) = O(max(f(n),g(n)))

  2. 乘法法則:T(n) = \({T_1}\)(n) × \(T_2\)(n) = O(f(n)) × O(g(n)) = O(f(n)×g(n))

演算法時間效率的比較

  • 當n取得很大時,指數時間演算法和多項式時間演算法在所需時間上非常懸殊

複雜度:O(1) < O(logn) < O(n) < O(nlogn) < O(\(n^{2}\)) < O(\(n^{3}\)) < ······ < O(\(n^{k}\)) < O(\(2^{n}\)) < O(n!)

漸進空間複雜度

空間複雜度:演算法所需儲存空間的度量,記作:S(n) = O(f(n)),其中n為問題的規模(或大小)

演算法要佔據的空間

  • 演算法本身要佔據的空間,輸入/輸出,指令,常量,變數等

  • 演算法要使用的輔助空間

例如:將一維陣列a中的n個數逆序存放到原陣列中

// 演算法1
for(int i = 0; i < n / 2; i++){
    // t為輔助空間
    t = a[i];
    a[i] = a[n-i-1];
    a[n-i-1] = t;

    // S(n) = O(1) 原地工作
}

// 演算法2
for(int i = 0; i < n; i++){
    b[i] = a[n-i-1];
}
for(int i = 0; i < n; i++){
    a[i] = b[i];
}

// S(n) = O(n)

4.總結

相關文章