多対一還元
many-one reduction
チューリング還元
https://ja.wikipedia.org/wiki/多対一還元