X എന്നത് Y ആയി കുറയ്ക്കുന്നു
ഉദാഹരണത്തിന്, Y-ന്റെ ഒരു അൽഗോരിതം ഉപയോഗിച്ച് ഒരു പ്രശ്നം X പരിഹരിക്കാൻ കഴിയുമെങ്കിൽ, X എന്നത് Y-നേക്കാൾ ബുദ്ധിമുട്ടുള്ളതല്ല, കൂടാതെ X എന്നത് Y-ലേക്ക് കുറയ്ക്കുന്നുവെന്ന് നമ്മൾ പറയുന്നു.
റിഡക്ഷൻ അനുസരിച്ച്, X, Y എന്നിവ ഒരേ അൽഗോരിതം ഉപയോഗിച്ച് പരിഹരിക്കാൻ കഴിയുമെങ്കിൽ, X ഉം Y യുമായുള്ള ബന്ധത്തിൽ ഏത് ഫംഗ്ഷൻ പ്രവർത്തിക്കുന്നു?