En matemáticas, economía e informática, el problema del matrimonio estable (también problema de emparejamiento estable o SMP) es el problema de encontrar un emparejamiento estable entre dos conjuntos de elementos de igual tamaño dado un orden de preferencias para cada elemento. Una coincidencia es una biyección de los elementos de un conjunto a los elementos del otro conjunto.