Ir al contenido

Mapa conceptual del curso

Los temas de esta primera parte no son nueve algoritmos sueltos. Son variaciones de unas pocas ideas que se repiten. Si entiendes esas ideas, cada lección nueva es «lo mismo, con un cambio». Este mapa te muestra exactamente cuál es ese cambio.

Mapa conceptual del curso

Haz clic en un tema (o pasa el mouse): se resaltan sus conexiones y abajo aparece cómo se relaciona con cada uno, con enlaces directos.

FundamentosRegresión y regularizaciónClasificación discriminativaGenerativosSVM y kernelsÁrboles
Datos, T/P/E yparticionesÁlgebra,probabilidad,cálculoSesgo–varianzaValidacióncruzadaRegresiónlinealDescenso degradienteRidge y lassoMáximaverosimilitudRegresiónlogísticaMétricas declasificaciónSoftmaxBayes y MAPLDA / QDANaive BayesMargen suave yhingeSVM: margenmáximoLagrange, KKT ydualKernelsKernel ridgeÁrboles dedecisiónEnsembles(siguiente)
Regresión logística · ir al tema →
Log-odds lineal ⇒ P(y=1∣x)=σ(w⊤x+b)P(y=1|x) = \sigma(w^\top x + b). Frontera lineal, cross-entropy convexa.

Casi todo lo que vimos se escribe como minimizar un error de ajuste más un costo por complejidad:

ModeloPérdida (ajuste)Penalización (complejidad)Perilla
Regresión lineal (OLS)∑i(yi−w⊤xi)2\sum_i (y_i - \mathbf{w}^\top\mathbf{x}_i)^2ninguna—
Ridge∑i(yi−w⊤xi)2\sum_i (y_i - \mathbf{w}^\top\mathbf{x}_i)^2λ∥w∥22\lambda\Vert \mathbf{w}\Vert _2^2λ\lambda ↑ ⇒ más simple
Lasso∑i(yi−w⊤xi)2\sum_i (y_i - \mathbf{w}^\top\mathbf{x}_i)^2λ∥w∥1\lambda\Vert \mathbf{w}\Vert _1λ\lambda ↑ ⇒ más ceros
Logística regularizada−∑i[yilog⁡pi+(1−yi)log⁡(1−pi)]-\sum_i [y_i\log p_i + (1-y_i)\log(1-p_i)]λ∥w∥22\lambda\Vert \mathbf{w}\Vert _2^2λ\lambda ↑ ⇒ más simple
SVM margen suaveC∑imax⁡(0, 1−yif(xi))C\sum_i \max(0,\,1-y_i f(\mathbf{x}_i)) (hinge)12∥w∥2\tfrac12\Vert \mathbf{w}\Vert ^2CC ↑ ⇒ más complejo (λ∝1/C\lambda \propto 1/C)
Kernel ridge∥y−Kα∥2\Vert \mathbf{y}-\mathbf{K}\boldsymbol\alpha\Vert ^2λ α⊤Kα\lambda\,\boldsymbol\alpha^\top\mathbf{K}\boldsymbol\alphaλ\lambda, γ\gamma
Árbol podadoR(T)R(T) = impureza ponderada de las hojasα ∣T∣\alpha\,\lvert T\rvert (nº de hojas)α\alpha ↑ ⇒ más pequeño

2. Máxima verosimilitud explica las pérdidas

Sección titulada «2. Máxima verosimilitud explica las pérdidas»

Las pérdidas no son arbitrarias: salen de suponer cómo se generan los datos y maximizar la verosimilitud.

  • Ruido gaussiano y=w⊤x+εy = \mathbf{w}^\top\mathbf{x} + \varepsilon, ε∼N(0,σ2)\varepsilon\sim\mathcal N(0,\sigma^2) ⇒ maximizar la verosimilitud = minimizar el error cuadrático.
  • Etiquetas Bernoulli y∼Bernoulli(σ(z))y\sim\text{Bernoulli}(\sigma(z)) ⇒ −log-verosimilitud = cross-entropy.
  • Modelos generativos: la MLE se reduce a contar y promediar (πk=Nk/N\pi_k = N_k/N, medias, varianzas, covarianzas).
  • Agregar un prior convierte MLE en MAP; el suavizado de Laplace y la penalización ridge son priors disfrazados.

Cada perilla de complejidad (grado, λ\lambda, CC, γ\gamma, profundidad, α\alpha) mueve el modelo por la misma curva en U: poca flexibilidad ⇒ sesgo alto (underfit); mucha ⇒ varianza alta (overfit). La validación cruzada es el árbitro que elige el punto de la U, nunca el test set.

La regresión polinómica, los kernels y (conceptualmente) las redes neuronales comparten un truco: transformar las features ϕ(x)\phi(\mathbf{x}) y luego usar un modelo lineal. La curva se dobla en xx pero el problema sigue siendo lineal en w\mathbf{w}. El kernel hace esto sin construir nunca ϕ\phi.

¿Qué modela?FronteraSalida
Discriminativos probabilísticos (logística, softmax)P(y∣x)P(y\mid\mathbf{x}) directolineal (sin features extra)probabilidad
Generativos (NB, LDA, QDA)p(x∣y)p(\mathbf{x}\mid y) y P(y)P(y), luego BayesLDA lineal, QDA cuadráticaprobabilidad (NB sobreconfiado)
De margen (SVM)solo la frontera más seguralineal o curva (kernel)un score con signo, no probabilidad
Árbolesparticiones en cajasescalonada, alineada a los ejesclase o p^\hat p de la hoja