Así, una clase extensa de problemas aparentemente sin relación es reducible a otra, y son en este sentido el mismo problema.