{"id":"https://openalex.org/W7160824000","doi":"https://doi.org/10.48550/arxiv.2605.07899","title":"Towards Settling the Complexity of the Lettericity Problem","display_name":"Towards Settling the Complexity of the Lettericity Problem","publication_year":2026,"publication_date":"2026-05-08","ids":{"openalex":"https://openalex.org/W7160824000","doi":"https://doi.org/10.48550/arxiv.2605.07899"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.07899","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.07899","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.07899","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002401893","display_name":"Mario Grobler","orcid":"https://orcid.org/0000-0001-8103-6440"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Grobler, Mario","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045950235","display_name":"Nils Morawietz","orcid":"https://orcid.org/0000-0002-7283-4982"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Morawietz, Nils","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5117577363","display_name":"Silas Cato Sacher","orcid":"https://orcid.org/0009-0004-6850-1298"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sacher, Silas Cato","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13664","display_name":"Genome Rearrangement Algorithms","score":0.3294999897480011,"subfield":{"id":"https://openalex.org/subfields/1311","display_name":"Genetics"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T13664","display_name":"Genome Rearrangement Algorithms","score":0.3294999897480011,"subfield":{"id":"https://openalex.org/subfields/1311","display_name":"Genetics"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.17479999363422394,"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.163100004196167,"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/graph-property","display_name":"Graph property","score":0.5630000233650208},{"id":"https://openalex.org/keywords/complement-graph","display_name":"Complement graph","score":0.4726000130176544},{"id":"https://openalex.org/keywords/null-graph","display_name":"Null graph","score":0.4724999964237213},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.46239998936653137},{"id":"https://openalex.org/keywords/vertex","display_name":"Vertex (graph theory)","score":0.4359999895095825},{"id":"https://openalex.org/keywords/graph-factorization","display_name":"Graph factorization","score":0.4311000108718872},{"id":"https://openalex.org/keywords/voltage-graph","display_name":"Voltage graph","score":0.41830000281333923},{"id":"https://openalex.org/keywords/line-graph","display_name":"Line graph","score":0.3968999981880188},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.359499990940094}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.660099983215332},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5938000082969666},{"id":"https://openalex.org/C64339825","wikidata":"https://www.wikidata.org/wiki/Q722659","display_name":"Graph property","level":5,"score":0.5630000233650208},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5559999942779541},{"id":"https://openalex.org/C168291704","wikidata":"https://www.wikidata.org/wiki/Q902252","display_name":"Complement graph","level":5,"score":0.4726000130176544},{"id":"https://openalex.org/C17169500","wikidata":"https://www.wikidata.org/wiki/Q3033506","display_name":"Null graph","level":5,"score":0.4724999964237213},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.46239998936653137},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.4359999895095825},{"id":"https://openalex.org/C128115575","wikidata":"https://www.wikidata.org/wiki/Q5597083","display_name":"Graph factorization","level":5,"score":0.4311000108718872},{"id":"https://openalex.org/C22149727","wikidata":"https://www.wikidata.org/wiki/Q7940747","display_name":"Voltage graph","level":4,"score":0.41830000281333923},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.3968999981880188},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.359499990940094},{"id":"https://openalex.org/C76946457","wikidata":"https://www.wikidata.org/wiki/Q504843","display_name":"Graph coloring","level":3,"score":0.3562999963760376},{"id":"https://openalex.org/C149530733","wikidata":"https://www.wikidata.org/wiki/Q5597091","display_name":"Graph power","level":4,"score":0.3508000075817108},{"id":"https://openalex.org/C19332903","wikidata":"https://www.wikidata.org/wiki/Q7623247","display_name":"Strength of a graph","level":5,"score":0.3176000118255615},{"id":"https://openalex.org/C17758045","wikidata":"https://www.wikidata.org/wiki/Q2642629","display_name":"Multigraph","level":3,"score":0.3156999945640564},{"id":"https://openalex.org/C112876837","wikidata":"https://www.wikidata.org/wiki/Q837518","display_name":"Alphabet","level":2,"score":0.3149000108242035},{"id":"https://openalex.org/C61665672","wikidata":"https://www.wikidata.org/wiki/Q303100","display_name":"Graph isomorphism","level":4,"score":0.3122999966144562},{"id":"https://openalex.org/C123482549","wikidata":"https://www.wikidata.org/wiki/Q826467","display_name":"Regular graph","level":5,"score":0.30790001153945923},{"id":"https://openalex.org/C167750561","wikidata":"https://www.wikidata.org/wiki/Q1789512","display_name":"Critical graph","level":5,"score":0.29989999532699585},{"id":"https://openalex.org/C18819970","wikidata":"https://www.wikidata.org/wiki/Q3035340","display_name":"Butterfly graph","level":5,"score":0.2976999878883362},{"id":"https://openalex.org/C7036158","wikidata":"https://www.wikidata.org/wiki/Q3385162","display_name":"Graph homomorphism","level":5,"score":0.2969000041484833},{"id":"https://openalex.org/C6049932","wikidata":"https://www.wikidata.org/wiki/Q834981","display_name":"Graph automorphism","level":5,"score":0.28189998865127563},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.28040000796318054},{"id":"https://openalex.org/C36038622","wikidata":"https://www.wikidata.org/wiki/Q5428703","display_name":"Factor-critical graph","level":5,"score":0.274399995803833},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2669000029563904}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.07899","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.07899","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.07899","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.07899","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,103],"lettericity":[1,92,108,116,188,195,216],"of":[2,12,93,109,125,141,194,217,225],"a":[3,20,28,78,94,110,119,135,191,218],"graph":[4,43,49,79,96,112,136,180,219],"$G=(V,E)$":[5],"is":[6,19,38,88,113,154,176,190],"defined":[7],"as":[8,77],"the":[9,34,41,48,91,107,115,123,130,142,152,157,179,214,222,226],"smallest":[10],"size":[11],"an":[13],"alphabet":[14],"$\u03a3$":[15],"such":[16],"that":[17,36,46,71,162],"there":[18],"word":[21,163],"$w_1":[22],"\\dots":[23],"w_{|V|}":[24],"\\in":[25,68],"\u03a3^*$":[26],"and":[27,56,149,165,206],"decoder":[29,147,166,198],"$\\mathcal{D}":[30],"\\subseteq":[31],"\u03a3^2$":[32],"with":[33,50,80,139],"property":[35],"$G$":[37,137],"isomorphic":[39],"to":[40,105,155,178,200],"letter":[42],"$G(\\mathcal{D},":[44,72],"w)$,":[45],"is,":[47],"vertex":[51],"set":[52,58],"$\\{1,":[53],"\\dots,":[54],"n\\}$":[55],"edge":[57],"$\\{ij":[59],"\\mid":[60],"1\\leq":[61],"i":[62],"<":[63],"j":[64],"\\leq":[65],"n,":[66],"w_iw_j":[67],"\\mathcal{D}\\}$.":[69],"Note":[70],"w)$":[73],"can":[74,97,231],"be":[75,98,201,232],"seen":[76],"inherent":[81],"coloring":[82,150,174],"$\u03c7\\colon":[83],"V(G)":[84],"\\rightarrow":[85],"\u03a3$.":[86],"It":[87],"unknown":[89],"whether":[90],"given":[95,111,134],"computed":[99,233],"in":[100,170,229,234],"polynomial":[101,171],"time.":[102,236],"problem":[104],"determine":[106],"called":[114],"problem.":[117,182],"As":[118,211],"step":[120],"towards":[121],"answering":[122],"complexity":[124],"this":[126],"problem,":[127],"we":[128,185,212],"investigate":[129],"following":[131],"retrieval":[132,164,167,175],"problems:":[133],"together":[138],"two":[140],"three":[143],"solution-objects":[144],"(word":[145],"$w$,":[146],"$\\mathcal{D}$,":[148],"$\u03c7$),":[151],"goal":[153],"compute":[156],"third":[158],"solution-object.":[159],"We":[160],"show":[161],"are":[168],"solvable":[169],"time,":[172],"while":[173],"equivalent":[177],"isomorphism":[181],"Beyond":[183],"this,":[184],"introduce":[186],"symmetric":[187,215],"which":[189,228],"restricted":[192],"version":[193],"where":[196],"each":[197],"needs":[199],"symmetrical":[202],"($ab\\in":[203],"\\mathcal{D}$":[204],"if":[205,208],"only":[207],"$ba\\in":[209],"\\mathcal{D}$).":[210],"show,":[213],"always":[220],"equals":[221],"neighborhood":[223],"diversity":[224],"graph,":[227],"fact":[230],"linear":[235]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-12T00:00:00"}