Máquinas de vectores soporte (SVM)

Nivel AvanzadoDificultad ★★★★★Aplicación⌖ Ver en el mapa

¿Qué es?

Encontrar el hiperplano separador de mayor margen: un programa cuadrático convexo cuyo dual lagrangiano solo usa los datos a través de productos escalares; de ahí el truco del núcleo.

Fórmulas

min⁡w,b 12∥w∥2,yi(w⋅xi+b)≥1  ∀i\min_{w,b}\ \tfrac12\norm w^2, \qquad y_i(w\cdot x_i + b) \ge 1\ \ \forall i
max⁡α∑iαi−12∑i,jαiαjyiyj k(xi,xj),αi≥0, ∑iαiyi=0\max_\alpha \sum_i\alpha_i - \tfrac12\sum_{i,j}\alpha_i\alpha_j y_i y_j\,k(x_i, x_j), \quad \alpha_i \ge 0,\ \sum_i\alpha_i y_i = 0
el dual: solo aparecen núcleos k(xi,xj)k(x_i, x_j)

Las matemáticas que hay detrás

  • Convexidad y concavidad★★★★★fundamental

    Entrenar una SVM es un programa cuadrático convexo: un único óptimo global.

  • Multiplicadores de Lagrange★★★★★fundamental

    El dual de la SVM se obtiene con multiplicadores de Lagrange; solo importan los puntos con αi>0\alpha_i > 0 (vectores soporte).

  • Condiciones KKT★★★★★fundamental

    La holgura complementaria es la razón de que solo los vectores soporte (puntos en el margen o dentro) tengan peso no nulo.

Esta página tiene lo esencial. Un desarrollo más completo (intuición, definición formal, ejemplo resuelto) está en camino.

↑ ↓ para navegar · ↵ · Esc