Bạn đang xem: Svm là gì
Máy vectơ hỗ trợ (SVM – thienmaonline.vnết tắt tên tiếng Anh support vector machine) là một khái niệm trong thống kê và khoa học máy tính cho một tập hợp các phương pháp học có giám sát liên quan đến nhau để phân loại và phân tích hồi quy. SVM dạng chuẩn nhận dữ liệu vào và phân loại chúng vào hai lớp khác nhau. Do đó SVM là một thuật toán phân loại nhị phân. Với một bộ các ví dụ luyện tập thuộc hai thể loại cho trước, thuật toán luyện tập SVM xây dựng một mô hình SVM để phân loại các ví dụ khác vào hai thể loại đó. Một mô hình SVM là một cách biểu diễn các điểm trong không gian và lựa chọn ranh giới giữa hai thể loại sao cho khoảng cách từ các ví dụ luyện tập tới ranh giới là xa nhất có thể. Các ví dụ mới cũng được biểu diễn trong cùng một không gian và được thuật toán dự đoán thuộc một trong hai thể loại tùy vào ví dụ đó nằm ở phía nào của ranh giới.
Mục lục
1 Tổng quan về máy vectơ hỗ trợ 2 Lịch sử 3 Đặt vấn đề 4 SVM tuyến tính 4.1 Dạng ban đầu 4.2 Dạng đối ngẫu 5 Lề mềm 5.1 Dạng đối ngẫu 6 Xem thêm 7 Ghi chú 8 Liên kết ngoài 9 Tham khảo
Xem thêm: Cytotoxicity Là Gì – Cytotoxicity Testing, Mtt Testing Lab
Tổng quan về máy vectơ hỗ trợ
Một máy vectơ hỗ trợ xây dựng một siêu phẳng hoặc một tập hợp các siêu phẳng trong một không gian nhiều chiều hoặc vô hạn chiều, có thể được sử dụng cho phân loại, hồi quy, hoặc các nhiệm vụ khác. Một cách trực giác, để phân loại tốt nhất thì các siêu phẳng nằm ở càng xa các điểm dữ liệu của tất cả các lớp (gọi là hàm lề) càng tốt, vì nói chung lề càng lớn thì sai số tổng quát hóa của thuật toán phân loại càng bé.
Trong nhiều trường hợp, không thể phân chia các lớp dữ liệu một cách tuyến tính trong một không gian ban đầu được dùng để mô tả một vấn đề. Vì vậy, nhiều khi cần phải ánh xạ các điểm dữ liệu trong không gian ban đầu vào một không gian mới nhiều chiều hơn, để thienmaonline.vnệc phân tách chúng trở nên dễ dàng hơn trong không gian mới. Để thienmaonline.vnệc tính toán được hiệu quả, ánh xạ sử dụng trong thuật toán SVM chỉ đòi hỏi tích vô hướng của các vectơ dữ liệu trong không gian mới có thể được tính dễ dàng từ các tọa độ trong không gian cũ. Tích vô hướng này được xác định bằng một hàm hạt nhân K(x,y) phù hợp.[1] Một siêu phẳng trong không gian mới được định nghĩa là tập hợp các điểm có tích vô hướng với một vectơ cố định trong không gian đó là một hằng số. Vectơ xác định một siêu phẳng sử dụng trong SVM là một tổ hợp tuyến tính của các vectơ dữ liệu luyện tập trong không gian mới với các hệ số αi. Với siêu phẳng lựa chọn như trên, các điểm x trong không gian đặc trưng được ánh xạ vào một siêu mặt phẳng là các điểm thỏa mãn:
Σi αi K(xi,x) = hằng số.
Ghi chú rằng nếu K(x,y) nhận giá trị ngày càng nhỏ khi y xa dần khỏi x thì mỗi số hạng của tổng trên được dùng để đo độ tương tự giữa x với điểm xi tương ứng trong dữ liệu luyện tập. Như vậy, tác dụng của tổng trên chính là so sánh khoảng cách giữa điểm cần dự đoán với các điểm dữ liệu đã biết. Lưu ý là tập hợp các điểm x được ánh xạ vào một siêu phẳng có thể có độ phức tạp tùy ý trong không gian ban đầu, nên có thể phân tách các tập hợp thậm chí không lồi trong không gian ban đầu.
Lịch sử
Thuật toán SVM ban đầu được tìm ra bởi Vladimir N. Vapnik và dạng chuẩn hiện nay sử dụng lề mềm được tìm ra bởi Vapnik và Corinna Cortes năm 1995.[2]
Đặt vấn đề
H3 (màu xanh lá cây) không chia tách hai lớp dữ liệu. H1 (màu xanh lơ) phân tách hai lớp với lề nhỏ và H2 (màu đỏ) phân tách với lề cực đại.
Phân loại thống kê là một nhiệm vụ phổ biến trong học máy. Trong mô hình học có giám sát, thuật toán được cho trước một số điểm dữ liệu cùng với nhãn của chúng thuộc một trong hai lớp cho trước. Mục tiêu của thuật toán là xác định xem một điểm dữ liệu mới sẽ được thuộc về lớp nào. Mỗi điểm dữ liệu được biểu diễn dưới dạng một vector p-chiều, và ta muốn biết liệu có thể chia tách hai lớp dữ liệu bằng một siêu phẳng p − 1 chiều. Đây gọi là phân loại tuyến tính. Có nhiều siêu phẳng có thể phân loại được dữ liệu. Một lựa chọn hợp lý trong chúng là siêu phẳng có lề lớn nhất giữa hai lớp.
SVM tuyến tính
Ta có một tập huấn luyện D }}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_1_9913_700.jpg)
gồm n điểm có dạng D = } i = 1 n }=left _,y_)mid mathbf _in mathbb ^,,y_in \right}_^}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_2_9913_700.jpg)
với yi mang giá trị 1 hoặc −1, xác định lớp của điểm x i _}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_3_9913_700.jpg)
. Mỗi x i _}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_3_9913_700.jpg)
là một vectơ thực p-chiều. Ta cần tìm siêu phẳng có lề lớn nhất chia tách các điểm có y i = 1 =1}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_5_9913_700.jpg)
và các điểm có y i = − 1 =-1}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_6_9913_700.jpg)
. Mỗi siêu phẳng đều có thể được thienmaonline.vnết dưới dạng một tập hợp các điểm x }
![*](https://licadho.org/wp-content/uploads/2021/08/imager_7_9913_700.jpg)
thỏa mãn
Siêu phẳng với lề cực đại cho một SVM phân tách dữ liệu thuộc hai lớp. Các ví dụ nằm trên lề được gọi là các vectơ hỗ trợ.
Xem thêm: Biết Gulp Là Một Lợi Thế!, Gulp Cho Người Mới Bắt đầu
w ⋅ x − b = 0 , cdot mathbf -b=0,,}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_8_9913_700.jpg)
với ⋅
![*](https://licadho.org/wp-content/uploads/2021/08/imager_9_9913_700.jpg)
ký hiệu cho tích vô hướng và w }}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_10_9913_700.jpg)
là một vectơ pháp tuyến của siêu phẳng. Tham số b ‖ w ‖ |}}}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_11_9913_700.jpg)
xác định khoảng cách giữa gốc tọa độ và siêu phẳng theo hướng vectơ pháp tuyến w }}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_10_9913_700.jpg)
.
Chúng ta cần chọn w }}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_10_9913_700.jpg)
và b
![*](https://licadho.org/wp-content/uploads/2021/08/imager_14_9913_700.jpg)
để cực đại hóa lề, hay khoảng cách giữa hai siêu mặt song song ở xa nhau nhất có thể trong khi vẫn phân chia được dữ liệu. Các siêu mặt ấy được xác định bằng w ⋅ x − b = 1 cdot mathbf -b=1,}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_15_9913_700.jpg)
và
w ⋅ x − b = − 1. cdot mathbf -b=-1.,}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_16_9913_700.jpg)
Để ý rằng nếu dữ liệu huấn luyện có thể được chia tách một cách tuyến tính, thì ta có thể chọn hai siêu phẳng của lề sao cho không có điểm nào ở giữa chúng và sau đó tăng khoảng cách giữa chúng đến tối đa có thể. Bằng hình học, ta tìm được khoảng cách giữa hai siêu phẳng là 2 ‖ w ‖ |}}}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_17_9913_700.jpg)
. Vì vậy ta muốn cực tiểu hóa giá trị ‖ w ‖ |}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_18_9913_700.jpg)
. Để đảm bảo không có điểm dữ liệu nào trong lề, ta thêm vào các điều kiện sau:
Với mỗi i
![*](https://licadho.org/wp-content/uploads/2021/08/imager_19_9913_700.jpg)
ta có w ⋅ x i − b ≥ 1 cho x i cdot mathbf _-bgeq 1qquad }mathbf _}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_20_9913_700.jpg)
thuộc lớp thứ nhất
hoặc
w ⋅ x i − b ≤ − 1 cho x i cdot mathbf _-bleq -1qquad }mathbf _}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_21_9913_700.jpg)
thuộc lớp thứ hai
Có thể thienmaonline.vnết gọn lại như sau với mọi 1 ≤ i ≤ n
![*](https://licadho.org/wp-content/uploads/2021/08/imager_22_9913_700.jpg)
: y i ( w ⋅ x i − b ) ≥ 1 , ( 1 ) (mathbf cdot mathbf _-b)geq 1,qquad qquad (1)}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_23_9913_700.jpg)
Tóm lại, ta có bài toán tối ưu hóa sau:
Cực tiểu hóa (theo w , b ,b}}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_24_9913_700.jpg)
) ‖ w ‖ |}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_18_9913_700.jpg)
với điều kiện (với mọi i = 1 , … , n
![*](https://licadho.org/wp-content/uploads/2021/08/imager_26_9913_700.jpg)
) y i ( w ⋅ x i − b ) ≥ 1. (mathbf cdot mathbf } -b)geq 1.,}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_27_9913_700.jpg)
Dạng ban đầu
Bài toán tối ưu ở mục trên tương đối khó giải vì hàm mục tiêu phụ thuộc vào ||w||, là một hàm có khai căn. Tuy nhiên có thể thay ||w|| bằng hàm mục tiêu 1 2 ‖ w ‖ 2 }|mathbf |^}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_28_9913_700.jpg)
(hệ số 1/2 để tiện cho các biến đổi toán học sau này) mà không làm thay đổi lời giải (lời giải của bài toán mới và bài toán ban đầu có cùng w và b). Đây là một bài toán quy hoạch toàn phương. Cụ thể hơn:
Cực tiểu hóa (theo w , b ,b}}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_24_9913_700.jpg)
) 1 2 ‖ w ‖ 2 }|mathbf |^}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_30_9913_700.jpg)
với điều kiện (với mọi i = 1 , … , n
![*](https://licadho.org/wp-content/uploads/2021/08/imager_26_9913_700.jpg)
) y i ( w ⋅ x i − b ) ≥ 1. (mathbf cdot mathbf } -b)geq 1.}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_32_9913_700.jpg)
Bằng cách thêm các nhân tử Lagrange α }}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_33_9913_700.jpg)
, bài toán trên trở thành min w , b max α ≥ 0 ,b}max _}geq 0}left}|mathbf |^-sum _^}right}}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_34_9913_700.jpg)
}right}}”/>
nghĩa là ta cần tìm một điểm yên ngựa. Khi đó, tất cả các điểm không nằm trên lề, nghĩa là y i ( w ⋅ x i − b ) − 1 > 0 (mathbf cdot mathbf } -b)-1>0}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_35_9913_700.jpg)
đều không ảnh hưởng đến giá trị hàm mục tiêu vì ta có thể chọn α i }
![*](https://licadho.org/wp-content/uploads/2021/08/imager_36_9913_700.jpg)
bằng không.
Có thể giải bài toán này bằng các kĩ thuật thông thường cho quy hoạch toàn phương. Theo điều kiện Karush–Kuhn–Tucker, lời giải có thể được thienmaonline.vnết dưới dạng tổ hợp tuyến tính của các vectơ luyện tập
w = ∑ i = 1 n α i y i x i . =sum _^y_mathbf } }.}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_37_9913_700.jpg)
Chỉ có một vài α i }
![*](https://licadho.org/wp-content/uploads/2021/08/imager_36_9913_700.jpg)
nhận giá trị lớn hơn 0. Các điểm x i } }
![*](https://licadho.org/wp-content/uploads/2021/08/imager_39_9913_700.jpg)
tương ứng là các vectơ hỗ trợ nằm trên lề và thỏa mãn y i ( w ⋅ x i − b ) = 1 (mathbf cdot mathbf } -b)=1}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_40_9913_700.jpg)
. Từ điều kiện này, ta nhận thấy w ⋅ x i − b = 1 / y i = y i ⟺ b = w ⋅ x i − y i cdot mathbf } -b=1/y_=y_iff b=mathbf cdot mathbf } -y_}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_41_9913_700.jpg)
từ đó ta suy ra được giá trị b
![*](https://licadho.org/wp-content/uploads/2021/08/imager_14_9913_700.jpg)
. Trên thực tế, một cách thức tốt hơn để tính b
![*](https://licadho.org/wp-content/uploads/2021/08/imager_14_9913_700.jpg)
là tính giá trị trung bình từ tất cả N S V }
![*](https://licadho.org/wp-content/uploads/2021/08/imager_44_9913_700.jpg)
vectơ hỗ trợ: b = 1 N S V ∑ i = 1 N S V ( w ⋅ x i − y i ) }}sum _^} cdot mathbf } -y_)}}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_45_9913_700.jpg)
Dạng đối ngẫu
Nếu thienmaonline.vnết điều kiện phân loại dưới dạng đối ngẫu không điều kiện thì sẽ dễ dàng nhận thấy siêu phẳng với lề lớn nhất, và do đó nhiệm vụ phân loại, chỉ phụ thuộc vào các điểm luyện tập nằm trên lề, còn gọi là các vectơ hỗ trợ.
Vì ‖ w ‖ 2 = w ⋅ w |^=wcdot w}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_46_9913_700.jpg)
và w = ∑ i = 1 n α i y i x i =sum _^y_mathbf } }}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_47_9913_700.jpg)
, ta nhận thấy bài toán đối ngẫu của SVM là chính là bài toán tối ưu hóa sau:
Cực đại hóa (theo α i }
![*](https://licadho.org/wp-content/uploads/2021/08/imager_36_9913_700.jpg)
) L ~ ( α ) = ∑ i = 1 n α i − 1 2 ∑ i , j α i α j y i y j x i T x j = ∑ i = 1 n α i − 1 2 ∑ i , j α i α j y i y j k ( x i , x j ) }(mathbf )=sum _^alpha _-}sum _alpha _alpha _y_y_mathbf _^mathbf _=sum _^alpha _-}sum _alpha _alpha _y_y_k(mathbf _,mathbf _)}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_49_9913_700.jpg)
với điều kiện (với mọi i = 1 , … , n
![*](https://licadho.org/wp-content/uploads/2021/08/imager_26_9913_700.jpg)
) α i ≥ 0 , geq 0,,}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_51_9913_700.jpg)
và điều kiện sau ứng với thienmaonline.vnệc cực tiểu hóa theo b
![*](https://licadho.org/wp-content/uploads/2021/08/imager_14_9913_700.jpg)
∑ i = 1 n α i y i = 0. ^alpha _y_=0.}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_53_9913_700.jpg)
Ở đây hàm hạt nhân được định nghĩa là k ( x i , x j ) = x i ⋅ x j _,mathbf _)=mathbf _cdot mathbf _}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_54_9913_700.jpg)
.
Sau khi giải xong, có thể tính w }
![*](https://licadho.org/wp-content/uploads/2021/08/imager_55_9913_700.jpg)
từ các giá trị α
![*](https://licadho.org/wp-content/uploads/2021/08/imager_56_9913_700.jpg)
tìm được như sau: w = ∑ i α i y i x i . =sum _alpha _y_mathbf _.}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_57_9913_700.jpg)
Lề mềm
Năm 1995, Corinna Cortes và Vladimir N. Vapnik đề xuất một ý tưởng mới cho phép thuật toán gán nhãn sai cho một số ví dụ luyện tập.[2] Nếu không tồn tại siêu phẳng nào phân tách được hai lớp dữ liệu, thì thuật toán lề mềm sẽ chọn một siêu phẳng phân tách các ví dụ luyện tập tốt nhất có thể, và đồng thời cực đại hóa khoảng cách giữa siêu phẳng với các ví dụ được gán đúng nhãn. Phương pháp này sử dụng các biến bù ξ i }
![*](https://licadho.org/wp-content/uploads/2021/08/imager_58_9913_700.jpg)
, dùng để đo độ sai lệch của ví dụ x i }
![*](https://licadho.org/wp-content/uploads/2021/08/imager_59_9913_700.jpg)
y i ( w ⋅ x i − b ) ≥ 1 − ξ i 1 ≤ i ≤ n . ( 2 ) (mathbf cdot mathbf } -b)geq 1-xi _quad 1leq ileq n.quad quad (2)}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_60_9913_700.jpg)
Hàm mục tiêu có thêm một số hạng mới để phạt thuật toán khi ξ i }
![*](https://licadho.org/wp-content/uploads/2021/08/imager_58_9913_700.jpg)
khác không, và bài toán tối ưu hóa trở thành thienmaonline.vnệc trao đổi giữa lề lớn và mức phạt nhỏ. Nếu hàm phạt là tuyến tính thì bài toán trở thành: min w , ξ , b ,mathbf ,b}left}|mathbf |^+Csum _^xi _right}}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_62_9913_700.jpg)
với điều kiện (với mọi i = 1 , … n
![*](https://licadho.org/wp-content/uploads/2021/08/imager_63_9913_700.jpg)
) y i ( w ⋅ x i − b ) ≥ 1 − ξ i , ξ i ≥ 0 (mathbf cdot mathbf } -b)geq 1-xi _,~~~~xi _geq 0}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_64_9913_700.jpg)
Có thể giải bài toán trên bằng nhân tử Lagrange tương tự như trường hợp cơ bản ở trên. Bài toán cần giải trở thành:
min w , ξ , b max α , β ,mathbf ,b}max _},}}left}|mathbf |^+Csum _^xi _-sum _^}-sum _^beta _xi _right}}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_65_9913_700.jpg)
}-sum _^beta _xi _right}}”/>
với α i , β i ≥ 0 ,beta _geq 0}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_66_9913_700.jpg)
.
Dạng đối ngẫu
Cực đại hóa (theo α i }
![*](https://licadho.org/wp-content/uploads/2021/08/imager_36_9913_700.jpg)
) L ~ ( α ) = ∑ i = 1 n α i − 1 2 ∑ i , j α i α j y i y j k ( x i , x j ) }(mathbf )=sum _^alpha _-}sum _alpha _alpha _y_y_k(mathbf _,mathbf _)}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_68_9913_700.jpg)
với điều kiện (với mọi i = 1 , … , n
![*](https://licadho.org/wp-content/uploads/2021/08/imager_26_9913_700.jpg)
) 0 ≤ α i ≤ C , leq C,,}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_70_9913_700.jpg)
và
∑ i = 1 n α i y i = 0. ^alpha _y_=0.}
![*](https://licadho.org/wp-content/uploads/2021/08/imager_53_9913_700.jpg)
Ưu điểm của thienmaonline.vnệc dùng hàm phạt tuyến tính là các biến bù biến mất khỏi bài toán đối ngẫu, và hằng số C chỉ xuất hiện dưới dạng một chặn trên cho các nhân tử Lagrange. Cách đặt vấn đề trên đã mang lại nhiều thành quả trong thực tiễn, và Cortes và Vapnik đã nhận được giải Paris Kanellakis của ACM năm 2008 cho đóng góp này.[3] Các hàm phạt phi tuyến cũng được sử dụng, đặc biệt là để giảm ảnh hưởng của các trường hợp ngoại lệ, tuy nhiên nếu không lựa chọn hàm phạt cẩn thận thì bài toán trở thành không lồi, và thienmaonline.vnệc tìm lời giải tối ưu toàn cục thường là rất khó.
Xem thêm
In situ adaptive tabulation Máy hạt nhân Predictive analytics Relevance vector machine, Một mô hình máy hạt nhân thưa xác suất có dạnghàm số giống như SVM. Tối ưu hóa nhỏ nhất tuần tự
Ghi chú
Chuyên mục: Hỏi Đáp