Emparejamiento óptimo
# Emparejamiento óptimo

El emparejamiento óptimo es un método de análisis secuencial utilizado en ciencias sociales, para evaluar la similitud de arreglos ordenados de símbolos que normalmente representan una secuencia temporal ordenada de los estados socioeconómicos que dos individuos han experimentado. Una vez que tales distancias han sido calculadas para un conjunto de observaciones (por ejemplo, individuos de una cohorte) herramientas clásicas (tales como el Algoritmo de agrupamiento) pueden ser utilizados. El método fue adaptado a las ciencias sociales a partir de una técnica introducida originalmente para estudiar la biología molecular. El emparejamiento óptimo utiliza el Algoritmo Needleman-Wunsch.

## Algoritmo

Sea $S=(s_{1},s_{2},s_{3},\ldots s_{T})$ una secuencia de estados $s_{i}$ que pertenecen a un conjunto finito de estados posibles. Denotemos ${\mathbf {S} }$ el espacio de secuencias, es decir, el conjunto de todas las posibles secuencias de estados. Los algoritmos de correspondencia óptimos funcionan mediante la definición de operador simples álgebras que manipulan secuencias, es decir, un conjunto de operadores $a_{i}:{\mathbf {S} }\rightarrow {\mathbf {S} }$. En el enfoque más simple, se utiliza un conjunto compuesto de solamente tres operaciones básicas para transformar secuencias:

* un estado $s$ se inserta en la secuencia $a_{s'}^{\rm {Ins}}(s_{1},s_{2},s_{3},\ldots s_{T})=(s_{1},s_{2},s_{3},\ldots ,s',\ldots s_{T})$
* un estado es borrado de la secuencia $a_{s_{2}}^{\rm {Del}}(s_{1},s_{2},s_{3},\ldots s_{T})=(s_{1},s_{3},\ldots s_{T})$ y
* un estado $s_{1}$ es reemplazado (substituted) por un estado $s'_{1}$, $a_{s_{1},s'_{1}}^{\rm {Sub}}(s_{1},s_{2},s_{3},\ldots s_{T})=(s'_{1},s_{2},s_{3},\ldots s_{T})$.

Imagínese ahora que un coste $c(a_{i})\in {\mathbf {R} }_{0}^{+}$ se asocia a cada operador. Dadas dos secuencias $S_{1}$ and $S_{2}$, La idea es medir el costo de obtener $S_{2}$ de $S_{1}$ utilizando los operadores del álgebra. Dejar $A={a_{1},a_{2},\ldots a_{n}}$ ser una secuencia de operadores de manera que la aplicación de todos los operadores de esta secuencia La a la primera secuencia $S_{1}$ da la segunda secuencia S_2 : $S_{2}=a_{1}\circ a_{2}\circ \ldots \circ a_{n}(S_{1})$ donde $a_{1}\circ a_{2}$ denota el operador compuesto. A este conjunto asociamos el costo c (A) = \ sum_ {i = 1} ^ n c (a_i) , Que representa el costo total de la transformación. Hay que tener en cuenta en este punto que podría existir diferentes tales secuencias La que transforman $S_{1}$ en $S_{2}$; Una elección razonable es para seleccionar el más barato de tales secuencias. Por la presente instamos a distancia  :$d(S_{1},S_{2})=\min _{A}\left\{c(A)~{\rm {such~that}}~S_{2}=A(S_{1})\right\}$

es decir, el coste del conjunto menos costosa de las transformaciones que se convierten $S_{1}$ en $S_{2}$. Tenga en cuenta que $d(S_{1},S_{2})$ es por definición no negativo, ya que es la suma de los costes de positivos, y trivialmente $d(S_{1},S_{2})=0$ si y sólo si $S_{1}=S_{2}$, Es decir, no hay ningún costo. La función de distancia es simétrica si los costos de inserción y supresión son iguales $c(a^{\rm {Ins}})=c(a^{\rm {Del}})$, El término costo indel lo general se refiere a los gastos comunes de inserción y supresión.

Teniendo en cuenta un conjunto compuesto de sólo las tres operaciones básicas descritas anteriormente, esta medida proximidad satisface la desigualdad triangular. transitividad sin embargo, depende de la definición del conjunto de las operaciones elementales.

## Crítica

Aunque las técnicas de juego óptimas son ampliamente utilizadas en sociología y la demografía, estas técnicas también tienen sus defectos. Como se ha señalado por varios autores (por ejemplo L. L. Wu), el principal problema en la aplicación de emparejamiento óptimo es definir adecuadamente los costos $c(a_{i})$.

## Emparejamiento óptimo en el modelado causal

El emparejamiento óptimo es también un término usado en el modelado estadístico de efectos causales. En este contexto se refiere a la combinación "casos" con "controles", y es completamente independiente del sentido de la secuencia analítica.

