{"id":"https://openalex.org/W3164783462","doi":"https://doi.org/10.1145/3448641","title":"On a Theorem of Lov\u00e1sz that (&amp;sdot, <i>H</i> ) Determines the Isomorphism Type of <i>H</i>","display_name":"On a Theorem of Lov\u00e1sz that (&amp;sdot, <i>H</i> ) Determines the Isomorphism Type of <i>H</i>","publication_year":2021,"publication_date":"2021-06-04","ids":{"openalex":"https://openalex.org/W3164783462","doi":"https://doi.org/10.1145/3448641","mag":"3164783462"},"language":"en","primary_location":{"id":"doi:10.1145/3448641","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3448641","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3448641","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":null,"license_id":null,"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":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3448641","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101599971","display_name":"Jin\u2010Yi Cai","orcid":"https://orcid.org/0009-0003-0675-6060"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jin-yi Cai","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, Wisconsin, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, Wisconsin, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046434612","display_name":"Artem Govorov","orcid":null},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Artem Govorov","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, Wisconsin, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, Wisconsin, USA","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101599971"],"corresponding_institution_ids":["https://openalex.org/I135310074"],"apc_list":null,"apc_paid":null,"fwci":0.2959,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.59702825,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"13","issue":"2","first_page":"1","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9998999834060669,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9998999834060669,"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/T12541","display_name":"Graph Labeling and Dimension Problems","score":0.9997000098228455,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/homomorphism","display_name":"Homomorphism","score":0.75295090675354},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7076582908630371},{"id":"https://openalex.org/keywords/isomorphism-theorem","display_name":"Isomorphism theorem","score":0.6758801341056824},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5312820672988892},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5205051302909851},{"id":"https://openalex.org/keywords/vertex","display_name":"Vertex (graph theory)","score":0.4854767620563507},{"id":"https://openalex.org/keywords/graph-homomorphism","display_name":"Graph homomorphism","score":0.4712011516094208},{"id":"https://openalex.org/keywords/adjacency-matrix","display_name":"Adjacency matrix","score":0.45872920751571655},{"id":"https://openalex.org/keywords/fundamental-theorem","display_name":"Fundamental theorem","score":0.4282929599285126},{"id":"https://openalex.org/keywords/graph-isomorphism","display_name":"Graph isomorphism","score":0.4236524701118469},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.41136741638183594},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.33395257592201233},{"id":"https://openalex.org/keywords/line-graph","display_name":"Line graph","score":0.23705101013183594},{"id":"https://openalex.org/keywords/fixed-point-theorem","display_name":"Fixed-point theorem","score":0.2064257264137268},{"id":"https://openalex.org/keywords/voltage-graph","display_name":"Voltage graph","score":0.14450255036354065},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.138007253408432}],"concepts":[{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.75295090675354},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7076582908630371},{"id":"https://openalex.org/C26231708","wikidata":"https://www.wikidata.org/wiki/Q1065966","display_name":"Isomorphism theorem","level":2,"score":0.6758801341056824},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5312820672988892},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5205051302909851},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.4854767620563507},{"id":"https://openalex.org/C7036158","wikidata":"https://www.wikidata.org/wiki/Q3385162","display_name":"Graph homomorphism","level":5,"score":0.4712011516094208},{"id":"https://openalex.org/C180356752","wikidata":"https://www.wikidata.org/wiki/Q727035","display_name":"Adjacency matrix","level":3,"score":0.45872920751571655},{"id":"https://openalex.org/C194886279","wikidata":"https://www.wikidata.org/wiki/Q430271","display_name":"Fundamental theorem","level":3,"score":0.4282929599285126},{"id":"https://openalex.org/C61665672","wikidata":"https://www.wikidata.org/wiki/Q303100","display_name":"Graph isomorphism","level":4,"score":0.4236524701118469},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.41136741638183594},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.33395257592201233},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.23705101013183594},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.2064257264137268},{"id":"https://openalex.org/C22149727","wikidata":"https://www.wikidata.org/wiki/Q7940747","display_name":"Voltage graph","level":4,"score":0.14450255036354065},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.138007253408432},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3448641","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3448641","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3448641","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3448641","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3448641","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3448641","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":null,"license_id":null,"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/G8416257786","display_name":null,"funder_award_id":"CCF-1714275","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3164783462.pdf","grobid_xml":"https://content.openalex.org/works/W3164783462.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1966460832","https://openalex.org/W1968334723","https://openalex.org/W1975568166","https://openalex.org/W2003078549","https://openalex.org/W2033026830","https://openalex.org/W2092436554","https://openalex.org/W2111754130","https://openalex.org/W2118223706","https://openalex.org/W2133521681","https://openalex.org/W2141321698","https://openalex.org/W2141382791","https://openalex.org/W2145707075","https://openalex.org/W2181072414","https://openalex.org/W2268629067","https://openalex.org/W2294003223","https://openalex.org/W2524594508","https://openalex.org/W2570207426","https://openalex.org/W2913798276","https://openalex.org/W2941701579","https://openalex.org/W2979591888","https://openalex.org/W3031765166","https://openalex.org/W4389615664"],"related_works":["https://openalex.org/W3118117404","https://openalex.org/W4210889658","https://openalex.org/W1973448977","https://openalex.org/W1618543895","https://openalex.org/W4288092099","https://openalex.org/W3200877167","https://openalex.org/W1900138702","https://openalex.org/W3213235265","https://openalex.org/W2338080768","https://openalex.org/W4244562710"],"abstract_inverted_index":{"Graph":[0],"homomorphism":[1,43,174],"has":[2],"been":[3,67],"an":[4,182],"important":[5],"research":[6],"topic":[7],"since":[8],"its":[9,36],"introduction":[10],"[20].":[11],"Stated":[12],"in":[13,20,176],"the":[14,41,53,60,79,177],"language":[15],"of":[16,56,112,152,160],"binary":[17],"relational":[18],"structures":[19],"that":[21,128,184],"paper":[22],"[20],":[23],"Lov\u00e1sz":[24],"proved":[25,68],"a":[26,31,109,133,190,198,202],"fundamental":[27],"theorem":[28,114,154,162],"that,":[29],"for":[30,172,185],"graph":[32,42,173],"H":[33,50,57,116,187,195,208],"given":[34],"by":[35,69,132],"0-1":[37,81],"valued":[38],"adjacency":[39],"matrix,":[40],"function":[44],"G":[45,48],"\u21a6":[46],"hom(":[47],",":[49],")":[51,196],"determines":[52],"isomorphism":[54],"type":[55],".":[58],"In":[59,104],"past":[61],"50":[62],"years,":[63],"various":[64,141,168],"extensions":[65,91],"have":[66,93,118],"many":[70],"researchers":[71],"[1,":[72],"15,":[73],"21,":[74],"24,":[75],"26].":[76],"These":[77],"extend":[78],"basic":[80],"case":[82],"to":[83,166,206],"admit":[84],"vertex":[85,99,120],"and":[86,121,136,144,146],"edge":[87,122],"weights;":[88],"but":[89],"these":[90],"all":[92,98,148],"some":[94],"restrictions":[95],"such":[96],"as":[97],"weights":[100],"must":[101],"be":[102,164],"positive.":[103],"this":[105,113,131,153],"article,":[106],"we":[107,129],"prove":[108,130],"general":[110],"form":[111],"where":[115],"can":[117,163],"arbitrary":[119],"weights.":[123],"A":[124],"noteworthy":[125],"aspect":[126],"is":[127],"surprisingly":[134],"simple":[135],"unified":[137],"argument.":[138],"This":[139],"bypasses":[140],"technical":[142],"obstacles":[143],"unifies":[145],"extends":[147],"previous":[149],"known":[150],"versions":[151],"on":[155],"graphs.":[156],"The":[157],"constructive":[158],"proof":[159],"our":[161],"used":[165],"make":[167],"complexity":[169],"dichotomy":[170],"theorems":[171],"effective":[175],"following":[178],"sense:":[179],"it":[180],"provides":[181],"algorithm":[183,192],"any":[186],"either":[188],"outputs":[189],"P-time":[191,199],"solving":[193],"hom(&amp;sdot,":[194,207],"or":[197],"reduction":[200],"from":[201],"canonical":[203],"#P-hard":[204],"problem":[205],").":[209]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}