Hola,
La tupla me refiero exacto eso, (a,b), un par de elementos, que juntos provocan un cambio en el problema, y entonces combinando varias tuplas, (no todas),
por ejemplo f(a) -> f(b) de la tupla (a,b) y luego f(a1) -> f(b2), .... y finalmente f(a5) -> f(b1) (es un ejemplo), el problema entonces queda resuelto con esa secuencia de tuplas.
Entonces, que no se cómo se llama ese tipo de problemas.
En lo del "orden de factores" , no es estrictamente "a+b como b+a", eso no , es por ejemplo f(a)->g(b)-f(b), si te fijas , no solo cambio el orden numérico, sino, también el de las funciones, es parecido pero más abierto, y tampoco se cómo se llama .
Espero aclarar las dudas, a ver si alguien sabe.