I detta dokument erbjuder vi nya bevis för två lägre bundna resultat i distribuerade datorer: minst J + 1 och J + 2 rundor för att nå samförstånd respektive enhetlig konsensus när som mest J felstopp kan hända. Här är beräkningsmodellen synkront meddelande som passerar. Båda bevisen bygger på ett nytt orakle-argument. Dessa två induktionsproof är enhetliga i följande bemärkelse: induktionsstegen är desamma och endast det inledande steget (fa) behöver bevisas separat. De tekniker som används i beviset ger nya insikter i de lägre bundna resultaten i distribuerade datorer.
I REF införs ett nytt orakle-argument för att visa både lägre gränser för synkront samförstånd och enhetligt samförstånd.
A unified proof of minimum time complexity for reaching consensus and uniform consensus - an oracle-based approach
{'venue': '21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings.', 'journal': '21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings.', 'mag_field_of_study': ['Computer Science']}