{"id":"https://openalex.org/W4413286991","doi":"https://doi.org/10.1145/3762196","title":"The Complexity of Homomorphism Reconstructibility","display_name":"The Complexity of Homomorphism Reconstructibility","publication_year":2025,"publication_date":"2025-08-18","ids":{"openalex":"https://openalex.org/W4413286991","doi":"https://doi.org/10.1145/3762196"},"language":"en","primary_location":{"id":"doi:10.1145/3762196","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3762196","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3762196","source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3762196","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090515018","display_name":"Jan B\u00f6ker","orcid":"https://orcid.org/0000-0003-4584-121X"},"institutions":[{"id":"https://openalex.org/I2799411422","display_name":"Center for Discrete Mathematics and Theoretical Computer Science","ror":"https://ror.org/00k551w06","country_code":"US","type":"facility","lineage":["https://openalex.org/I102322142","https://openalex.org/I118347220","https://openalex.org/I1283103587","https://openalex.org/I1311060795","https://openalex.org/I20089843","https://openalex.org/I2799411422","https://openalex.org/I4210107353"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jan B\u00f6ker","raw_affiliation_strings":["Chair for Logic and Theory of Discrete Systems, RWTH Aachen University"],"raw_orcid":"https://orcid.org/0000-0003-4584-121X","affiliations":[{"raw_affiliation_string":"Chair for Logic and Theory of Discrete Systems, RWTH Aachen University","institution_ids":["https://openalex.org/I2799411422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067198614","display_name":"Louis H\u00e4rtel","orcid":"https://orcid.org/0009-0004-3446-5874"},"institutions":[{"id":"https://openalex.org/I2799411422","display_name":"Center for Discrete Mathematics and Theoretical Computer Science","ror":"https://ror.org/00k551w06","country_code":"US","type":"facility","lineage":["https://openalex.org/I102322142","https://openalex.org/I118347220","https://openalex.org/I1283103587","https://openalex.org/I1311060795","https://openalex.org/I20089843","https://openalex.org/I2799411422","https://openalex.org/I4210107353"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Louis H\u00e4rtel","raw_affiliation_strings":["Chair for Logic and Theory of Discrete Systems, RWTH Aachen University"],"raw_orcid":"https://orcid.org/0009-0004-3446-5874","affiliations":[{"raw_affiliation_string":"Chair for Logic and Theory of Discrete Systems, RWTH Aachen University","institution_ids":["https://openalex.org/I2799411422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092912332","display_name":"Nina Runde","orcid":"https://orcid.org/0009-0000-4547-1023"},"institutions":[{"id":"https://openalex.org/I2799411422","display_name":"Center for Discrete Mathematics and Theoretical Computer Science","ror":"https://ror.org/00k551w06","country_code":"US","type":"facility","lineage":["https://openalex.org/I102322142","https://openalex.org/I118347220","https://openalex.org/I1283103587","https://openalex.org/I1311060795","https://openalex.org/I20089843","https://openalex.org/I2799411422","https://openalex.org/I4210107353"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nina Runde","raw_affiliation_strings":["Chair for Logic and Theory of Discrete Systems, RWTH Aachen University"],"raw_orcid":"https://orcid.org/0009-0000-4547-1023","affiliations":[{"raw_affiliation_string":"Chair for Logic and Theory of Discrete Systems, RWTH Aachen University","institution_ids":["https://openalex.org/I2799411422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086010577","display_name":"Tim Seppelt","orcid":"https://orcid.org/0000-0002-6447-0568"},"institutions":[{"id":"https://openalex.org/I2799411422","display_name":"Center for Discrete Mathematics and Theoretical Computer Science","ror":"https://ror.org/00k551w06","country_code":"US","type":"facility","lineage":["https://openalex.org/I102322142","https://openalex.org/I118347220","https://openalex.org/I1283103587","https://openalex.org/I1311060795","https://openalex.org/I20089843","https://openalex.org/I2799411422","https://openalex.org/I4210107353"]},{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK","US"],"is_corresponding":false,"raw_author_name":"Tim Seppelt","raw_affiliation_strings":["Chair for Logic and Theory of Discrete Systems, RWTH Aachen University","IT-Universitet i K\u00f8benhavn"],"raw_orcid":"https://orcid.org/0000-0002-6447-0568","affiliations":[{"raw_affiliation_string":"Chair for Logic and Theory of Discrete Systems, RWTH Aachen University","institution_ids":["https://openalex.org/I2799411422"]},{"raw_affiliation_string":"IT-Universitet i K\u00f8benhavn","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083415668","display_name":"Christoph Standke","orcid":"https://orcid.org/0000-0002-3034-730X"},"institutions":[{"id":"https://openalex.org/I2799411422","display_name":"Center for Discrete Mathematics and Theoretical Computer Science","ror":"https://ror.org/00k551w06","country_code":"US","type":"facility","lineage":["https://openalex.org/I102322142","https://openalex.org/I118347220","https://openalex.org/I1283103587","https://openalex.org/I1311060795","https://openalex.org/I20089843","https://openalex.org/I2799411422","https://openalex.org/I4210107353"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christoph Standke","raw_affiliation_strings":["Chair for Logic and Theory of Discrete Systems, RWTH Aachen University"],"raw_orcid":"https://orcid.org/0000-0002-3034-730X","affiliations":[{"raw_affiliation_string":"Chair for Logic and Theory of Discrete Systems, RWTH Aachen University","institution_ids":["https://openalex.org/I2799411422"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5090515018"],"corresponding_institution_ids":["https://openalex.org/I2799411422"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21629063,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"1","first_page":"1","last_page":"37"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.996999979019165,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.996999979019165,"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/T11567","display_name":"semigroups and automata theory","score":0.9908000230789185,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9886000156402588,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.8869509696960449},{"id":"https://openalex.org/keywords/algebra-homomorphism","display_name":"Algebra homomorphism","score":0.5647954940795898},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5125396251678467},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3831786811351776},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37132495641708374}],"concepts":[{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.8869509696960449},{"id":"https://openalex.org/C175316100","wikidata":"https://www.wikidata.org/wiki/Q3882299","display_name":"Algebra homomorphism","level":3,"score":0.5647954940795898},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5125396251678467},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3831786811351776},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37132495641708374}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3762196","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3762196","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3762196","source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/d7b3e75c-6a1a-43ce-9fb5-bb8ce60a81a5","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/d7b3e75c-6a1a-43ce-9fb5-bb8ce60a81a5","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"B\u00f6ker, J, H\u00e4rtel, L, Runde, N, Seppelt, T & Standke, C 2025, 'The Complexity of Homomorphism Reconstructibility', ACM Transactions on Computation Theory, pp. 1-37. https://doi.org/10.1145/3762196","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1145/3762196","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3762196","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3762196","source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2705070974","display_name":null,"funder_award_id":"GRK 2236","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G2757978615","display_name":null,"funder_award_id":"2236/2","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G2789012862","display_name":null,"funder_award_id":"453349072","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3486459688","display_name":null,"funder_award_id":"GR 1492/16-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5246331465","display_name":"Counting (with) homomorphisms","funder_award_id":"101077083","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6796023741","display_name":null,"funder_award_id":"101054974","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4413286991.pdf","grobid_xml":"https://content.openalex.org/works/W4413286991.grobid-xml"},"referenced_works_count":58,"referenced_works":["https://openalex.org/W273178449","https://openalex.org/W1484141858","https://openalex.org/W1570425181","https://openalex.org/W1572041907","https://openalex.org/W1943817521","https://openalex.org/W1964410812","https://openalex.org/W1964858495","https://openalex.org/W1973583049","https://openalex.org/W1984406840","https://openalex.org/W1989159237","https://openalex.org/W1991755800","https://openalex.org/W1998084650","https://openalex.org/W2002385864","https://openalex.org/W2011575706","https://openalex.org/W2023336906","https://openalex.org/W2030087828","https://openalex.org/W2033323875","https://openalex.org/W2039912427","https://openalex.org/W2048531653","https://openalex.org/W2049316103","https://openalex.org/W2049559029","https://openalex.org/W2062088877","https://openalex.org/W2065888137","https://openalex.org/W2083553352","https://openalex.org/W2100355951","https://openalex.org/W2114616381","https://openalex.org/W2137407595","https://openalex.org/W2141382791","https://openalex.org/W2163491591","https://openalex.org/W2524594508","https://openalex.org/W2560674852","https://openalex.org/W2610844084","https://openalex.org/W2962964193","https://openalex.org/W2963063614","https://openalex.org/W2963877135","https://openalex.org/W2970918966","https://openalex.org/W2998755720","https://openalex.org/W3001767841","https://openalex.org/W3031273498","https://openalex.org/W3031354613","https://openalex.org/W3035664258","https://openalex.org/W3126477253","https://openalex.org/W3136243343","https://openalex.org/W3173296734","https://openalex.org/W3176983719","https://openalex.org/W3217360070","https://openalex.org/W4237838990","https://openalex.org/W4254787765","https://openalex.org/W4282550487","https://openalex.org/W4286599505","https://openalex.org/W4300223101","https://openalex.org/W4306733841","https://openalex.org/W4317832152","https://openalex.org/W4383465335","https://openalex.org/W4386302796","https://openalex.org/W4387687851","https://openalex.org/W4402128787","https://openalex.org/W4402404669"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2397057935","https://openalex.org/W3162132578","https://openalex.org/W3000811452","https://openalex.org/W820932428","https://openalex.org/W2963257725","https://openalex.org/W2954595592","https://openalex.org/W2015759975","https://openalex.org/W3003150508","https://openalex.org/W2189235113"],"abstract_inverted_index":{"Representing":[0],"graphs":[1,39,62,92,151,186,245],"by":[2],"their":[3],"homomorphism":[4,13,19,54,83,114,254],"counts":[5,20,55,115,255],"has":[6],"led":[7],"to":[8,34,63,79,145,167,180],"the":[9,43,68,72,82,109,113,117,193,196,202,226,234,247],"beautiful":[10],"theory":[11,26],"of":[12,45,53,61,71,91,97,129,149,152,160,172,185,195,246,253],"indistinguishability":[14],"in":[15,24],"recent":[16],"years.":[17],"Moreover,":[18],"have":[21],"promising":[22],"applications":[23],"database":[25],"and":[27,93,155,187,230,242],"machine":[28],"learning,":[29],"where":[30],"one":[31],"would":[32],"like":[33],"answer":[35],"queries":[36],"or":[37,163],"classify":[38],"solely":[40],"based":[41],"on":[42,192],"representation":[44],"a":[46,50,88,94,104,126,146,156,168,181,237],"graph":[47,105,197,239],"G":[48,64,106,198],"as":[49,112,199],"finite":[51,59,89,169,182],"vector":[52,96,111,159],"from":[56,116],"some":[57],"fixed":[58,147,157],"set":[60,171,184],".":[65,214],"We":[66,120,174,223],"study":[67],"computational":[69,76],"complexity":[70,229],"arguably":[73],"most":[74],"fundamental":[75],"problem":[77,85,124,203],"associated":[78],"these":[80],"representations,":[81],"reconstructibility":[84],":":[86],"given":[87,110,118,188,241],"sequence":[90],"corresponding":[95],"natural":[98,127,161],"numbers,":[99,162],"decide":[100],"whether":[101],"there":[102],"exists":[103],"that":[107,122,236,243],"realises":[108],"graphs.":[119,173],"show":[121,176],"this":[123,216],"yields":[125],"example":[128],"an":[130,189],"\\(\\mathsf":[131,140,206,210],"{NP}^{\\#\\mathsf":[132],"{P}}\\)":[133],"-hard":[134,142,208],"problem,":[135],"which":[136],"still":[137],"can":[138],"be":[139,205],"{NP}\\)":[141,207,213],"when":[143,165,178],"restricted":[144,166,179],"number":[148],"input":[150,158,170,183],"bounded":[153],"treewidth":[154],"alternatively,":[164],"further":[175],"that,":[177],"upper":[190],"bound":[191],"order":[194,249],"additional":[200],"input,":[201],"cannot":[204],"unless":[209],"{P}=":[211],"\\mathsf":[212],"For":[215],"regime,":[217],"we":[218],"obtain":[219],"partial":[220],"positive":[221],"results.":[222],"also":[224],"investigate":[225],"problem\u2019s":[227],"parameterised":[228],"provide":[231],"fpt-algorithms":[232],"for":[233],"case":[235],"single":[238],"is":[240],"multiple":[244],"same":[248],"with":[250],"subgraph":[251],"instead":[252],"are":[256],"given.":[257]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}