{"id":"https://openalex.org/W2397569458","doi":"https://doi.org/10.1145/2933057.2933120","title":"Unbeatable Set Consensus via Topological and Combinatorial Reasoning","display_name":"Unbeatable Set Consensus via Topological and Combinatorial Reasoning","publication_year":2016,"publication_date":"2016-07-25","ids":{"openalex":"https://openalex.org/W2397569458","doi":"https://doi.org/10.1145/2933057.2933120","mag":"2397569458"},"language":"en","primary_location":{"id":"doi:10.1145/2933057.2933120","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2933057.2933120","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-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/A5020843617","display_name":"Armando Casta\u00f1eda","orcid":"https://orcid.org/0000-0002-8017-8639"},"institutions":[{"id":"https://openalex.org/I8961855","display_name":"Universidad Nacional Aut\u00f3noma de M\u00e9xico","ror":"https://ror.org/01tmp8f25","country_code":"MX","type":"education","lineage":["https://openalex.org/I8961855"]}],"countries":["MX"],"is_corresponding":true,"raw_author_name":"Armando Casta\u00f1eda","raw_affiliation_strings":["Universidad Nacional Aut\u00f3noma de M\u00e9xico (UNAM), Mexico City, Mexico"],"affiliations":[{"raw_affiliation_string":"Universidad Nacional Aut\u00f3noma de M\u00e9xico (UNAM), Mexico City, Mexico","institution_ids":["https://openalex.org/I8961855"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049856597","display_name":"Yannai A. Gonczarowski","orcid":"https://orcid.org/0000-0002-7887-0490"},"institutions":[{"id":"https://openalex.org/I4210125051","display_name":"Microsoft (Israel)","ror":"https://ror.org/03819cc96","country_code":"IL","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210125051"]},{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yannai A. Gonczarowski","raw_affiliation_strings":["The Hebrew University of Jerusalem and Microsoft Research, Jerusalem, Israel"],"affiliations":[{"raw_affiliation_string":"The Hebrew University of Jerusalem and Microsoft Research, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160","https://openalex.org/I4210125051"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005055897","display_name":"Yoram Moses","orcid":"https://orcid.org/0000-0001-5549-1781"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yoram Moses","raw_affiliation_strings":["Technion -- Israel Institute of Technology, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Technion -- Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5020843617"],"corresponding_institution_ids":["https://openalex.org/I8961855"],"apc_list":null,"apc_paid":null,"fwci":1.1813,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.81437628,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"107","last_page":"116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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/T12288","display_name":"Optimization and Search Problems","score":0.9797999858856201,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9581999778747559,"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/mathematical-proof","display_name":"Mathematical proof","score":0.7402616739273071},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7001573443412781},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.673599362373352},{"id":"https://openalex.org/keywords/impossibility","display_name":"Impossibility","score":0.622043251991272},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5355963706970215},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.522788941860199},{"id":"https://openalex.org/keywords/consensus","display_name":"Consensus","score":0.5152066349983215},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5095815658569336},{"id":"https://openalex.org/keywords/constructive-proof","display_name":"Constructive proof","score":0.506138026714325},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.497257262468338},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2515915036201477},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.18295982480049133},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.1685093641281128},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16318559646606445},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.08979058265686035}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7402616739273071},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7001573443412781},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.673599362373352},{"id":"https://openalex.org/C2776261394","wikidata":"https://www.wikidata.org/wiki/Q315562","display_name":"Impossibility","level":2,"score":0.622043251991272},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5355963706970215},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.522788941860199},{"id":"https://openalex.org/C107107730","wikidata":"https://www.wikidata.org/wiki/Q2994424","display_name":"Consensus","level":3,"score":0.5152066349983215},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5095815658569336},{"id":"https://openalex.org/C202854965","wikidata":"https://www.wikidata.org/wiki/Q3044470","display_name":"Constructive proof","level":2,"score":0.506138026714325},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.497257262468338},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2515915036201477},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.18295982480049133},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.1685093641281128},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16318559646606445},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.08979058265686035},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2933057.2933120","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2933057.2933120","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.75,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1327670436","display_name":null,"funder_award_id":"230/10,1435/14,1520/11","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"},{"id":"https://openalex.org/G3781480315","display_name":null,"funder_award_id":"249159","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G544019327","display_name":null,"funder_award_id":"2014389","funder_id":"https://openalex.org/F4320308960","funder_display_name":"United States - Israel Binational Science Foundation"},{"id":"https://openalex.org/G6735116799","display_name":null,"funder_award_id":"PAPIIT-UNAM IA101015","funder_id":"https://openalex.org/F4320323401","funder_display_name":"Universidad Nacional Aut\u00f3noma de M\u00e9xico"}],"funders":[{"id":"https://openalex.org/F4320308960","display_name":"United States - Israel Binational Science Foundation","ror":"https://ror.org/00j8z2m73"},{"id":"https://openalex.org/F4320322248","display_name":"Israel Academy of Sciences and Humanities","ror":"https://ror.org/03c6c9520"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"},{"id":"https://openalex.org/F4320323401","display_name":"Universidad Nacional Aut\u00f3noma de M\u00e9xico","ror":"https://ror.org/01tmp8f25"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W85281776","https://openalex.org/W1503184445","https://openalex.org/W1526652053","https://openalex.org/W1721545125","https://openalex.org/W1892078242","https://openalex.org/W1967858331","https://openalex.org/W2024491172","https://openalex.org/W2024624176","https://openalex.org/W2027569465","https://openalex.org/W2035362408","https://openalex.org/W2049030791","https://openalex.org/W2053469355","https://openalex.org/W2056910803","https://openalex.org/W2058777482","https://openalex.org/W2065083916","https://openalex.org/W2065110409","https://openalex.org/W2066668094","https://openalex.org/W2075601083","https://openalex.org/W2089025815","https://openalex.org/W2090633038","https://openalex.org/W2091004544","https://openalex.org/W2091732787","https://openalex.org/W2092431596","https://openalex.org/W2101712143","https://openalex.org/W2149907923","https://openalex.org/W2150475919","https://openalex.org/W2397569458","https://openalex.org/W2616454528","https://openalex.org/W2964308608","https://openalex.org/W3037461512"],"related_works":["https://openalex.org/W2959217929","https://openalex.org/W4241054063","https://openalex.org/W2954167023","https://openalex.org/W4242866892","https://openalex.org/W2064351239","https://openalex.org/W42551271","https://openalex.org/W2114983089","https://openalex.org/W2949665548","https://openalex.org/W2950188642","https://openalex.org/W84644661"],"abstract_inverted_index":{"The":[0,52],"set":[1,58,80],"consensus":[2,59,97,232],"problem":[3,30],"has":[4,39,60,177],"played":[5],"an":[6,91,106,204],"important":[7],"role":[8],"in":[9,45,98,190,218],"the":[10,20,32,46,67,72,85,99,117,149,166,197,215,219],"study":[11],"of":[12,50,54,77,119,127,155,182,196,221],"distributed":[13,36],"systems":[14],"for":[15,22,28,94,138,229],"over":[16],"two":[17,136,160],"decades.":[18],"Indeed,":[19],"search":[21],"lower":[23],"bounds":[24],"and":[25,48,148,171,200,210],"impossibility":[26],"results":[27],"this":[29,128,222],"spawned":[31],"topological":[33,153,169,187],"approach":[34],"to":[35,42,57,63,79],"computing,":[37],"which":[38,176],"given":[40],"rise":[41],"new":[43,157,163],"techniques":[44],"design":[47,53,220],"analysis":[49],"protocols.":[51],"efficient":[55,107],"solutions":[56,78,237],"also":[61],"proven":[62],"be":[64,113],"challenging.":[65],"In":[66,184],"synchronous":[68,100],"crash":[69,101],"failure":[70,102],"model,":[71],"literature":[73],"contains":[74],"a":[75,131,143,152,156,180,191,227,239],"sequence":[76],"consensus,":[81],"each":[82],"improving":[83],"upon":[84],"previous":[86],"ones.":[87],"This":[88,104],"paper":[89],"presents":[90],"unbeatable":[92,223],"protocol":[93,108,121,129,198,228],"nonuniform":[95],"k-set":[96,231],"model.":[103],"is":[105,122,130,142,151],"whose":[109],"decision":[110],"times":[111],"cannot":[112],"improved":[114],"upon.":[115],"Moreover,":[116],"description":[118],"our":[120,186],"extremely":[123],"succinct.":[124],"Proving":[125],"unbeatability":[126],"nontrivial":[132],"challenge.":[133],"We":[134],"provide":[135,162],"proofs":[137,161],"its":[139],"unbeatability:":[140],"one":[141],"subtle":[144],"constructive":[145],"combinatorial":[146,172],"proof,":[147],"other":[150],"proof":[154,188],"style.":[158],"These":[159],"insight":[164],"into":[165],"connection":[167],"between":[168],"reasoning":[170,173],"about":[174,194],"protocols,":[175],"long":[178],"been":[179],"subject":[181],"interest.":[183],"particular,":[185],"reasons":[189],"novel":[192],"way":[193],"subcomplexes":[195],"complex,":[199],"sheds":[201],"light":[202],"on":[203],"open":[205],"question":[206],"posed":[207],"by":[208,238],"Guerraoui":[209],"Pochon":[211],"(2009).":[212],"Finally,":[213],"using":[214],"machinery":[216],"developed":[217],"protocol,":[224],"we":[225],"propose":[226],"uniform":[230],"that":[233],"beats":[234],"all":[235],"known":[236],"large":[240],"margin.":[241]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}