Abstrakt. Loop-avtal är en typ av distribuerade beslutsuppgifter som omfattar många välkända uppgifter såsom avtal, simplexavtal och tillnärmningsavtal. På grund av dess eleganta kombinatoriska struktur och dess viktiga roll när det gäller att lösa problemet med distribuerade beslutsuppgifter, har slingaavtal undersökts grundligt. En klassificering av slingaavtalsuppgifter har föreslagits, baserat på deras relativa beräkningskraft: uppgifterna tillhör samma klass om och endast om de kan genomföra varandra. Klassificeringen omfattar dock inte sådana viktiga uppgifter som konsensus, eftersom varje slingaavtalsuppgift tillåter upp till tre olika utgångsvärden i ett utförande. Så, i detta dokument överväger att klassificera en variation av loop-avtal, som kallas degenererade loop-avtal, vilket inkluderar samförstånd. En degenererad slinga avtal uppgift definieras i termer av dess beslutsutrymme och två framstående hörn i utrymmet. Det visas att det finns exakt två ekvivalensklasser av degenererade slingavtalsuppgifter: den ena representeras av den triviala uppgiften och den andra av samförstånd. Klassificeringen bestäms helt av anslutning av beslutsutrymmet för en uppgift; om de särskiljande punkterna är anslutna i utrymmet, uppgiften är likvärdig med den triviala uppgiften, annars konsensus.
Liu, Pu och Pan utforskar en lägre dimensionell variant av loopavtal som kallas degenererade loopavtal REF, som till skillnad från loopavtal innehåller binärt samförstånd.
A Classification of Degenerate Loop Agreement
{'venue': 'IFIP TCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}