{"id":"https://openalex.org/W4405891040","doi":"https://doi.org/10.1504/ijes.2024.10068672","title":"Pin conjecture for matching automata","display_name":"Pin conjecture for matching automata","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4405891040","doi":"https://doi.org/10.1504/ijes.2024.10068672"},"language":"en","primary_location":{"id":"doi:10.1504/ijes.2024.10068672","is_oa":true,"landing_page_url":"https://doi.org/10.1504/ijes.2024.10068672","pdf_url":"https://doi.org/10.1504/ijes.2024.10068672","source":{"id":"https://openalex.org/S204369148","display_name":"International Journal of Embedded Systems","issn_l":"1741-1068","issn":["1741-1068","1741-1076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.1504/ijes.2024.10068672","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100413085","display_name":"Zihao Wang","orcid":"https://orcid.org/0000-0002-3919-0396"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zihao Wang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115700633","display_name":"Qingxia Long","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qingxia Long","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5023060816","display_name":"Yong He","orcid":"https://orcid.org/0000-0002-0241-339X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yong He","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":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.27428648,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","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"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","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/T12029","display_name":"DNA and Biological Computing","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9948999881744385,"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/conjecture","display_name":"Conjecture","score":0.6627563834190369},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5504770874977112},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5281486511230469},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.4321829676628113},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3163973391056061},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.31633153557777405},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.315666139125824},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.06348061561584473}],"concepts":[{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6627563834190369},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5504770874977112},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5281486511230469},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.4321829676628113},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3163973391056061},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31633153557777405},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.315666139125824},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.06348061561584473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1504/ijes.2024.10068672","is_oa":true,"landing_page_url":"https://doi.org/10.1504/ijes.2024.10068672","pdf_url":"https://doi.org/10.1504/ijes.2024.10068672","source":{"id":"https://openalex.org/S204369148","display_name":"International Journal of Embedded Systems","issn_l":"1741-1068","issn":["1741-1068","1741-1076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1504/ijes.2024.10068672","is_oa":true,"landing_page_url":"https://doi.org/10.1504/ijes.2024.10068672","pdf_url":"https://doi.org/10.1504/ijes.2024.10068672","source":{"id":"https://openalex.org/S204369148","display_name":"International Journal of Embedded Systems","issn_l":"1741-1068","issn":["1741-1068","1741-1076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4405891040.pdf","grobid_xml":"https://content.openalex.org/works/W4405891040.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W4300899577","https://openalex.org/W3194471551","https://openalex.org/W4375956809","https://openalex.org/W1581373162","https://openalex.org/W4393325717","https://openalex.org/W1973978937","https://openalex.org/W121594594","https://openalex.org/W2784911598","https://openalex.org/W2124122503"],"abstract_inverted_index":{"Let":[0],"A":[1,17,40,43,62,69,78,95],"=":[2,24],"(S,":[3,25],"A,":[4],")":[5],"be":[6,47,64,104],"an":[7,90],"n-state":[8,142],"automaton":[9,42],"over":[10],"m":[11],"input":[12,92,139],"letters.The":[13],"merging":[14],"graph":[15,22],"of":[16,27,34,39,54,61,77,94,135,141],"is":[18,44,51,70,79,120,126,145],"the":[19,29,55,75,129,133,136],"simple":[20],"undirected":[21],"G":[23],"E)":[26],"which":[28],"edge":[30],"set":[31,57],"E":[32,50],"consists":[33],"all":[35],"binary":[36],"mergable":[37],"sets":[38],".The":[41],"said":[45],"to":[46],"matching":[48,53,72,123,143],"if":[49],"a":[52,71],"state":[56],"S.":[58],"The":[59],"matchingness":[60],"can":[63,103],"decided":[65],"in":[66,106],"O(nm)":[67],"times.If":[68],"automaton,":[73],"then":[74],"rank":[76,118],"n/2":[80,87],"and,":[81],"for":[82,122,132],"any":[83],"integer":[84],"r":[85,88],"with":[86],"n,":[89],"r-rank":[91,138],"word":[93],"having":[96],"length":[97],"at":[98],"most":[99],"n-r":[100,146],"i=0":[101,147],"i":[102],"computed":[105],"O(n":[107],"2":[108],"+":[109],"nm)":[110],"times.This":[111],"illustrates":[112],"that":[113,128],"Pin":[114],"conjecture":[115],"(and":[116],"hence":[117],"conjecture)":[119],"true":[121],"automata.Furthermore,":[124],"it":[125],"shown":[127],"tight":[130],"bound":[131],"lengths":[134],"shortest":[137],"words":[140],"automata":[144],"i.":[148]},"counts_by_year":[],"updated_date":"2026-03-13T14:20:09.374765","created_date":"2025-10-10T00:00:00"}