بالنسبة لمجموعة من المعادلات متعددة الحدود فبزاف من المجاهيل، كاينة خوارزميات لتقرير ما إلا كان عندها عدد محدود من الحلول المعقدة، وإلا كان هاد العدد مسالي ولا لا، لحساب الحلول.