{"id":"https://openalex.org/W4310861364","doi":"https://doi.org/10.1007/s10270-022-01060-7","title":"Linear parallel algorithms to compute strong and branching bisimilarity","display_name":"Linear parallel algorithms to compute strong and branching bisimilarity","publication_year":2022,"publication_date":"2022-12-06","ids":{"openalex":"https://openalex.org/W4310861364","doi":"https://doi.org/10.1007/s10270-022-01060-7"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-022-01060-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-022-01060-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-022-01060-7.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-022-01060-7.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034035678","display_name":"Jan Martens","orcid":"https://orcid.org/0000-0003-4797-7735"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jan Martens","raw_affiliation_strings":["Eindhoven University of Technology, De Groene Loper 5, Eindhoven, 5612 AE, The Netherlands","Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, De Groene Loper 5, Eindhoven, 5612 AE, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032619003","display_name":"Jan Friso Groote","orcid":"https://orcid.org/0000-0003-2196-6587"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan Friso Groote","raw_affiliation_strings":["Eindhoven University of Technology, De Groene Loper 5, Eindhoven, 5612 AE, The Netherlands","Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, De Groene Loper 5, Eindhoven, 5612 AE, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033640628","display_name":"Lars B. van den Haak","orcid":"https://orcid.org/0000-0002-0330-5016"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Lars B. van den Haak","raw_affiliation_strings":["Eindhoven University of Technology, De Groene Loper 5, Eindhoven, 5612 AE, The Netherlands","Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, De Groene Loper 5, Eindhoven, 5612 AE, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017610501","display_name":"Pieter Hijma","orcid":"https://orcid.org/0000-0002-5716-1118"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Pieter Hijma","raw_affiliation_strings":["Eindhoven University of Technology, De Groene Loper 5, Eindhoven, 5612 AE, The Netherlands","Vrije Universiteit, De Boelelaan 1105, Amsterdam, 1081 HV, The Netherlands","Vrije Universiteit, Amsterdam, The Netherlands","Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, De Groene Loper 5, Eindhoven, 5612 AE, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Vrije Universiteit, De Boelelaan 1105, Amsterdam, 1081 HV, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Vrije Universiteit, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036964869","display_name":"Anton Wijs","orcid":"https://orcid.org/0000-0002-2071-9624"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Anton Wijs","raw_affiliation_strings":["Eindhoven University of Technology, De Groene Loper 5, Eindhoven, 5612 AE, The Netherlands","Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, De Groene Loper 5, Eindhoven, 5612 AE, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5034035678"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.4508,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.66971337,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":"22","issue":"2","first_page":"521","last_page":"545"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996399998664856,"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/T10142","display_name":"Formal Methods in Verification","score":0.996399998664856,"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/T12056","display_name":"Markov Chains and Monte Carlo Methods","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9932000041007996,"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/algorithm","display_name":"Algorithm","score":0.6799262762069702},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4439314007759094}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6799262762069702},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4439314007759094}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1007/s10270-022-01060-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-022-01060-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-022-01060-7.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:publications/ccaa7dd3-6bcc-469c-a7cc-6ec49be65461","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85143387594&partnerID=8YFLogxK","pdf_url":"https://pure.tue.nl/ws/files/294766907/s10270_022_01060_7.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Martens, J, Groote, J F, Haak, L B V D, Hijma, P & Wijs, A 2023, 'Linear parallel algorithms to compute strong and branching bisimilarity', Software and Systems Modeling, vol. 22, no. 2, pp. 521-545. https://doi.org/10.1007/s10270-022-01060-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:openaire/ccaa7dd3-6bcc-469c-a7cc-6ec49be65461","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/ccaa7dd3-6bcc-469c-a7cc-6ec49be65461","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Martens, J, Groote, J F, Haak, L B V D, Hijma, P & Wijs, A 2023, 'Linear parallel algorithms to compute strong and branching bisimilarity', Software and Systems Modeling, vol. 22, no. 2, pp. 521-545. https://doi.org/10.1007/s10270-022-01060-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/ccaa7dd3-6bcc-469c-a7cc-6ec49be65461","is_oa":true,"landing_page_url":"https://research.tue.nl/files/294766907/s10270_022_01060_7.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Martens, J, Groote, J F, Haak, L B V D, Hijma, P & Wijs, A 2023, 'Linear parallel algorithms to compute strong and branching bisimilarity', Software and Systems Modeling, vol. 22, no. 2, pp. 521-545. https://doi.org/10.1007/s10270-022-01060-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/b65288b8-fb61-465e-90de-3f72e29c9f68","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/b65288b8-fb61-465e-90de-3f72e29c9f68","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Martens, J, Groote, J F, Haak, L B V D, Hijma, P & Wijs, A 2023, 'Linear parallel algorithms to compute strong and branching bisimilarity', Software and Systems Modeling, vol. 22, no. 2, pp. 521-545. https://doi.org/10.1007/s10270-022-01060-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research.vu.nl:publications/b65288b8-fb61-465e-90de-3f72e29c9f68","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/citedby.url?scp=85143387594&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Martens, J, Groote, J F, Haak, L B V D, Hijma, P & Wijs, A 2023, 'Linear parallel algorithms to compute strong and branching bisimilarity', Software and Systems Modeling, vol. 22, no. 2, pp. 521-545. https://doi.org/10.1007/s10270-022-01060-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/ccaa7dd3-6bcc-469c-a7cc-6ec49be65461","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/ccaa7dd3-6bcc-469c-a7cc-6ec49be65461","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Software and Systems Modeling, 22(2), 521 - 545. Springer","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:vu:oai:research.vu.nl:publications/b65288b8-fb61-465e-90de-3f72e29c9f68","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/b65288b8-fb61-465e-90de-3f72e29c9f68","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Software and Systems Modeling, 22(2), 521 - 545. Springer","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10270-022-01060-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-022-01060-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-022-01060-7.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2461713412","display_name":null,"funder_award_id":"TTW ChEOPS project 17249","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G3490528463","display_name":null,"funder_award_id":"612.001751","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G486964816","display_name":null,"funder_award_id":"project 6","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G5090819313","display_name":null,"funder_award_id":"17249","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G6009445997","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G6075215602","display_name":null,"funder_award_id":"AVVA project 612.001751","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4310861364.pdf","grobid_xml":"https://content.openalex.org/works/W4310861364.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W610778723","https://openalex.org/W1577673148","https://openalex.org/W1602925513","https://openalex.org/W1663591515","https://openalex.org/W1795811607","https://openalex.org/W1967575173","https://openalex.org/W1972371039","https://openalex.org/W1978583881","https://openalex.org/W1985161650","https://openalex.org/W1990183105","https://openalex.org/W1997039683","https://openalex.org/W2004618348","https://openalex.org/W2005652416","https://openalex.org/W2021473546","https://openalex.org/W2068361557","https://openalex.org/W2090195984","https://openalex.org/W2091177009","https://openalex.org/W2115698108","https://openalex.org/W2126186830","https://openalex.org/W2140104995","https://openalex.org/W2141216597","https://openalex.org/W2149481500","https://openalex.org/W2264277655","https://openalex.org/W2323352721","https://openalex.org/W2931334490","https://openalex.org/W2980227841","https://openalex.org/W2999586522","https://openalex.org/W3033308515","https://openalex.org/W3213291595","https://openalex.org/W6675704447"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2317200988","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2386767533"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"present":[2],"the":[3],"first":[4],"parallel":[5],"algorithms":[6],"that":[7,48,92],"decide":[8],"strong":[9,50],"and":[10,27,89],"branching":[11,94],"bisimilarity":[12,51,95],"in":[13,52,96],"linear":[14],"time.":[15],"More":[16],"precisely,":[17],"if":[18],"a":[19],"transition":[20],"system":[21],"has":[22],"n":[23],"states,":[24],"m":[25],"transitions":[26],"$$\\vert":[28],"Act":[29,55,99,123],"\\vert":[30,56,100,124],"$$":[31],"<mml:math":[32,58,77,102,126],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[33,59,78,103,127],"<mml:mrow>":[34,60,79,104,128],"<mml:mo>|</mml:mo>":[35,39,65,69,109,113,138,142],"<mml:mi>A</mml:mi>":[36,66,110,139],"<mml:mi>c</mml:mi>":[37,67,111,140],"<mml:mi>t</mml:mi>":[38,68,112,141],"</mml:mrow>":[40,71,86,115,145],"</mml:math>":[41,72,87,116,146],"action":[42],"labels,":[43],"we":[44],"introduce":[45],"an":[46,90],"algorithm":[47,91],"decides":[49,93],"$$\\mathcal":[53,97],"{O}(n+\\vert":[54,98],")$$":[57,101],"<mml:mi>O</mml:mi>":[61,105],"<mml:mo>(</mml:mo>":[62,81,106,130],"<mml:mi>n</mml:mi>":[63,82,107,132,143],"<mml:mo>+</mml:mo>":[64,108],"<mml:mo>)</mml:mo>":[70,85,114,144],"time":[73,117],"on":[74],"$$\\max":[75,121],"(n,m)$$":[76],"<mml:mo>max</mml:mo>":[80,129],"<mml:mo>,</mml:mo>":[83,135,137],"<mml:mi>m</mml:mi>":[84,136],"processors":[88],"using":[118],"up":[119],"to":[120],"(n^2,m,\\vert":[122],"n)$$":[125],"<mml:msup>":[131],"<mml:mn>2</mml:mn>":[133],"</mml:msup>":[134],"processors.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":2}],"updated_date":"2026-03-22T08:09:32.410652","created_date":"2025-10-10T00:00:00"}