{"id":"https://openalex.org/W1976631094","doi":"https://doi.org/10.1137/12086594x","title":"How to Decide Consensus? A Combinatorial Necessary and Sufficient Condition and a Proof that Consensus is Decidable but NP-Hard","display_name":"How to Decide Consensus? A Combinatorial Necessary and Sufficient Condition and a Proof that Consensus is Decidable but NP-Hard","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W1976631094","doi":"https://doi.org/10.1137/12086594x","mag":"1976631094"},"language":"en","primary_location":{"id":"doi:10.1137/12086594x","is_oa":false,"landing_page_url":"https://doi.org/10.1137/12086594x","pdf_url":null,"source":{"id":"https://openalex.org/S897311980","display_name":"SIAM Journal on Control and Optimization","issn_l":"0363-0129","issn":["0363-0129","1095-7138"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Control and Optimization","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073875709","display_name":"Vincent D. Blondel","orcid":null},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Vincent D. Blondel","raw_affiliation_strings":["Division of Applied Mathematics, Universit\u00e9 catholique de Louvain, 4 avenue Georges Lemaitre, B-1348 Louvain-la-Neuve, Belgium"],"affiliations":[{"raw_affiliation_string":"Division of Applied Mathematics, Universit\u00e9 catholique de Louvain, 4 avenue Georges Lemaitre, B-1348 Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005863931","display_name":"Alex Olshevsky","orcid":"https://orcid.org/0000-0002-5852-9789"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alex Olshevsky","raw_affiliation_strings":["Department of Industrial and Enterprise Systems Engineering, University of Illinois at Urbana Champaign, 104 S. Mathews Ave., Urbana, IL, 61801, USA"],"affiliations":[{"raw_affiliation_string":"Department of Industrial and Enterprise Systems Engineering, University of Illinois at Urbana Champaign, 104 S. Mathews Ave., Urbana, IL, 61801, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5073875709"],"corresponding_institution_ids":["https://openalex.org/I95674353"],"apc_list":null,"apc_paid":null,"fwci":3.7929,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.93620714,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"52","issue":"5","first_page":"2707","last_page":"2726"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/mathematics","display_name":"Mathematics","score":0.7541131973266602},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.691897988319397},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6861419081687927},{"id":"https://openalex.org/keywords/consensus","display_name":"Consensus","score":0.6745514869689941},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6413556337356567},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6238489747047424},{"id":"https://openalex.org/keywords/consensus-algorithm","display_name":"Consensus algorithm","score":0.5670581459999084},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5342264175415039},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.43901771306991577},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4295424818992615},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.42858558893203735},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26502734422683716},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.16657820343971252},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.07527163624763489}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7541131973266602},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.691897988319397},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6861419081687927},{"id":"https://openalex.org/C107107730","wikidata":"https://www.wikidata.org/wiki/Q2994424","display_name":"Consensus","level":3,"score":0.6745514869689941},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6413556337356567},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6238489747047424},{"id":"https://openalex.org/C2983222225","wikidata":"https://www.wikidata.org/wiki/Q2994424","display_name":"Consensus algorithm","level":2,"score":0.5670581459999084},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5342264175415039},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.43901771306991577},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4295424818992615},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42858558893203735},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26502734422683716},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.16657820343971252},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.07527163624763489},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/12086594x","is_oa":false,"landing_page_url":"https://doi.org/10.1137/12086594x","pdf_url":null,"source":{"id":"https://openalex.org/S897311980","display_name":"SIAM Journal on Control and Optimization","issn_l":"0363-0129","issn":["0363-0129","1095-7138"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Control and Optimization","raw_type":"journal-article"},{"id":"pmh:oai:dial.uclouvain.be:boreal:124317","is_oa":false,"landing_page_url":"http://hdl.handle.net/2078.1/124317","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SIAM Journal on Control and Optimization, Vol. 52, no. 5, p. 2707-2726 (2014)","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1978242229","https://openalex.org/W1991656001","https://openalex.org/W1994390718","https://openalex.org/W1998692453","https://openalex.org/W2018800107","https://openalex.org/W2019312235","https://openalex.org/W2024571424","https://openalex.org/W2026883597","https://openalex.org/W2028706574","https://openalex.org/W2032803680","https://openalex.org/W2035039048","https://openalex.org/W2044212084","https://openalex.org/W2124297048","https://openalex.org/W2125668987","https://openalex.org/W2140655807","https://openalex.org/W2142544818","https://openalex.org/W2153617912","https://openalex.org/W2154834860","https://openalex.org/W2160643434","https://openalex.org/W2165744313","https://openalex.org/W2171153629","https://openalex.org/W2296394888"],"related_works":["https://openalex.org/W2617189160","https://openalex.org/W1940417675","https://openalex.org/W2106670435","https://openalex.org/W3201708707","https://openalex.org/W2246375794","https://openalex.org/W2155168782","https://openalex.org/W2167425623","https://openalex.org/W2916913908","https://openalex.org/W3046732854","https://openalex.org/W2792781778"],"abstract_inverted_index":{"A":[0],"set":[1,10,60,105,109,135],"of":[2,15,33,65,89,132,145],"stochastic":[3],"matrices":[4,16,66],"${\\cal":[5,24],"P}$":[6,25],"is":[7,78,111,127],"a":[8,46,141],"consensus":[9,93,126,157,170],"if":[11],"for":[12,62,83,92,155],"every":[13,27],"sequence":[14,32],"$P(1),":[17],"P(2),":[18],"\\ldots$":[19],"whose":[20,48],"elements":[21],"belong":[22],"to":[23,45,113,151],"and":[26,67,81,119],"initial":[28],"state":[29],"$x(0)$,":[30],"the":[31,90,96,103,133,153],"states":[34],"defined":[35],"by":[36],"$x(t)":[37],"=":[38],"P(t)":[39],"P(t-1)":[40],"\\cdots":[41],"P(1)":[42],"x(0)$":[43],"converges":[44],"vector":[47],"entries":[49],"are":[50],"all":[51],"identical.":[52],"In":[53],"this":[54,74,165],"paper,":[55],"we":[56,161],"introduce":[57],"an":[58,116],"\u201cavoiding":[59],"condition\u201d":[61],"compact":[63],"sets":[64],"prove":[68,163],"in":[69,95,164,174],"our":[70,121],"main":[71],"theorem":[72],"that":[73,87,125,167],"explicit":[75],"combinatorial":[76],"condition":[77,110,136],"both":[79],"necessary":[80],"sufficient":[82],"consensus.":[84],"We":[85],"show":[86],"several":[88],"conditions":[91],"proposed":[94],"literature":[97],"can":[98],"be":[99,152,172],"directly":[100],"derived":[101],"from":[102],"avoiding":[104,108,134],"condition.":[106],"The":[107],"easy":[112],"check":[114],"with":[115],"elementary":[117],"algorithm,":[118],"so":[120],"result":[122],"also":[123,162],"establishes":[124],"algorithmically":[128],"decidable.":[129],"Direct":[130],"verification":[131],"may":[137],"require":[138],"more":[139],"than":[140],"polynomial":[142,175],"time":[143],"number":[144],"operations.":[146],"This":[147],"is,":[148],"however,":[149],"likely":[150],"case":[154],"any":[156],"checking":[158],"algorithm":[159],"since":[160],"paper":[166],"unless":[168],"$P=NP$,":[169],"cannot":[171],"decided":[173],"time.":[176]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}