Enforcing and defying associativity, commutativity, totality, and strong noninvertibility for one-way functions in complexity theory

  • Authors:
  • Lane A. Hemaspaandra;Jörg Rothe;Amitabh Saxena

  • Affiliations:
  • University of Rochester;Heinrich-Heine-Universität Düsseldorf, Germany;La Trobe University, Australia

  • Venue:
  • ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Rabi and Sherman [RS97,RS93] proved that the hardness of factoring is a sufficient condition for there to exist one-way functions (i.e., p-time computable, honest, p-time noninvertible functions) that are total, commutative, and associative but not strongly noninvertible. In this paper we improve the sufficient condition to P ≠ NP. More generally, in this paper we completely characterize which types of one-way functions stand or fall together with (plain) one-way functions—equivalently, stand or fall together with P ≠ NP. We look at the four attributes used in Rabi and Sherman’s seminal work on algebraic properties of one-way functions (see [RS97,RS93]) and subsequent papers—strongness (of noninvertibility), totality, commutativity, and associativity—and for each attribute, we allow it to be required to hold, required to fail, or “don’t care.” In this categorization there are 34 = 81 potential types of one-way functions. We prove that each of these 81 feature-laden types stand or fall together with the existence of (plain) one-way functions.