Article ID Journal Published Year Pages File Type
438959 Theoretical Computer Science 2011 13 Pages PDF
Abstract

It is well known that the inverse function of y=x with the derivative y′=1 is x=y, the inverse function of y=c with the derivative y′=0 is nonexistent, and so on. Hence, on the assumption that the noninvertibility of the univariate increasing function y=f(x) with x>0 is in direct proportion to the growth rate reflected by its derivative, the authors put forward a method of comparing difficulties in inverting two functions on a continuous or discrete interval called asymptotic granularity reduction (AGR) which integrates asymptotic analysis with logarithmic granularities, and is an extension and a complement to polynomial time (Turing) reduction (PTR). Prove by AGR that inverting is computationally harder than inverting , and inverting is computationally equivalent to inverting , which are compatible with the results from PTR. Besides, apply AGR to the comparison of inverting with , with , and with in difficulty, and observe that the results are consistent with existing facts, which further illustrates that AGR is suitable for comparison of inversion problems in difficulty. Last, prove by AGR that inverting is computationally equivalent to inverting when PTR cannot be utilized expediently. AGR with the assumption partitions the complexities of problems more detailedly, and finds out some new evidence for the security of cryptosystems.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics