 The conjecture is a more general variant of the so-called P vs. NP thesis (see  section 6.3).  If one replaces the term “effective” with the term “efficient” one gets a formulation of the \(\textrm{P} \neq \textrm{NP}\) thesis.