机器学习03--(K近邻,KNN算法)

K近邻法(KNN)

介绍

1. k k k近邻法是基本且简单的分类与回归方法。 k k k近邻法的基本做法是:对给定的训练实例点和输入实例点,首先确定输入实例点的 k k k个最近邻训练实例点,然后利用这 k k k个训练实例点的类的多数来预测输入实例点的类。

2. k k k近邻模型对应于基于训练数据集对特征空间的一个划分。 k k k近邻法中,当训练集、距离度量、 k k k值及分类决策规则确定后,其结果唯一确定。

3. k k k近邻法三要素:距离度量、 k k k值的选择和分类决策规则。常用的距离度量是欧氏距离及更一般的pL距离。 k k k值小时, k k k近邻模型更复杂; k k k值大时, k k k近邻模型更简单。 k k k值的选择反映了对近似误差与估计误差之间的权衡,通常由交叉验证选择最优的 k k k

常用的分类决策规则是多数表决,对应于经验风险最小化。

4. k k k近邻法的实现需要考虑如何快速搜索k个最近邻点。kd树是一种便于对k维空间中的数据进行快速检索的数据结构。kd树是二叉树,表示对 k k k维空间的一个划分,其每个结点对应于 k k k维空间划分中的一个超矩形区域。利用kd树可以省去对大部分数据点的搜索, 从而减少搜索的计算量。

模型

K近邻法中,当训练集,距离度量,k值及分类决策规则确定后,对于任何一个输入实例点,它所属的类唯一地确定。这相当于根据上述要素将特征空间划分为一些子空间,确定每个子空间所属的类。

特征空间中,对每个训练实例点xi,其附近的点组成会组成一个区域,叫做单元(cell)。每个训练实例点拥有一个单元,所有训练实例点的单元构成对特征空间的一个划分。如下图所示:(· 代表训练实例,×代表输入实例)
在这里插入图片描述

距离度量

设特征空间 x x x n n n维实数向量空间 , x i , x j ∈ X x_{i}, x_{j} \in \mathcal{X} xi,xjX, x i = ( x i ( 1 ) , x i ( 2 ) , ⋯   , x i ( n ) ) T x_{i}=\left(x_{i}^{(1)}, x_{i}^{(2)}, \cdots, x_{i}^{(n)}\right)^{\mathrm{T}} xi=(xi(1),xi(2),,xi(n))T, x j = ( x j ( 1 ) , x j ( 2 ) , ⋯   , x j ( n ) ) T x_{j}=\left(x_{j}^{(1)}, x_{j}^{(2)}, \cdots, x_{j}^{(n)}\right)^{\mathrm{T}} xj=(xj(1),xj(2),,xj(n))T ,则: x i x_i xi, x j x_j xj L p L_p Lp距离定义为:

L p ( x i , x j ) = ( ∑ i = 1 n ∣ x i ( l ) − x j ( l ) ∣ p ) 1 p L_{p}\left(x_{i}, x_{j}\right)=\left(\sum_{i=1}^{n}\left|x_{i}^{(l)}-x_{j}^{(l)}\right|^{p}\right)^{\frac{1}{p}} Lp(xi,xj)=(i=1nxi(l)xj(l)p)p1

p = 1 p= 1 p=1 曼哈顿距离
p = 2 p= 2 p=2 欧氏距离
p = ∞ p= \infty p= 切比雪夫距离


下图给出了二维空间中p取不同值时,与原点的Lp距离为1时,的点的图形。
在这里插入图片描述

原生代码实现KNN算法:

import numpy as np
import pandas as pd
import matplotlib.pyplot as plt

from sklearn.datasets import load_iris
from sklearn.model_selection import train_test_split
from collections import Counter

#导入iris数据并进行数据预处理
iris = load_iris()
df = pd.DataFrame(iris.data,columns=iris.feature_names)
df['label'] = iris.target
df.columns = ['sepal length', 'sepal width', 'petal length', 'petal width', 'label']

""" 数据可视化展示
plt.scatter(df[:50]['sepal length'], df[:50]['sepal width'], label='0')
plt.scatter(df[50:100]['sepal length'], df[50:100]['sepal width'], label='1')
plt.xlabel('sepal length')
plt.ylabel('sepal width')
plt.legend() """

#分离特征数据和标签数据
data = np.array(df.iloc[:100, [0, 1, -1]])
X, y = data[:,:-1], data[:,-1]
#随机划分训练集和测试集(测试集占比0.2)
X_train, X_test, y_train, y_test = train_test_split(X, y, test_size=0.2)


"""KNN算法实现"""
class KNN:
    def __init__(self,X_train,y_train,n_neighbors=3,p=2):
        """
        X_train: 训练集的特征数据
        y_train: 训练集的标签数据
        n_neighbors: 对应K的取值,即选取的临近点的数目
        p: 对应距离度量的选择  p=2(欧式距离)
    """
        self.n = n_neighbors
        self.p = p
        self.X_train = X_train
        self.y_train = y_train

    #预测输入实例的类别的函数,X是输入实例点
    def predict(self,X):
        #存储n个 训练实例点的(Lp距离,类别)元组的 列表
        knn_list = []
        #计算 前三个训练实例点 与 输入实例的 Lp距离
        for i in range(self.n):
            """
                np.linalg.norm(x, ord=None, axis=None, keepdims=False)函数说明:
                ---------------------------------------------------------------
                x: 表示矩阵(也可以是一维)
                ord: 计算的范数类型
            """
            #计算p范数,即Lp距离(列表-np.array,结果是np.array)(相减 对应列的元素相减)
            dist = np.linalg.norm(X - self.X_train[i], ord=self.p)
            #空列表增添元组形式 (Lp距离,训练实例点对应的标签数据)
            knn_list.append((dist, self.y_train[i]))

        #从前三个训练实例点之后的实例点开始 到 最后一个训练实例点 继续计算与X输入实例点的Lp距离
        for i in range(self.n, len(self.X_train)):
            #index() 函数用于从列表中找出某个值第一个匹配项的索引位置。
            #寻找knn_list中distance最大的元组的下标
            max_index = knn_list.index(max(knn_list, key=lambda x: x[0]))
            #继续计算Lp距离(列表-np.array,结果是np.array)(相减 对应列的元素相减)
            dist = np.linalg.norm(X - self.X_train[i], ord=self.p)
            #如果已知的最大的元组的distance 大于 上面计算出来的dist,就替换元组
            if knn_list[max_index][0] > dist:
                #替换成distance更小的元组
                knn_list[max_index] = (dist, self.y_train[i])
        #统计,存储类别的列表(其列表长度一直是3,即3个元组)
        knn = [k[-1] for k in knn_list]
        #Counter对象的主要功能为快速计算相同元素的个数
        count_pairs = Counter(knn)  #返回:Counter({1.0: 3})
        #sorted()对所有可迭代的对象进行排序操作(以相同元素的个数进行按升序排序)
        #选取排序后投票最多的类别 (即输入实例点所属的类别)
        max_count = sorted(count_pairs.items(), key=lambda x: x[1])[-1][0]
        #返回输入实例 所属的类别
        return max_count

    #传入测试集,测试模型表现情况(即分类正确的点数的占比)
    def score(self, X_test,y_test):
        #初始化正确分类的点的个数
        right_count = 0
        """
            zip() 函数用于将可迭代的对象作为参数,
            将对象中对应的元素打包成一个个元组,
            然后返回由这些元组组成的列表。
            列表中元组的个数与最短的列表长度一致
            如输入:[1,2] 和 [3,4] 输出:[(1,3),(2,4)]
        """
        #预测 测试集中每个测试输入点的 类别
        for X, y in zip(X_test, y_test):
            label = self.predict(X)
            #如果点正确分类,正确分类的点的个数+1
            if label == y:
                right_count += 1
        #返回被正确分类的点的个数 在测试集所有点中的占比
        return right_count / len(X_test)

#实例化KNN模型算法类对象
clf = KNN(X_train, y_train)
#测试 测试集的表现情况
print(clf.score(X_test, y_test))

#一个测试的 输入实例点
test_point = [6.0, 3.0]
#输入实例点进行预测
print('Test Point: {}'.format(clf.predict(test_point)))

"""数据可视化"""
#绘制iris的散点图
plt.scatter(df[:50]['sepal length'], df[:50]['sepal width'], label='0')
plt.scatter(df[50:100]['sepal length'], df[50:100]['sepal width'], label='1')
#绘制 输入实例点
plt.plot(test_point[0], test_point[1], 'bo', label='test_point')
#x轴,y轴的名称设置
plt.xlabel('sepal length')
plt.ylabel('sepal width')
#显式图例
plt.legend()
#展现图像
plt.show()
        

效果:
在这里插入图片描述

sklearn框架实现KNN:

from sklearn.neighbors import KNeighborsClassifier
from sklearn.datasets import load_iris
import numpy as np
import pandas as pd
from sklearn.model_selection import train_test_split


#data
iris = load_iris()
df = pd.DataFrame(iris.data,columns=iris.feature_names)
df['label'] = iris.target
df.columns = ['sepal length', 'sepal width', 'petal length', 'petal width', 'label']

#分离特征数据和标签数据
data = np.array(df.iloc[:100, [0, 1, -1]])
X, y = data[:,:-1], data[:,-1]
#随机划分训练集和测试集(测试集占比0.2)
X_train, X_test, y_train, y_test = train_test_split(X, y, test_size=0.2)

"""
    sklearn.neighbors.KNeighborsClassifier()函数参数说明: 
    ------------------------------------------------------
    n_neighbors: 临近点个数
    p: 距离度量
    algorithm: 近邻算法,可选{'auto', 'ball_tree', 'kd_tree', 'brute'}
    weights: 确定近邻的权重
"""
##实例化knn对象
clf_sk = KNeighborsClassifier()
#传入训练数据,训练模型
clf_sk.fit(X_train, y_train)
#传入测试数据,测试模型的表现
print(clf_sk.score(X_test, y_test))

KD树

litukd树是一种对k维空间中的实例点进行存储以便对其进行快速检索的树形数据结构。

kd树是二叉树,表示对 k k k维空间的一个划分(partition)。构造kd树相当于不断地用垂直于坐标轴的超平面将 k k k维空间切分,构成一系列的k维超矩形区域。kd树的每个结点对应于一个 k k k维超矩形区域。

构造kd树示例:

例: 给定二维空间的数据集: [2,3],[5,4],[9,6],[4,7],[8,1],[7,2],构造平衡kd树。

:
kd树 根节点对应包含所有训练数据点的矩形。
在这里插入图片描述
选择X(1)轴,6个数据点的X(1)坐标的中位数是7,以平面x=7将空间划分为左右两个矩形(对应两个子结点);
在这里插入图片描述
接着,左矩形以X(2)=4分为两个子矩形,右矩形以X(2)=6分为两个子矩形:
在这里插入图片描述
左边矩形的上矩形以X(1)=4划分矩形,左边矩形的下矩形以X(1)=2划分矩形,
在这里插入图片描述
右边矩形的下矩形以X(1)=8划分矩形,得到最终特征空间的划分如下图所示
在这里插入图片描述
得到的对应kd树如下图:
在这里插入图片描述

构造平衡kd树算法

输入: k k k维空间数据集 T = { x 1 , x 2 , … , x N } T=\{x_1,x_2,…,x_N\} T{x1x2,,xN}

其中 x i = ( x i ( 1 ) , x i ( 2 ) , ⋯   , x i ( k ) ) T x_{i}=\left(x_{i}^{(1)}, x_{i}^{(2)}, \cdots, x_{i}^{(k)}\right)^{\mathrm{T}} xi=(xi(1),xi(2),,xi(k))T i = 1 , 2 , … , N i=1,2,…,N i1,2,,N

输出:kd树。

(1)开始:构造根结点,根结点对应于包含 T T T k k k维空间的超矩形区域。

选择 x ( 1 ) x^{(1)} x(1)为坐标轴,以T中所有实例的 x ( 1 ) x^{(1)} x(1)坐标的中位数为切分点,将根结点对应的超矩形区域切分为两个子区域。切分由通过切分点并与坐标轴 x ( 1 ) x^{(1)} x(1)垂直的超平面实现。

由根结点生成深度为1的左、右子结点:左子结点对应坐标 x ( 1 ) x^{(1)} x(1)小于切分点的子区域, 右子结点对应于坐标 x ( 1 ) x^{(1)} x(1)大于切分点的子区域。

将落在切分超平面上的实例点保存在根结点。

(2)重复:对深度为 j j j的结点,选择 x ( 1 ) x^{(1)} x(1)为切分的坐标轴, l = j ( m o d k ) + 1 l=j(modk)+1 lj(modk)+1,以该结点的区域中所有实例的 x ( 1 ) x^{(1)} x(1)坐标的中位数为切分点,将该结点对应的超矩形区域切分为两个子区域。切分由通过切分点并与坐标轴 x ( 1 ) x^{(1)} x(1)垂直的超平面实现。

由该结点生成深度为 j + 1 j+1 j+1的左、右子结点:左子结点对应坐标 x ( 1 ) x^{(1)} x(1)小于切分点的子区域,右子结点对应坐标 x ( 1 ) x^{(1)} x(1)大于切分点的子区域。

将落在切分超平面上的实例点保存在该结点。

(3)直到两个子区域没有实例存在时停止。从而形成kd树的区域划分。


KD树算法的代码实现:

# 对构建好的kd树进行搜索,寻找与目标点最近的样本点:
from math import sqrt
from collections import namedtuple


# 定义kd-tree的结点数据结构
class KdNode(object):
    def __init__(self, dom_elt, split, left, right):
        self.dom_elt = dom_elt  # k维向量节点(k维空间中的一个样本点)
        self.split = split  # 整数(进行分割维度的序号)
        self.left = left  # 该结点分割超平面左子空间构成的kd-tree
        self.right = right  # 该结点分割超平面右子空间构成的kd-tree


class KdTree(object):
    def __init__(self, data):

        k = len(data[0])  # 数据点集中 数据点的维度

        # 递归创建kd-tree的结点
        def CreateNode(split, data_set):  # 按第split维划分数据集exset创建KdNode
            if not data_set:  # 数据集为空,则返回空,即跳出迭代(递归终止条件)
                return None
            # key参数的值为一个匿名函数,此函数只有一个参数且返回一个值用来进行比较
            data_set.sort(key=lambda x: x[split])  # 按要进行分割的那一维数据对数据点进行排序
            split_pos = len(data_set) // 2  # "//"为Python中的整数除法,用来确定分割点所在的下标位置
            median = data_set[split_pos]  # 取出作为中位数分割的数据点
            split_next = (split + 1) % k  # 确定下一个分割的维度

            # 递归的创建kd树()
            return KdNode(
                median,
                split,
                CreateNode(split_next, data_set[:split_pos]),  # 创建左子树
                CreateNode(split_next, data_set[split_pos + 1:]))  # 创建右子树

        self.root = CreateNode(0, data)  # 从第0维分量开始构建kd树,返回根节点


# KDTree的前序遍历
def preorder(root):
    print(root.dom_elt)
    if root.left:  # 节点不为空
        preorder(root.left)
    if root.right:
        preorder(root.right)

# 测试点集(二维数组)
data = [[2, 3], [5, 4], [9, 6], [4, 7], [8, 1], [7, 2]]
# 构建KD树
kd = KdTree(data)
# KDTree的前序遍历
print(preorder(kd.root))

KD树搜索算法

kd树提高计算效率的本质: “空间换时间”

输入:已构的kd树,目标点ⅹ

输出:x的最近邻

  1. 寻找“当前最近点”(初始化最近点)
    从根结点出发,递归访问kd树,找出包含ⅹ的叶结点
    以此叶结点初始化为“当前最近点"
  2. 回溯
    若该结点比“当前最近点”距离目标点更近,更新“当前最近
    当前最近点一定存在于该结点一个子结点对应的区域,检查子结点
    的父结点的另一子结点对应的区域是否有更近的点。
    当回退到根结点时,搜索结束,最后的“当前最近点”即为x的最近邻

例题演示:
在这里插入图片描述

  1. 第一步: 寻找初始化的最近点(即寻找包含当前输入实例的矩形区域)
    由于输入点是(2.1,3.1), 从根结点(7,2)出发,由于2.1小于7,故输入点位于根结点的左边矩形即左子树中,从左边矩形即左子树的根结点(5,4)出发,由于3.1小于4,故输入点位于(5,4)结点的左边矩形即左子树中,从其根结点(2,3)出发,由于3.1大于3,故输入点位于叶结点(2,3)的右边矩形中,此时右边矩形中已无实例点,故找到包含输入点的叶结点为(2,3)作为初始化的最近点.
  2. 回溯
    在二维中,输入点(2.1,3.1)的最近邻点一定在以输入点(2.1,3.1)为中心并通过当前最近点(2,3)的圆形内部。退回到(2,3)的父结点是(5,4)超平面,与圆形没有相交,故(2,3)的兄弟结点矩形区域中不存在更近的实例点;继续退回到(2,3)更上一级的父结点(7,2)超平面,与原形也没有交点,故也不存在更近的实例点;
    由于此时已退回到根节点(7,2),结束搜索,此时保存的最近点就是最终的最近点,即还是(2,3)!!

如下图所示:
在这里插入图片描述

KD树搜索算法的实现

def find_nearest(tree, point):
    k = len(point)  # 数据点的维度

    def travel(kd_node, target, max_dist):
        if kd_node is None:
            return result([0] * k, float("inf"),
                          0)  # python中用float("inf")和float("-inf")表示正负无穷

        nodes_visited = 1

        s = kd_node.split  # 进行分割的维度
        pivot = kd_node.dom_elt  # 进行分割的“轴”

        if target[s] <= pivot[s]:  # 如果目标点第s维小于分割轴的对应值(目标离左子树更近)
            nearer_node = kd_node.left  # 下一个访问节点为左子树根节点
            further_node = kd_node.right  # 同时记录下右子树
        else:  # 目标离右子树更近
            nearer_node = kd_node.right  # 下一个访问节点为右子树根节点
            further_node = kd_node.left

        temp1 = travel(nearer_node, target, max_dist)  # 进行遍历找到包含目标点的区域

        nearest = temp1.nearest_point  # 以此叶结点作为“当前最近点”
        dist = temp1.nearest_dist  # 更新最近距离

        nodes_visited += temp1.nodes_visited

        if dist < max_dist:
            max_dist = dist  # 最近点将在以目标点为球心,max_dist为半径的超球体内

        temp_dist = abs(pivot[s] - target[s])  # 第s维上目标点与分割超平面的距离
        if max_dist < temp_dist:  # 判断超球体是否与超平面相交
            return result(nearest, dist, nodes_visited)  # 不相交则可以直接返回,不用继续判断

        # ----------------------------------------------------------------------
        # 计算目标点与分割点的欧氏距离
        temp_dist = sqrt(sum((p1 - p2)**2 for p1, p2 in zip(pivot, target)))

        if temp_dist < dist:  # 如果“更近”
            nearest = pivot  # 更新最近点
            dist = temp_dist  # 更新最近距离
            max_dist = dist  # 更新超球体半径

        # 检查另一个子结点对应的区域是否有更近的点
        temp2 = travel(further_node, target, max_dist)

        nodes_visited += temp2.nodes_visited
        if temp2.nearest_dist < dist:  # 如果另一个子结点内存在更近距离
            nearest = temp2.nearest_point  # 更新最近点
            dist = temp2.nearest_dist  # 更新最近距离

        return result(nearest, dist, nodes_visited)

    return travel(tree.root, point, float("inf"))  # 从根节点开始递归

kd树搜索算法的局限性:
假设数据集的维数为D,数据的规模为N,一般来说,要求数据的规模N满足N»2D,才能达到高效的搜索;因为当N和D接近时,kd树效率和原始knn算法计算效率类似。


The End!!创作不易,欢迎点赞/评论!!欢迎关注个人公众号

在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值