A, B, C, S1, S2: VAR finite_set[below(N)]
x: VAR below(N)
middle_third_pigeonhole: LEMMA
two_thirds_majority_subset?(A, S1) AND
two_thirds_majority_subset?(B, S2) AND
byzantine_intersection_majority?(S1, S2, C) IMPLIES EXISTS x: A(x) AND B(x) AND C(x)
END middle_third_pigeonhole
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
