Finding Pessiland
نویسنده
چکیده
We explore the minimal assumptions that are necessary for nontrivial argument systems, such as Kilian’s argument system for NP with polylogarithmic communication complexity [K92]. We exhibit an oracle relative to which there is a 2-round argument system with poly-logarithmic communication complexity for some language in NP, but no one-way functions. The language lies outside BPTime(2o(n)), so the relaxation to computational soundness is essential for achieving sublinear communication complexity. We obtain as a corollary that under black-box reductions, non-trivial argument systems do not imply one-way functions.
منابع مشابه
There is no Indistinguishability Obfuscation in Pessiland
We show that if NP , co−RP then the existence of efficient indistinguishability obfuscation (iO) implies the existence of one-way functions. Thus, if we live in “Pessiland”, where NP problems are hard on the average but one-way functions do not exist, or even in “Heuristica”, where NP problems are hard in the worst case but easy on average, then iO is impossible. Our result makes it redundant t...
متن کاملEvaluation of Active Case Finding (ACF) of Tuberculosis in Slums Population in North of Iran
Background At present of the limitation of the current case finding strategies and the global urgency to improve tuberculosis (TB) case finding, a renewed interest in active case finding (ACF) has risen. World Health Organization (WHO) calls for research on TB screening among low-income countries because of the limitation of the passive case finding strategies. We aimed to evaluated Active Case...
متن کاملThe Prediction of Benefit Finding in Cancer Based on Demographic and Clinical Characteristics, Illness Cognition, and Emotional Processing in Patients Referred to Kosar Specialized Clinic in Semnan in 2020: A Descriptive Study
Background and Objectives: In every disease there are always opportunities for improvement of the individual status, part of which is affected by person's psychological status. Therefore, this study aimed to predict benefit finding in cancer based on demographic and clinical characteristics, illness cognition, and emotional processing in cancer patients. Materials and Methods: This descriptive...
متن کاملAN ALGORITHM FOR FINDING THE STABILITY OF LINEAR TIME-INVARIANT SYSTEMS
The purpose of this paper is to show that the ideas and techniques of the classical methods of finding stability, such as the criteria of Leonhard and Nyquist, can be used to derive simple algorithm to verify stability. This is enhanced by evaluating the argument of the characteristic equation of a linear system in the neighbourhood of the origin of the complex plane along the imaginary axis
متن کامل