computation machine
ماشین محاسبه
time complexity
پیچیدگی زمان
Richardson theorem
قضیه ریچاردسون
CONP problem
مسئله CONP
polynomial congruence
همنهشتی چندجمله‌ای
polynomial algorithm
الگوریتم چندجمله‌ای
روش سادکی
simplex method
زمان چندجمله‌ای
polynomial time
structure of proof
ساختار برهان
Turing machine
ماشین تورینگ