機(jī)器學(xué)習(xí)算法的數(shù)據(jù)結(jié)構(gòu)是怎樣的

擁有機(jī)器學(xué)習(xí)技能是不夠的。你還需要良好的數(shù)據(jù)結(jié)構(gòu)的工作知識。學(xué)習(xí)更多，并解決一些問題。

因此，你已經(jīng)決定不再使用固定的算法并開始編寫自己的機(jī)器學(xué)習(xí)方法。也許你已經(jīng)有了一種新的集群數(shù)據(jù)的新方法，或者你可能對你最喜歡的統(tǒng)計分類包的局限性感到失望。

無論哪種情況，你對數(shù)據(jù)結(jié)構(gòu)和算法的了解越多，在代碼編寫時就越容易。我不認(rèn)為機(jī)器學(xué)習(xí)中使用的數(shù)據(jù)結(jié)構(gòu)與其他軟件開發(fā)領(lǐng)域的數(shù)據(jù)結(jié)構(gòu)有很大的不同。然而，由于許多問題的規(guī)模和難度，對基礎(chǔ)知識的掌握非常重要。

另外，由于機(jī)器學(xué)習(xí)是一個數(shù)學(xué)性非常強(qiáng)的領(lǐng)域，我們應(yīng)該記住，數(shù)據(jù)結(jié)構(gòu)是如何被用來解決數(shù)學(xué)問題的，以及它們是如何以自己的方式來處理數(shù)學(xué)問題的。有兩種方法可以對數(shù)據(jù)結(jié)構(gòu)進(jìn)行分類：通過它們的實現(xiàn)和它們的操作。

通過實現(xiàn)，我指的是它們的編程方式和實際存儲模式的具體細(xì)節(jié)。它們的外觀并沒有如何實現(xiàn)更重要。對于按操作或抽象數(shù)據(jù)類型分類的數(shù)據(jù)結(jié)構(gòu)來說，情況恰恰相反——它們的外觀和操作比實現(xiàn)方式更重要，事實上，它們通?？梢允褂迷S多不同的內(nèi)部表示來實現(xiàn)。

數(shù)組

當(dāng)我說基本數(shù)組是機(jī)器學(xué)習(xí)中最重要的數(shù)據(jù)結(jié)構(gòu)時，我并不是在開玩笑。這個實用的類型比你想象的要多。數(shù)組非常重要，因為它們被用于線性代數(shù)——這是你可以使用的最有用和最強(qiáng)大的數(shù)學(xué)工具。

因此，最常見的類型分別是一個和二維的類型，分別對應(yīng)于向量和矩陣，但偶爾會遇到三個或四維的數(shù)組，它們要么用于更高級別的張量，要么為前者的組示例。

在進(jìn)行矩陣運(yùn)算時，你將不得不從令人眼花繚亂的各種庫、數(shù)據(jù)類型、甚至語言中進(jìn)行選擇。許多科學(xué)編程語言，如Matlab，交互式數(shù)據(jù)語言（IDL），以及帶有Numpy擴(kuò)展的Python，主要是為處理向量和矩陣而設(shè)計的。

但這些數(shù)據(jù)結(jié)構(gòu)的優(yōu)點是，即使在更通用的編程語言中，實現(xiàn)向量和矩陣在metal很簡單，假設(shè)語言中有任何Fortran DNA?？紤]矩陣向量乘法的平移：

使用C++：

for （int i=0; i0;

for （int j=0; j

在大多數(shù)情況下，數(shù)組可以在運(yùn)行時分配到固定大小，或者可以計算可靠的上限。在那些需要數(shù)組無限擴(kuò)展的情況下，可以使用可擴(kuò)展數(shù)組，例如C ++標(biāo)準(zhǔn)模板庫（STL）中的vector類。Matlab中的規(guī)則數(shù)組具有相似的可擴(kuò)展性，可擴(kuò)展數(shù)組是整個Python語言的基礎(chǔ)。

在這個數(shù)據(jù)結(jié)構(gòu)中，有兩個元數(shù)據(jù)與實際數(shù)據(jù)值一起存儲。 這些是分配給數(shù)據(jù)結(jié)構(gòu)的存儲空間量和陣列的實際大小。一旦數(shù)組大小超過存儲空間，將分配一個新空間，該空間的大小是其大小的兩倍，將值復(fù)制到其中，并刪除舊數(shù)組。

這有一個O（n）操作，其中n是數(shù)組的大小，但由于它只是偶爾發(fā)生，所以添加一個新值到實際結(jié)束的時間實際上被分配到常量時間O（1）。這是一個非常靈活的數(shù)據(jù)結(jié)構(gòu)，具有快速的平均插入和快速訪問。

可擴(kuò)展數(shù)組非常適合組成其他更復(fù)雜的數(shù)據(jù)結(jié)構(gòu)并使其可擴(kuò)展。例如，要存儲稀疏矩陣，可以在結(jié)尾添加任意數(shù)量的新元素，然后按位置對其進(jìn)行排序以更快地定位。稍后詳述！稀疏矩陣可用于文本分類問題。

鏈表

鏈表由幾個分開分配的節(jié)點組成。每個節(jié)點都包含一個數(shù)據(jù)值和一個指向列表中下一個節(jié)點的指針。插入在不變的時間是非常有效的，但是訪問一個值很慢，并且通常需要掃描大部分列表。

鏈表很容易拼接并分開。有許多變化——例如，可以在頭部或尾部進(jìn)行插入;該列表可以是雙鏈接的，并且有許多類似的數(shù)據(jù)結(jié)構(gòu)基于相同的原則。

主要是，我發(fā)現(xiàn)鏈表可用于解析不確定長度的列表。 之后，它們可以轉(zhuǎn)換為固定長度的陣列以便快速訪問。出于這個原因，我使用了一個鏈接列表類，其中包含一個轉(zhuǎn)換為數(shù)組的方法。

二叉樹

二叉樹與鏈表相似，只不過每個節(jié)點都有兩個指向后續(xù)節(jié)點的指針而不是一個。左側(cè)孩子的值總是小于父節(jié)點的值，而父節(jié)點的值又小于右側(cè)孩子的值。因此，二叉樹中的數(shù)據(jù)會自動排序。O（log n）的平均插入和訪問都是有效的。像鏈接列表一樣，它們很容易轉(zhuǎn)換為數(shù)組，這是樹狀排序的基礎(chǔ)。

平衡樹

如果數(shù)據(jù)已經(jīng)排序，二叉樹在O（n）最差的情況下效率較低，因為數(shù)據(jù)將被線性排列，就好像它是一個鏈表。雖然二叉樹中的排序受到限制，但它絕不是唯一的，并且可以根據(jù)插入的順序以相同的列表排列許多不同的配置。

為了使其更加平衡，可以將一些轉(zhuǎn)換應(yīng)用于樹。自平衡樹會自動執(zhí)行這些操作，以保持訪問和插入的最佳平均值。

機(jī)器學(xué)習(xí)中普遍存在的問題是找到最接近某一特定點的鄰居。這個問題是NN算法所需要的。KD樹是一種二叉樹，它提供了一種有效的解決方案。

堆

堆是另一個層次結(jié)構(gòu)，類似于樹的有序數(shù)據(jù)結(jié)構(gòu)，它具有垂直排序，而不是水平排序。這種排序適用于層次結(jié)構(gòu)，但不適用于整個層次：父節(jié)點總是大于它的子節(jié)點，但是更高級別的節(jié)點并不一定比下面的節(jié)點要大。

插入和檢索都是通過升級來執(zhí)行的。元素首先插入到最高可用位置。然后將其與其父母進(jìn)行比較并提升，直至達(dá)到正確的等級。為了從堆中去掉一個元素，兩個孩子中較大的一個被提升到缺失的位置，然后這兩個孩子中較大的一個被提升，如此等等，直到每一個都變成正確的等級。

通常情況下，頂部的最高排名值將從堆中取出，以便對列表進(jìn)行排序。 與樹不同，大多數(shù)堆只是簡單地存儲在數(shù)組中，元素之間的關(guān)系只是隱含的。

堆棧

一個堆棧被定義為“先進(jìn)后出”。一個元素被壓入堆棧的頂部，覆蓋前一個元素。頂部的元素必須先彈出才能訪問任何其他元素。

堆棧主要用于解析語法和實現(xiàn)計算機(jī)語言。

在許多機(jī)器學(xué)習(xí)應(yīng)用程序中，領(lǐng)域特定語言（DSL）是完美的解決方案。例如，libAGF庫使用遞歸控制語言將二進(jìn)制分類一般化到多類。特殊字符用于重復(fù)前面的選項，但是由于語言是遞歸的，所以必須從相同的層次或更高的層次上選擇該選項。這是由堆棧實現(xiàn)的。

隊列

隊列被定義為“先入先出”。想想銀行柜員面前的隊伍（對于我們這些年紀(jì)還大的人來說，還記得在網(wǎng)上銀行出現(xiàn)之前的一段時間）。隊列在實時編程中非常有用，因此程序可以維護(hù)要處理的作業(yè)列表。

考慮一個記錄運(yùn)動員分段時間的應(yīng)用程序。你輸入bib號碼，然后按回車鍵，但你要做的時候，后面的運(yùn)動員也通過了。所以你輸入的是最近接近運(yùn)動員的bib號碼列表，然后按下一個單獨的鍵來注冊隊列中的下一個。

集合

一個集合包含一個非重復(fù)元素的無序列表。如果添加已經(jīng)在集合中的元素，則不會有任何更改。由于機(jī)器學(xué)習(xí)的許多數(shù)學(xué)知識都與集合有關(guān)，所以它們是非常有用的數(shù)據(jù)結(jié)構(gòu)。

關(guān)聯(lián)數(shù)組

在關(guān)聯(lián)數(shù)組中，有兩種類型的數(shù)據(jù)成對存儲：密鑰及其相關(guān)值。 數(shù)據(jù)結(jié)構(gòu)本質(zhì)上是關(guān)系型的：數(shù)值由其鍵來解決。由于大部分訓(xùn)練數(shù)據(jù)也是關(guān)系型的，這種類型的數(shù)據(jù)結(jié)構(gòu)似乎非常適合于機(jī)器學(xué)習(xí)問題。在實踐中，它的用處不大，部分原因是大多數(shù)關(guān)聯(lián)數(shù)組只是一維的，而機(jī)器學(xué)習(xí)數(shù)據(jù)通常是多維的。

關(guān)聯(lián)數(shù)組適用于構(gòu)建字典。假設(shè)你正在構(gòu)建一個DSL，想要存儲一個函數(shù)和變量列表，并且需要區(qū)分這兩者。

sin =函數(shù)。

var = 變量。

exp =函數(shù)。

x =變量。

sqrt =函數(shù)。

a =變量。

在“sqrt”查詢數(shù)組將返回“函數(shù)”。

自定義數(shù)據(jù)結(jié)構(gòu)

當(dāng)你處理更多問題時，你肯定會遇到標(biāo)準(zhǔn)配方框不包含最佳結(jié)構(gòu)的那些問題。你將需要設(shè)計自己的數(shù)據(jù)結(jié)構(gòu)?？紤]一個多類分類器，它概括了一個二元分類器來處理具有兩個以上類的分類問題。一個明顯的解決方案是平分：遞歸地將類分成兩組。但分層解決方案并不是解決多類的唯一方法，你可以使用類似于二叉樹的方法來組織二進(jìn)制分類器?？紤]幾個分區(qū)，然后用它們同時解決所有類的概率。

最通用的解決方案將兩者結(jié)合起來，因此每個分層分區(qū)不需要是二進(jìn)制的，而是可以通過非分層多類分類器來解決。這是在libAGF庫中采用的方法。

更復(fù)雜的數(shù)據(jù)結(jié)構(gòu)也可以由基本結(jié)構(gòu)組成?？紤]一個稀疏矩陣類。在稀疏矩陣中，大多數(shù)元素都是零，并且只存儲非零元素。我們可以將每個元素的位置和值存儲為一個三元組，并將它們的列表存儲在一個可擴(kuò)展數(shù)組中。

結(jié)論

數(shù)據(jù)結(jié)構(gòu)本身偶爾也很有趣。令它們真正有趣的是它們可以解決的各種問題。對于大多數(shù)工作，我使用了許多基本的固定長度數(shù)組。我主要使用更復(fù)雜的數(shù)據(jù)結(jié)構(gòu)來使程序在運(yùn)行和與外部界面交互方面更加流暢，并且更加便于用戶使用。不像以前的Fortran程序那樣，為了改變網(wǎng)格大小，我不得不忍受一個接近半小時的編譯周期（我實際上在這樣的程序上工作過！）。

即使你無法想出一個應(yīng)用程序，我仍然認(rèn)為知道諸如棧和隊列之類的東西是件好事。你永遠(yuǎn)不知道什么時候會派上用場。真正復(fù)雜的人工智能應(yīng)用程序可能會使用定向和無向圖，它們只是樹和鏈表的一般化。如果你無法應(yīng)對后者，你將如何建立起像前者那樣的東西？

問題

如果你想自己練習(xí)和實現(xiàn)ML算法的數(shù)據(jù)結(jié)構(gòu)，請嘗試解決下面的一些問題：

將矩陣向量乘法代碼片段封裝到名為matrix_times_vector的子例程中。設(shè)計子例程的調(diào)用語法。使用struct，typedef或class，將矢量和矩陣分別封裝到一對稱為vect和matrix的抽象類型中。為這些類型設(shè)計一個API。在網(wǎng)上找到至少三個以上的庫。

下載并安裝LIBSVM庫?？紤]方法Kernel ：： k_function在“svm.cpp”的第316行。用于保存向量的數(shù)據(jù)結(jié)構(gòu)有哪些優(yōu)缺點？在LIBSVM庫中，如何重構(gòu)內(nèi)核函數(shù)的計算？文中描述的哪些數(shù)據(jù)結(jié)構(gòu)是抽象類型？你可以使用什么內(nèi)部表示/數(shù)據(jù)結(jié)構(gòu)來實現(xiàn)抽象數(shù)據(jù)類型？上面的列表中是否有未包含的內(nèi)容？

使用二叉樹，設(shè)計一個關(guān)聯(lián)數(shù)組。

在LIBSVM中考慮向量類型。如何用它來表示一個稀疏矩陣？與上面描述的稀疏矩陣類進(jìn)行對比?？纯赐暾念愋?。每個代表的優(yōu)點和缺點是什么？實現(xiàn)一個treesort和一個堆排序。現(xiàn)在使用相同的數(shù)據(jù)結(jié)構(gòu)來查找前k個元素。什么常見的機(jī)器學(xué)習(xí)算法適合這種情況？用你喜歡的語言實現(xiàn)你最喜歡的數(shù)據(jù)結(jié)構(gòu)。

責(zé)任編輯：ct