Matches in SemOpenAlex for { <https://semopenalex.org/work/W2406751738> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2406751738 abstract "We initiate the study of compression that preserves the solution to an instance of a problem rather than preserving the instance itself. Our focus is on the compressibility of NP decision problems. We consider NP problems that have long instances but relatively short witnesses. The question is, can one efficiently compress an instance and store a shorter representation that maintains the information of whether the original input is in the language or not. We want the length of the compressed instance to be polynomial in the length of the witness rather than the length of original input. Such compression enables to succinctly store instances until a future setting will allow solving them, either via a technological or algorithmic breakthrough or simply until enough time has elapsed. We give a new classification of NP with respect to compression. This classification forms a stratification of NP that we call the VC hierarchy. The hierarchy is based on a new type of reduction called W-reduction and there are compression-complete problems for each class. Our motivation for studying this issue stems from the vast cryptographic implications compressibility has. For example, we say that SAT is compressible if there exists a polynomial p(middot, middot) so that given a formula consisting of m clauses over n variables it is possible to come up with an equivalent (w.r.t satisfiability) formula of size at most p(n, log m). Then given a compression algorithm for SAT we provide a construction of collision resistant hash functions from any one-way function. This task was shown to be impossible via black-box reductions (D. Simon, 1998), and indeed the construction presented is inherently non-black-box. Another application of SAT compressibility is a cryptanalytic result concerning the limitation of everlasting security in the bounded storage model when mixed with (time) complexity based cryptography. In addition, we study an approach to constructing an oblivious transfer protocol from any one-way function. This approach is based on compression for SAT that also has a property that we call witness retrievability. However, we mange to prove severe limitations on the ability to achieve witness retrievable compression of SAT" @default.
- W2406751738 created "2016-06-24" @default.
- W2406751738 creator A5002372704 @default.
- W2406751738 creator A5036936298 @default.
- W2406751738 date "2006-01-01" @default.
- W2406751738 modified "2023-09-23" @default.
- W2406751738 title "On the Compressibility of NP Instances and Cryptographic Applications." @default.
- W2406751738 hasPublicationYear "2006" @default.
- W2406751738 type Work @default.
- W2406751738 sameAs 2406751738 @default.
- W2406751738 citedByCount "0" @default.
- W2406751738 crossrefType "journal-article" @default.
- W2406751738 hasAuthorship W2406751738A5002372704 @default.
- W2406751738 hasAuthorship W2406751738A5036936298 @default.
- W2406751738 hasConcept C111335779 @default.
- W2406751738 hasConcept C11413529 @default.
- W2406751738 hasConcept C118615104 @default.
- W2406751738 hasConcept C127413603 @default.
- W2406751738 hasConcept C146978453 @default.
- W2406751738 hasConcept C15927051 @default.
- W2406751738 hasConcept C159985019 @default.
- W2406751738 hasConcept C162324750 @default.
- W2406751738 hasConcept C168773769 @default.
- W2406751738 hasConcept C178489894 @default.
- W2406751738 hasConcept C180016635 @default.
- W2406751738 hasConcept C192562407 @default.
- W2406751738 hasConcept C2524010 @default.
- W2406751738 hasConcept C311688 @default.
- W2406751738 hasConcept C31170391 @default.
- W2406751738 hasConcept C33884865 @default.
- W2406751738 hasConcept C33923547 @default.
- W2406751738 hasConcept C34447519 @default.
- W2406751738 hasConcept C38652104 @default.
- W2406751738 hasConcept C41008148 @default.
- W2406751738 hasConcept C80444323 @default.
- W2406751738 hasConcept C84655787 @default.
- W2406751738 hasConcept C99138194 @default.
- W2406751738 hasConceptScore W2406751738C111335779 @default.
- W2406751738 hasConceptScore W2406751738C11413529 @default.
- W2406751738 hasConceptScore W2406751738C118615104 @default.
- W2406751738 hasConceptScore W2406751738C127413603 @default.
- W2406751738 hasConceptScore W2406751738C146978453 @default.
- W2406751738 hasConceptScore W2406751738C15927051 @default.
- W2406751738 hasConceptScore W2406751738C159985019 @default.
- W2406751738 hasConceptScore W2406751738C162324750 @default.
- W2406751738 hasConceptScore W2406751738C168773769 @default.
- W2406751738 hasConceptScore W2406751738C178489894 @default.
- W2406751738 hasConceptScore W2406751738C180016635 @default.
- W2406751738 hasConceptScore W2406751738C192562407 @default.
- W2406751738 hasConceptScore W2406751738C2524010 @default.
- W2406751738 hasConceptScore W2406751738C311688 @default.
- W2406751738 hasConceptScore W2406751738C31170391 @default.
- W2406751738 hasConceptScore W2406751738C33884865 @default.
- W2406751738 hasConceptScore W2406751738C33923547 @default.
- W2406751738 hasConceptScore W2406751738C34447519 @default.
- W2406751738 hasConceptScore W2406751738C38652104 @default.
- W2406751738 hasConceptScore W2406751738C41008148 @default.
- W2406751738 hasConceptScore W2406751738C80444323 @default.
- W2406751738 hasConceptScore W2406751738C84655787 @default.
- W2406751738 hasConceptScore W2406751738C99138194 @default.
- W2406751738 hasLocation W24067517381 @default.
- W2406751738 hasOpenAccess W2406751738 @default.
- W2406751738 hasPrimaryLocation W24067517381 @default.
- W2406751738 hasRelatedWork W1600605837 @default.
- W2406751738 hasRelatedWork W2070773953 @default.
- W2406751738 hasRelatedWork W2072335624 @default.
- W2406751738 hasRelatedWork W2104935797 @default.
- W2406751738 hasRelatedWork W2137467444 @default.
- W2406751738 hasRelatedWork W2142812941 @default.
- W2406751738 hasRelatedWork W2148888468 @default.
- W2406751738 hasRelatedWork W2150405243 @default.
- W2406751738 hasRelatedWork W2183103682 @default.
- W2406751738 hasRelatedWork W2500910757 @default.
- W2406751738 hasRelatedWork W2571694663 @default.
- W2406751738 hasRelatedWork W2784889254 @default.
- W2406751738 hasRelatedWork W2794593733 @default.
- W2406751738 hasRelatedWork W2888119556 @default.
- W2406751738 hasRelatedWork W2949886604 @default.
- W2406751738 hasRelatedWork W3030889631 @default.
- W2406751738 hasRelatedWork W3030958611 @default.
- W2406751738 hasRelatedWork W310358269 @default.
- W2406751738 hasRelatedWork W3195592227 @default.
- W2406751738 hasRelatedWork W3199936449 @default.
- W2406751738 hasVolume "13" @default.
- W2406751738 isParatext "false" @default.
- W2406751738 isRetracted "false" @default.
- W2406751738 magId "2406751738" @default.
- W2406751738 workType "article" @default.