The goal is to find a reducing algorithm whose complexity is not dominated by the resulting reduced algorithm's.
Tujuannya yaitu untuk menemukan sebuah algoritme reduksi yang kompleksitasnya tidak didominasi oleh algoritme hasil reduksi.