Hola.
Cada elemento de S hace corresponder un símbolo de x con uno de y. Por lo tanto, del total de m+n símbolos que hay entre las dos cadenas, hay 2|S| emparejados (|S| símbolos de x y |S| símbolos de y), por lo cual hay m+n-2|S| símbolos sin emparejar.