one-way function
A function is a one-way function if for any probabilistic, polynomial time
computable function
and any polynomial function there is such that for all :
where has length and all numbers of length are equally likely.
That is, no probabilistic, polynomial time function can effectively compute .
Note that, since need not be injective, this is a stricter requirement than
since not only is (almost always) not , it is (almost always) no value such that .