{"id":"https://openalex.org/W2091434162","doi":"https://doi.org/10.1137/060668092","title":"On the Compressibility of $\\mathcal{NP}$ Instances and Cryptographic Applications","display_name":"On the Compressibility of $\\mathcal{NP}$ Instances and Cryptographic Applications","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2091434162","doi":"https://doi.org/10.1137/060668092","mag":"2091434162"},"language":"en","primary_location":{"id":"doi:10.1137/060668092","is_oa":false,"landing_page_url":"https://doi.org/10.1137/060668092","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036936298","display_name":"Danny Harnik","orcid":"https://orcid.org/0009-0000-0614-6543"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Danny Harnik","raw_affiliation_strings":["danny.harnik@gmail.com#TAB#"],"affiliations":[{"raw_affiliation_string":"danny.harnik@gmail.com#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002372704","display_name":"Moni Naor","orcid":"https://orcid.org/0000-0003-3381-0221"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Moni Naor","raw_affiliation_strings":["moni.naor@weizmann.ac.il#TAB#"],"affiliations":[{"raw_affiliation_string":"moni.naor@weizmann.ac.il#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5036936298"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.8442,"has_fulltext":false,"cited_by_count":59,"citation_normalized_percentile":{"value":0.97743424,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"39","issue":"5","first_page":"1667","last_page":"1713"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.6045119762420654},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.5383269786834717},{"id":"https://openalex.org/keywords/compression","display_name":"Compression (physics)","score":0.533663272857666},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5311281681060791},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4932536482810974},{"id":"https://openalex.org/keywords/compressibility","display_name":"Compressibility","score":0.49222245812416077},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47359707951545715},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.46332046389579773},{"id":"https://openalex.org/keywords/cryptanalysis","display_name":"Cryptanalysis","score":0.4495196044445038},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.4482467770576477},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44033434987068176},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4275647699832916},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.42749708890914917},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.41339874267578125},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.35397517681121826},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.32096388936042786},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24793124198913574}],"concepts":[{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.6045119762420654},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.5383269786834717},{"id":"https://openalex.org/C180016635","wikidata":"https://www.wikidata.org/wiki/Q2712821","display_name":"Compression (physics)","level":2,"score":0.533663272857666},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5311281681060791},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4932536482810974},{"id":"https://openalex.org/C84655787","wikidata":"https://www.wikidata.org/wiki/Q8067817","display_name":"Compressibility","level":2,"score":0.49222245812416077},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47359707951545715},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.46332046389579773},{"id":"https://openalex.org/C181149355","wikidata":"https://www.wikidata.org/wiki/Q897511","display_name":"Cryptanalysis","level":3,"score":0.4495196044445038},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.4482467770576477},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44033434987068176},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4275647699832916},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.42749708890914917},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.41339874267578125},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.35397517681121826},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.32096388936042786},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24793124198913574},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/060668092","is_oa":false,"landing_page_url":"https://doi.org/10.1137/060668092","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.699999988079071,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":85,"referenced_works":["https://openalex.org/W1488169517","https://openalex.org/W1494083255","https://openalex.org/W1498503799","https://openalex.org/W1499074627","https://openalex.org/W1504650505","https://openalex.org/W1517036688","https://openalex.org/W1526778951","https://openalex.org/W1548130906","https://openalex.org/W1548880861","https://openalex.org/W1549228503","https://openalex.org/W1552609566","https://openalex.org/W1558630420","https://openalex.org/W1566256504","https://openalex.org/W1577653766","https://openalex.org/W1585065779","https://openalex.org/W1592393009","https://openalex.org/W1597591185","https://openalex.org/W1606810574","https://openalex.org/W1638203394","https://openalex.org/W1684108869","https://openalex.org/W1689385595","https://openalex.org/W1913384000","https://openalex.org/W1966205523","https://openalex.org/W1968372742","https://openalex.org/W1972418517","https://openalex.org/W1972792640","https://openalex.org/W1974751157","https://openalex.org/W1980147712","https://openalex.org/W1984685443","https://openalex.org/W2004881597","https://openalex.org/W2009147258","https://openalex.org/W2011112377","https://openalex.org/W2012045293","https://openalex.org/W2012067448","https://openalex.org/W2015880590","https://openalex.org/W2016443801","https://openalex.org/W2019807548","https://openalex.org/W2021131202","https://openalex.org/W2022068408","https://openalex.org/W2023906228","https://openalex.org/W2025897717","https://openalex.org/W2026771935","https://openalex.org/W2026984671","https://openalex.org/W2028483198","https://openalex.org/W2036265926","https://openalex.org/W2038691311","https://openalex.org/W2040579873","https://openalex.org/W2045519569","https://openalex.org/W2049198367","https://openalex.org/W2057512592","https://openalex.org/W2063189806","https://openalex.org/W2072802070","https://openalex.org/W2085355422","https://openalex.org/W2090227056","https://openalex.org/W2092422002","https://openalex.org/W2102862468","https://openalex.org/W2104965768","https://openalex.org/W2106833918","https://openalex.org/W2124693934","https://openalex.org/W2126661026","https://openalex.org/W2128317498","https://openalex.org/W2132419708","https://openalex.org/W2133817484","https://openalex.org/W2135985872","https://openalex.org/W2142597052","https://openalex.org/W2143112402","https://openalex.org/W2145840445","https://openalex.org/W2152688060","https://openalex.org/W2153417364","https://openalex.org/W2154654620","https://openalex.org/W2155166173","https://openalex.org/W2156186849","https://openalex.org/W2159460804","https://openalex.org/W2160403361","https://openalex.org/W2173249896","https://openalex.org/W2177603603","https://openalex.org/W2293021588","https://openalex.org/W2296148711","https://openalex.org/W2337710787","https://openalex.org/W2401610261","https://openalex.org/W2913688336","https://openalex.org/W2913714934","https://openalex.org/W2990399857","https://openalex.org/W4249409086","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1575556365","https://openalex.org/W110714987","https://openalex.org/W1553564935","https://openalex.org/W2949937073","https://openalex.org/W1533434223","https://openalex.org/W2569355986","https://openalex.org/W147290027","https://openalex.org/W2765939664","https://openalex.org/W2950134366","https://openalex.org/W1595091918"],"abstract_inverted_index":{"We":[0,29,71,148],"study":[1],"compression":[2,97],"that":[3,33,56,151],"preserves":[4],"the":[5,16,23,58,62,67,73,76,83,86,91,130,185],"solution":[6],"to":[7,79,146],"an":[8,49],"instance":[9,17,50,78],"of":[10,25,60,75,85,93,134,142,154,164,180],"a":[11,53,103,112,140],"problem":[12,175],"rather":[13],"than":[14],"preserving":[15],"itself.":[18],"Our":[19],"focus":[20],"is":[21,43,65],"on":[22],"compressibility":[24,152],"$\\mathcal{NP}$":[26,31,143,177],"decision":[27],"problems.":[28],"consider":[30],"problems":[32],"have":[34,157],"long":[35],"instances":[36,101],"but":[37],"relatively":[38],"short":[39],"witnesses.":[40],"The":[41],"question":[42],"whether":[44,61],"one":[45],"can":[46],"efficiently":[47],"compress":[48],"and":[51,88,139,167,178],"store":[52],"shorter":[54],"representation":[55],"maintains":[57],"information":[59],"original":[63,94],"input":[64],"in":[66,82,90,176,184],"language":[68],"or":[69,114,117],"not.":[70],"want":[72],"length":[74,84,92],"compressed":[77],"be":[80],"polynomial":[81],"witness":[87],"polylog":[89],"input.":[95],"Such":[96],"enables":[98],"succinctly":[99],"storing":[100],"until":[102,119],"future":[104],"setting":[105],"will":[106],"allow":[107],"solving":[108],"them,":[109],"either":[110],"via":[111],"technological":[113],"algorithmic":[115],"breakthrough":[116],"simply":[118],"enough":[120],"time":[121],"has":[122],"elapsed.":[123],"In":[124],"this":[125],"paper,":[126],"we":[127],"first":[128],"develop":[129],"basic":[131],"complexity":[132],"theory":[133],"compression,":[135],"including":[136,162],"reducibility,":[137],"completeness,":[138],"stratification":[141],"with":[144,191],"respect":[145],"compression.":[147],"then":[149],"show":[150],"(say,":[153],"SAT)":[155],"would":[156],"vast":[158],"implications":[159],"for":[160],"cryptography,":[161],"constructions":[163],"one-way":[165],"functions":[166,171],"collision":[168],"resistant":[169],"hash":[170],"from":[172],"any":[173],"hard-on-average":[174],"cryptanalysis":[179],"key":[181],"agreement":[182],"protocols":[183],"\u201cbounded":[186],"storage":[187],"model\u201d":[188],"when":[189],"mixed":[190],"(time)":[192],"complexity-based":[193],"cryptography.":[194]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":12},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":10}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}