{"id":"https://openalex.org/W3033818404","doi":"https://doi.org/10.1145/3396593","title":"Embeddability in R <sup>3</sup> is NP-hard","display_name":"Embeddability in R <sup>3</sup> is NP-hard","publication_year":2020,"publication_date":"2020-06-04","ids":{"openalex":"https://openalex.org/W3033818404","doi":"https://doi.org/10.1145/3396593","mag":"3033818404"},"language":"en","primary_location":{"id":"doi:10.1145/3396593","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3396593","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","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/A5083890014","display_name":"Arnaud de Mesmay","orcid":"https://orcid.org/0000-0002-7301-3799"},"institutions":[{"id":"https://openalex.org/I12187552","display_name":"UniLaSalle Amiens (ESIEE-Amiens)","ror":"https://ror.org/03r13py57","country_code":"FR","type":"education","lineage":["https://openalex.org/I12187552"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210152518","display_name":"Laboratoire d'Informatique Gaspard-Monge","ror":"https://ror.org/04t50yk91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I142631665","https://openalex.org/I4210145102","https://openalex.org/I4210152518","https://openalex.org/I4210154111","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I4210154111","display_name":"Universit\u00e9 Gustave Eiffel","ror":"https://ror.org/03x42jk29","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210154111"]},{"id":"https://openalex.org/I4387154752","display_name":"ESIEE Paris","ror":"https://ror.org/04x383a88","country_code":"FR","type":"education","lineage":["https://openalex.org/I2801673036","https://openalex.org/I4210154111","https://openalex.org/I4387154752"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Arnaud de Mesmay","raw_affiliation_strings":["LIGM, Univ Gustave Eiffel, CNRS, ESIEE Paris, France","Laboratoire d'Informatique Gaspard-Monge"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIGM, Univ Gustave Eiffel, CNRS, ESIEE Paris, France","institution_ids":["https://openalex.org/I12187552","https://openalex.org/I4210152518","https://openalex.org/I1294671590","https://openalex.org/I4210154111","https://openalex.org/I4387154752"]},{"raw_affiliation_string":"Laboratoire d'Informatique Gaspard-Monge","institution_ids":["https://openalex.org/I4210152518"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049915882","display_name":"Yo\u2019av Rieck","orcid":null},"institutions":[{"id":"https://openalex.org/I78715868","display_name":"University of Arkansas at Fayetteville","ror":"https://ror.org/05jbt9m15","country_code":"US","type":"education","lineage":["https://openalex.org/I78715868"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yo\u2019av Rieck","raw_affiliation_strings":["Department of Mathematical Sciences, University of Arkansas, Fayetteville, AR, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, University of Arkansas, Fayetteville, AR, USA","institution_ids":["https://openalex.org/I78715868"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090969747","display_name":"Eric Sedgwick","orcid":"https://orcid.org/0000-0003-1995-9097"},"institutions":[{"id":"https://openalex.org/I118353179","display_name":"DePaul University","ror":"https://ror.org/04xtx5t16","country_code":"US","type":"education","lineage":["https://openalex.org/I118353179"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Sedgwick","raw_affiliation_strings":["School of Computing, DePaul University, Chicago, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing, DePaul University, Chicago, IL, USA","institution_ids":["https://openalex.org/I118353179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089164987","display_name":"Martin Tancer","orcid":"https://orcid.org/0000-0002-1191-6714"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Martin Tancer","raw_affiliation_strings":["Department of Applied Mathematics, Charles University, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics, Charles University, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5488,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.81556136,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"67","issue":"4","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9993000030517578,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9890000224113464,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unknot","display_name":"Unknot","score":0.9042268991470337},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7700791358947754},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6344813704490662},{"id":"https://openalex.org/keywords/boundary","display_name":"Boundary (topology)","score":0.6263444423675537},{"id":"https://openalex.org/keywords/manifold","display_name":"Manifold (fluid mechanics)","score":0.5201950073242188},{"id":"https://openalex.org/keywords/torus","display_name":"Torus","score":0.476591557264328},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.42492786049842834},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3376063108444214},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.17745313048362732},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.12640437483787537},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.09226346015930176}],"concepts":[{"id":"https://openalex.org/C2780286412","wikidata":"https://www.wikidata.org/wiki/Q1188344","display_name":"Unknot","level":3,"score":0.9042268991470337},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7700791358947754},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6344813704490662},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.6263444423675537},{"id":"https://openalex.org/C529865628","wikidata":"https://www.wikidata.org/wiki/Q1790740","display_name":"Manifold (fluid mechanics)","level":2,"score":0.5201950073242188},{"id":"https://openalex.org/C9767117","wikidata":"https://www.wikidata.org/wiki/Q12510","display_name":"Torus","level":2,"score":0.476591557264328},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.42492786049842834},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3376063108444214},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.17745313048362732},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.12640437483787537},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.09226346015930176},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3396593","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3396593","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.5299999713897705}],"awards":[{"id":"https://openalex.org/G2754212147","display_name":null,"funder_award_id":"ANR-16-CE40-0009-01","funder_id":"https://openalex.org/F4320323222","funder_display_name":"Agence Nationale pour le D\u00e9veloppement de la Recherche en Sant\u00e9"},{"id":"https://openalex.org/G3654581095","display_name":null,"funder_award_id":"637880","funder_id":"https://openalex.org/F4320314817","funder_display_name":"Heising-Simons Foundation"},{"id":"https://openalex.org/G443178603","display_name":null,"funder_award_id":"EMBEDS II CZ:7AMB17FR029 FR:38087RM","funder_id":"https://openalex.org/F4320323942","funder_display_name":"Campus France"},{"id":"https://openalex.org/G8181396905","display_name":"Graphs, Algorithms and TOpology","funder_award_id":"ANR-16-CE40-0009","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320314817","display_name":"Heising-Simons Foundation","ror":"https://ror.org/01mp52y34"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320323222","display_name":"Agence Nationale pour le D\u00e9veloppement de la Recherche en Sant\u00e9","ror":"https://ror.org/00rt0xj75"},{"id":"https://openalex.org/F4320323942","display_name":"Campus France","ror":"https://ror.org/04wtce741"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W106288804","https://openalex.org/W634834491","https://openalex.org/W644128581","https://openalex.org/W1496383623","https://openalex.org/W1514586626","https://openalex.org/W1517882720","https://openalex.org/W1600625981","https://openalex.org/W1663305996","https://openalex.org/W1938784745","https://openalex.org/W1975537778","https://openalex.org/W1979854521","https://openalex.org/W1985391680","https://openalex.org/W1995509853","https://openalex.org/W2050599174","https://openalex.org/W2051630414","https://openalex.org/W2060812930","https://openalex.org/W2063146539","https://openalex.org/W2068497209","https://openalex.org/W2068591306","https://openalex.org/W2087071350","https://openalex.org/W2123642523","https://openalex.org/W2141950593","https://openalex.org/W2166114891","https://openalex.org/W2170715356","https://openalex.org/W2319311523","https://openalex.org/W2332793369","https://openalex.org/W2397463924","https://openalex.org/W2565908442","https://openalex.org/W2569493303","https://openalex.org/W2755218945","https://openalex.org/W2785162637","https://openalex.org/W2963587701","https://openalex.org/W3040586665","https://openalex.org/W3101490689","https://openalex.org/W3105353542","https://openalex.org/W4298227433","https://openalex.org/W4389615669","https://openalex.org/W6613665199"],"related_works":["https://openalex.org/W4321849568","https://openalex.org/W3157852007","https://openalex.org/W3101503498","https://openalex.org/W2096493943","https://openalex.org/W2290495505","https://openalex.org/W4302604475","https://openalex.org/W3106323631","https://openalex.org/W3151822016","https://openalex.org/W1653893795","https://openalex.org/W1976920294"],"abstract_inverted_index":{"We":[0],"prove":[1],"that":[2,25],"the":[3,47,58,84,90,101],"problem":[4,86,103],"of":[5,63,83,104,122],"deciding":[6,26],"whether":[7,27],"a":[8,28,61,97,105],"two-":[9],"or":[10,72],"three-dimensional":[11],"simplicial":[12],"complex":[13],"embeds":[14],"into":[15,100],"R":[16],"3":[17,36],"is":[18,38],"NP":[19,39,78],"-hard.":[20,40],"Our":[21,94],"construction":[22],"also":[23],"shows":[24],"3-manifold":[29,67,106],"with":[30,46,60,107,124],"boundary":[31,108,125],"tori":[32],"admits":[33],"an":[34],"S":[35],"filling":[37],"The":[41],"former":[42],"stands":[43],"in":[44,54,66,77,87],"contrast":[45],"lower-dimensional":[48],"cases,":[49],"which":[50,75],"can":[51],"be":[52],"solved":[53],"linear":[55],"time,":[56],"and":[57,110],"latter":[59,85],"variety":[62],"computational":[64],"problems":[65],"topology,":[68,117],"for":[69],"example,":[70],"unknot":[71],"3-sphere":[73],"recognition,":[74],"are":[76],"\u2229":[79],"co-":[80],"NP.":[81],"(Membership":[82],"co-NP":[88],"assumes":[89],"Generalized":[91],"Riemann":[92],"Hypotheses.)":[93],"reduction":[95],"encodes":[96],"satisfiability":[98],"instance":[99],"embeddability":[102],"tori,":[109],"relies":[111],"extensively":[112],"on":[113],"techniques":[114],"from":[115],"low-dimensional":[116],"most":[118],"importantly":[119],"Dehn":[120],"fillings":[121],"manifolds":[123],"tori.":[126]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-22T08:00:12.763002","created_date":"2020-06-12T00:00:00"}