{"id":"https://openalex.org/W4393194694","doi":"https://doi.org/10.1051/ita/2024004","title":"Human-verifiable proofs in the theory of word-representable graphs","display_name":"Human-verifiable proofs in the theory of word-representable graphs","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4393194694","doi":"https://doi.org/10.1051/ita/2024004"},"language":"en","primary_location":{"id":"doi:10.1051/ita/2024004","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/2024004","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/2024/01/ita220045.pdf","source":{"id":"https://openalex.org/S4220651353","display_name":"RAIRO. Theoretical informatics and applications","issn_l":"2804-7346","issn":["2804-7346"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.rairo-ita.org/articles/ita/pdf/2024/01/ita220045.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024451009","display_name":"Sergey Kitaev","orcid":"https://orcid.org/0000-0003-3324-1647"},"institutions":[{"id":"https://openalex.org/I181647926","display_name":"University of Strathclyde","ror":"https://ror.org/00n3w3b69","country_code":"GB","type":"education","lineage":["https://openalex.org/I181647926"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Sergey Kitaev","raw_affiliation_strings":["Department of Mathematics and Statistics, University of Strathclyde, 26 Richmond Street, Glasgow G1 1XH, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Strathclyde, 26 Richmond Street, Glasgow G1 1XH, UK","institution_ids":["https://openalex.org/I181647926"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034422869","display_name":"Haoran Sun","orcid":"https://orcid.org/0009-0009-2447-823X"},"institutions":[{"id":"https://openalex.org/I181326427","display_name":"Donghua University","ror":"https://ror.org/035psfh38","country_code":"CN","type":"education","lineage":["https://openalex.org/I181326427"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haoran Sun","raw_affiliation_strings":["College of Science, Donghua University, Shanghai 201620, PR China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Science, Donghua University, Shanghai 201620, PR China","institution_ids":["https://openalex.org/I181326427"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024451009"],"corresponding_institution_ids":["https://openalex.org/I181647926"],"apc_list":null,"apc_paid":null,"fwci":2.2028,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.88818876,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"58","issue":null,"first_page":"9","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.7422999739646912,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.7422999739646912,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.6653000116348267,"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/mathematical-proof","display_name":"Mathematical proof","score":0.899327278137207},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.8335539102554321},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.5726249814033508},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.48675036430358887},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4515591263771057},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35337287187576294},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1534714698791504}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.899327278137207},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.8335539102554321},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.5726249814033508},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48675036430358887},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4515591263771057},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35337287187576294},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1534714698791504},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1051/ita/2024004","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/2024004","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/2024/01/ita220045.pdf","source":{"id":"https://openalex.org/S4220651353","display_name":"RAIRO. Theoretical informatics and applications","issn_l":"2804-7346","issn":["2804-7346"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1051/ita/2024004","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/2024004","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/2024/01/ita220045.pdf","source":{"id":"https://openalex.org/S4220651353","display_name":"RAIRO. Theoretical informatics and applications","issn_l":"2804-7346","issn":["2804-7346"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320184","display_name":"London Mathematical Society","ror":"https://ror.org/01r1e1h27"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4393194694.pdf"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W20372564","https://openalex.org/W1767557960","https://openalex.org/W2269342346","https://openalex.org/W2614598353","https://openalex.org/W3109076334","https://openalex.org/W4298236575","https://openalex.org/W4388319774"],"related_works":["https://openalex.org/W2355730523","https://openalex.org/W152021879","https://openalex.org/W2072918937","https://openalex.org/W2365629437","https://openalex.org/W2023935927","https://openalex.org/W2348330439","https://openalex.org/W2350372928","https://openalex.org/W2377292126","https://openalex.org/W2128900334","https://openalex.org/W2139109546"],"abstract_inverted_index":{"A":[0],"graph":[1,57,183,205,219],"is":[2,39,52,58,136,152,268],"word-representable":[3,50],"if":[4,139],"it":[5,263],"can":[6,31,77,89],"be":[7,32,78,90,163,240],"represented":[8],"in":[9,17,61,92,255,272],"a":[10,56,82,86,98,117,160,167,186,256,269,276],"certain":[11],"way":[12],"using":[13],"alternation":[14],"of":[15,27,46,49,100,105,112,134,156,179,182,192,202,214,228,252,278,291],"letters":[16],"words.":[18],"Word-representable":[19],"graphs":[20,51,237,289,295,305],"generalise":[21],"several":[22,253],"important":[23],"and":[24,29,43,69,130,147,209,216,223],"well-studied":[25],"classes":[26],"graphs,":[28,109,113],"they":[30],"characterised":[33],"by":[34,80,166,196],"semi-transitive":[35,83],"orientations.":[36],"Recognising":[37],"word-representability":[38],"an":[40,176],"NP-complete":[41],"problem,":[42],"the":[44,47,96,157,203,217,243,273,292],"bottleneck":[45],"theory":[48],"convincing":[53],"someone":[54],"that":[55,63,88,132,267],"non-word-representable,":[59],"keeping":[60],"mind":[62],"references":[64],"to":[65,249],"(even":[66],"publicly":[67,198],"available":[68,199],"user-friendly)":[70],"software":[71],"are":[72],"not":[73,239,258],"always":[74],"welcome.":[75],"(Word-representability":[76],"justified":[79],"providing":[81],"orientation":[84],"as":[85,262],"certificate":[87],"checked":[91],"polynomial":[93],"time).":[94],"In":[95,169],"literature,":[97],"variety":[99],"(usually":[101],"ad":[102],"hoc)":[103],"proofs":[104,181,191,233],"non-word-representability":[106],"for":[107,116,175,234],"particular":[108],"or":[110],"families":[111],"appear,":[114],"but":[115],"randomly":[118],"selected":[119],"graph,":[120,257],"one":[121,260],"should":[122],"expect":[123],"looking":[124],"at":[125],"O(2":[126],"#edges":[127],")":[128],"orientations":[129,146,251],"justifying":[131],"none":[133],"them":[135],"semi-transitive.":[137],"Even":[138],"computer":[140],"would":[141,148,162,238],"print":[142],"out":[143,150,290],"all":[144],"these":[145],"point":[149],"what":[151],"wrong":[153],"with":[154],"each":[155],"orientations,":[158],"such":[159,231],"proof":[161],"essentially":[164],"non-checkable":[165],"human.":[168],"this":[170],"paper,":[171],"we":[172,188,246,281],"develop":[173],"methods":[174],"automatic":[177],"search":[178],"human-verifiable":[180],"non-word-representability.":[184],"As":[185,275],"proof-of-concept,":[187],"provide":[189],"\u201cshort\u201d":[190],"non-word-representability,":[193],"generated":[194],"automatically":[195],"our":[197,279],"user-friendly":[200],"software,":[201],"Shrikhande":[204],"on":[206,220,296,306],"16":[207,221],"vertices":[208,222,298,308],"48":[210],"edges":[211,225,254],"(6":[212],"\u201clines\u201d":[213,227],"proof)":[215],"Clebsch":[218],"40":[224],"(10":[226],"proof).":[229],"Producing":[230],"short":[232],"relatively":[235],"large":[236],"possible":[241],"without":[242],"instrumental":[244],"tool":[245],"introduce":[247],"(allowing":[248],"assume":[250],"just":[259],"edge":[261],"was":[264],"previously":[265],"used)":[266],"game":[270],"changer":[271],"area.":[274],"bi-product":[277],"studies,":[280],"correct":[282],"two":[283,303],"mistakes":[284],"published":[285],"multiple":[286],"times":[287],"(two":[288],"25":[293],"non-word-representable":[294,304],"7":[297,307],"were":[299,309],"actually":[300],"word-representable,":[301],"while":[302],"missing).":[310]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}