{"id":"https://openalex.org/W4393096495","doi":"https://doi.org/10.1145/3653723","title":"Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity and Algorithms","display_name":"Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity and Algorithms","publication_year":2024,"publication_date":"2024-03-22","ids":{"openalex":"https://openalex.org/W4393096495","doi":"https://doi.org/10.1145/3653723"},"language":"en","primary_location":{"id":"doi:10.1145/3653723","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3653723","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3653723","source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3653723","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009388396","display_name":"Daniel J. Rosenkrantz","orcid":"https://orcid.org/0000-0002-7044-0197"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Daniel J. Rosenkrantz","raw_affiliation_strings":["University of Virginia, Charlottesville, USA"],"raw_orcid":"https://orcid.org/0000-0002-7044-0197","affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020293284","display_name":"Madhav Marathe","orcid":"https://orcid.org/0000-0003-1653-0658"},"institutions":[{"id":"https://openalex.org/I4210151352","display_name":"Biocom","ror":"https://ror.org/03ymdxs56","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210151352"]},{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Madhav V. Marathe","raw_affiliation_strings":["University of Virginia, Charlottesville, USA","Biocomplexity Institute and Department of Computer Science, University of Virginia, Charlottesville, USA"],"raw_orcid":"https://orcid.org/0000-0003-1653-0658","affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, USA","institution_ids":["https://openalex.org/I51556381"]},{"raw_affiliation_string":"Biocomplexity Institute and Department of Computer Science, University of Virginia, Charlottesville, USA","institution_ids":["https://openalex.org/I51556381","https://openalex.org/I4210151352"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086740853","display_name":"S. S. Ravi","orcid":"https://orcid.org/0000-0002-0893-4364"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S.S. Ravi","raw_affiliation_strings":["University of Virginia, Charlottesville, USA"],"raw_orcid":"https://orcid.org/0000-0002-0893-4364","affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052202085","display_name":"Richard E. Stearns","orcid":"https://orcid.org/0000-0001-5058-1999"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard E. Stearns","raw_affiliation_strings":["University of Virginia, Charlottesville, USA"],"raw_orcid":"https://orcid.org/0000-0001-5058-1999","affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5009388396"],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":0.7715,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67426267,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"16","issue":"2","first_page":"1","last_page":"34"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12592","display_name":"Opinion Dynamics and Social Influence","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12592","display_name":"Opinion Dynamics and Social Influence","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10064","display_name":"Complex Network Analysis Techniques","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications","score":0.9901000261306763,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/directed-acyclic-graph","display_name":"Directed acyclic graph","score":0.7366926074028015},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5467870831489563},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5201426148414612},{"id":"https://openalex.org/keywords/directed-graph","display_name":"Directed graph","score":0.4618368148803711},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3730640113353729},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3672075867652893}],"concepts":[{"id":"https://openalex.org/C74197172","wikidata":"https://www.wikidata.org/wiki/Q1195339","display_name":"Directed acyclic graph","level":2,"score":0.7366926074028015},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5467870831489563},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5201426148414612},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.4618368148803711},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3730640113353729},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3672075867652893}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3653723","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3653723","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3653723","source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3653723","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3653723","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3653723","source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.75,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320337391","display_name":"Division of Civil, Mechanical and Manufacturing Innovation","ror":"https://ror.org/028yd4c30"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393096495.pdf","grobid_xml":"https://content.openalex.org/works/W4393096495.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W847550529","https://openalex.org/W1487842606","https://openalex.org/W1533368239","https://openalex.org/W1932230915","https://openalex.org/W2011039300","https://openalex.org/W2034955756","https://openalex.org/W2039967553","https://openalex.org/W2041157860","https://openalex.org/W2056623179","https://openalex.org/W2069443184","https://openalex.org/W2077895748","https://openalex.org/W2083207585","https://openalex.org/W2092522621","https://openalex.org/W2111123076","https://openalex.org/W2145266030","https://openalex.org/W2147484410","https://openalex.org/W2147873479","https://openalex.org/W2546527782","https://openalex.org/W2568176339","https://openalex.org/W2735429804","https://openalex.org/W2739958520","https://openalex.org/W2809586174","https://openalex.org/W2898504466","https://openalex.org/W2904095757","https://openalex.org/W2945183077","https://openalex.org/W2997473810","https://openalex.org/W3142588439","https://openalex.org/W4212971335","https://openalex.org/W4240781210","https://openalex.org/W4298100609","https://openalex.org/W4312313344","https://openalex.org/W6640347174"],"related_works":["https://openalex.org/W2146569528","https://openalex.org/W4287028074","https://openalex.org/W2106828717","https://openalex.org/W3191289342","https://openalex.org/W1998712144","https://openalex.org/W4300165677","https://openalex.org/W4297817344","https://openalex.org/W4292730466","https://openalex.org/W2372211403","https://openalex.org/W3164774158"],"abstract_inverted_index":{"Discrete":[0],"dynamical":[1,36,63,99,121,132,159,199],"systems":[2,37,79,100,122,133,160,200],"serve":[3],"as":[4,53],"useful":[5],"formal":[6],"models":[7],"to":[8],"study":[9],"diffusion":[10],"phenomena":[11],"in":[12,56],"social":[13],"networks.":[14],"Several":[15],"recent":[16],"articles":[17],"have":[18],"studied":[19],"the":[20,57,61,174,181,185,195],"algorithmic":[21],"and":[22,43],"complexity":[23],"aspects":[24],"of":[25,60,71,89,95,131,176,183,194,198],"some":[26,70,128],"decision":[27,73,96,150],"problems":[28,49,55,74,97,117],"on":[29,80,123,134,161,201],"synchronous":[30],"Boolean":[31],"networks,":[32],"which":[33,137,154],"are":[34,41,104],"discrete":[35],"whose":[38,101],"underlying":[39,102],"graphs":[40,83,103,169],"directed,":[42],"may":[44],"contain":[45],"directed":[46,81],"cycles.":[47],"Such":[48],"can":[50,140],"be":[51,141],"regarded":[52],"reachability":[54,116,138],"phase":[58,196],"space":[59],"corresponding":[62],"system.":[64],"Previous":[65],"work":[66],"has":[67],"shown":[68],"that":[69,108,148,170],"these":[72],"become":[75,171],"efficiently":[76,156],"solvable":[77,157],"for":[78,98,115,120,136,158,166],"acyclic":[82],"(DAGs).":[84],"Motivated":[85],"by":[86,173],"this":[87],"line":[88],"work,":[90],"we":[91,146,188],"investigate":[92],"a":[93,149,177],"number":[94],"DAGs.":[105,124,202],"We":[106,125],"show":[107,147],"computational":[109],"intractability":[110],"(i.e.,":[111,168],"PSPACE":[112,164],"-completeness)":[113],"results":[114],"hold":[118],"even":[119],"also":[126,189],"identify":[127],"restricted":[129],"versions":[130],"DAGs":[135,172],"problem":[139,151],"solved":[142],"efficiently.":[143],"In":[144,180],"addition,":[145],"(namely,":[152],"Convergence),":[153],"is":[155],"DAGs,":[162],"becomes":[163],"-complete":[165],"Quasi-DAGs":[167],"removal":[175],"single":[178],"edge).":[179],"process":[182],"establishing":[184],"above":[186],"results,":[187],"develop":[190],"several":[191],"structural":[192],"properties":[193],"spaces":[197]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}