{"id":"https://openalex.org/W2951958096","doi":"https://doi.org/10.1142/s0129054120410075","title":"The Intersection Problem for Finite Semigroups","display_name":"The Intersection Problem for Finite Semigroups","publication_year":2020,"publication_date":"2020-09-01","ids":{"openalex":"https://openalex.org/W2951958096","doi":"https://doi.org/10.1142/s0129054120410075","mag":"2951958096"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054120410075","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054120410075","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1806.04996","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040878363","display_name":"Lukas Fleischer","orcid":"https://orcid.org/0000-0001-5234-4348"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]},{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["CA","DE"],"is_corresponding":true,"raw_author_name":"Lukas Fleischer","raw_affiliation_strings":["FMI, University of Stuttgart, Universit\u00e4tsstra\u00dfe 38, 70569 Stuttgart, Germany","School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, ON N2L 3G1, Canada"],"affiliations":[{"raw_affiliation_string":"FMI, University of Stuttgart, Universit\u00e4tsstra\u00dfe 38, 70569 Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]},{"raw_affiliation_string":"School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, ON N2L 3G1, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5040878363"],"corresponding_institution_ids":["https://openalex.org/I100066346","https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02071144,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"31","issue":"06","first_page":"827","last_page":"842"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","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/T11567","display_name":"semigroups and automata theory","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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.978600025177002,"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/T11130","display_name":"Coding theory and cryptography","score":0.9666000008583069,"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/decidability","display_name":"Decidability","score":0.7609415054321289},{"id":"https://openalex.org/keywords/special-classes-of-semigroups","display_name":"Special classes of semigroups","score":0.7563086748123169},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.7503558993339539},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7340113520622253},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.618288516998291},{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.616457462310791},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.5958763360977173},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.5431813597679138},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5237805247306824},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5132732391357422},{"id":"https://openalex.org/keywords/word-problem","display_name":"Word problem (mathematics education)","score":0.5123549699783325},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4903566837310791},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.4810519516468048},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4794313311576843},{"id":"https://openalex.org/keywords/krohn\u2013rhodes-theory","display_name":"Krohn\u2013Rhodes theory","score":0.4573686718940735},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.35817790031433105},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.2902066707611084},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.14277109503746033},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.09639430046081543}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7609415054321289},{"id":"https://openalex.org/C46149467","wikidata":"https://www.wikidata.org/wiki/Q7574800","display_name":"Special classes of semigroups","level":3,"score":0.7563086748123169},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.7503558993339539},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7340113520622253},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.618288516998291},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.616457462310791},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.5958763360977173},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.5431813597679138},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5237805247306824},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5132732391357422},{"id":"https://openalex.org/C90988201","wikidata":"https://www.wikidata.org/wiki/Q255912","display_name":"Word problem (mathematics education)","level":2,"score":0.5123549699783325},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4903566837310791},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.4810519516468048},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4794313311576843},{"id":"https://openalex.org/C30397308","wikidata":"https://www.wikidata.org/wiki/Q6438788","display_name":"Krohn\u2013Rhodes theory","level":4,"score":0.4573686718940735},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35817790031433105},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2902066707611084},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.14277109503746033},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.09639430046081543},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1142/s0129054120410075","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054120410075","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1806.04996","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1806.04996","pdf_url":"https://arxiv.org/pdf/1806.04996","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"mag:2951958096","is_oa":true,"landing_page_url":"http://arxiv.org/pdf/1806.04996.pdf","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1806.04996","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1806.04996","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1806.04996","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1806.04996","pdf_url":"https://arxiv.org/pdf/1806.04996","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2300058308","display_name":null,"funder_award_id":"DI 435/5-2","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6052429835","display_name":null,"funder_award_id":"(DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2951958096.pdf","grobid_xml":"https://content.openalex.org/works/W2951958096.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W2045583484","https://openalex.org/W2111132083","https://openalex.org/W2165293955","https://openalex.org/W2318841766"],"related_works":["https://openalex.org/W2808265689","https://openalex.org/W2145190459","https://openalex.org/W2787822038","https://openalex.org/W2734514272","https://openalex.org/W1979982881","https://openalex.org/W2160190634","https://openalex.org/W2769638921","https://openalex.org/W2917070051","https://openalex.org/W757345910","https://openalex.org/W1999298839","https://openalex.org/W1964829266","https://openalex.org/W2616529625","https://openalex.org/W3100772292","https://openalex.org/W1480926504","https://openalex.org/W1602509085","https://openalex.org/W3203384987","https://openalex.org/W1489736929","https://openalex.org/W2053962357","https://openalex.org/W2075457047","https://openalex.org/W3120491097"],"abstract_inverted_index":{"The":[0],"intersection":[1,56,114],"problem":[2,37,57,82,115],"for":[3,58,75,78,116,131,142],"finite":[4,18,62,94],"semigroups":[5,119,134,148],"asks,":[6],"given":[7],"a":[8,23,47,69,136,173],"set":[9],"of":[10,54,61,112,118,133,145,149,184],"regular":[11],"languages,":[12],"represented":[13,92],"by":[14,93],"recognizing":[15],"morphisms":[16],"to":[17,50,180],"semigroups,":[19,80],"whether":[20],"there":[21],"exists":[22],"word":[24],"contained":[25,97],"in":[26,98,164],"their":[27],"intersection.":[28],"In":[29],"previous":[30],"work,":[31],"it":[32],"was":[33],"shown":[34],"that":[35,74,157],"is":[36,38,96],"[Formula:":[39,99,128],"see":[40,100,129],"text]-complete.":[41],"We":[42,102,176],"introduce":[43],"compressibility":[44],"measures":[45],"as":[46,85],"useful":[48],"tool":[49],"classify":[51],"the":[52,55,81,86,89,110,113,143,153,181,185],"complexity":[53,111],"certain":[59,104],"classes":[60,132],"semigroups.":[63],"Using":[64],"this":[65],"framework,":[66],"we":[67,126,155],"obtain":[68],"new":[70],"and":[71,77,106,141,160],"simple":[72],"proof":[73],"groups":[76],"commutative":[79],"(as":[83],"well":[84],"variant":[87,183],"where":[88],"languages":[90],"are":[91],"automata)":[95],"text].":[101],"uncover":[103],"structural":[105],"non-structural":[107],"properties":[108],"determining":[109],"varieties":[117],"containing":[120],"only":[121],"trivial":[122],"submonoids.":[123],"More":[124],"specifically,":[125],"prove":[127],"text]-hardness":[130],"having":[135],"property":[137],"called":[138],"unbounded":[139],"order":[140,159],"class":[144],"all":[146],"nilpotent":[147],"bounded":[150,158],"order.":[151],"On":[152],"contrary,":[154],"show":[156],"commutativity":[161],"imply":[162],"decidability":[163],"poly-logarithmic":[165],"time":[166],"on":[167],"alternating":[168],"random-access":[169],"Turing":[170],"machines":[171],"with":[172],"single":[174],"alternation.":[175],"also":[177],"establish":[178],"connections":[179],"monoid":[182],"problem.":[186]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}