Proof. If the height of α is 0, and the common frontier (α itself) exists, then α is common. If the height of α is σ, the children of α are all in common by using induction hypothesis with the height of the children at σ-1, then the vertex α is common. ■
Appears in 2 contracts
Samples: Optimal Agreement, Malicious Agreement
Proof. If the height of α is 0, 0 and the common frontier (α itself) exists, then α is common. If the height of α is σ, the children of α are all in common by using following the induction hypothesis with the height of the children at being σ-1; then, then the vertex α is common. ■.
Appears in 1 contract
Samples: Optimal Malicious Agreement
Proof. If the height of α is 0, 0 and the a common frontier (α itself) exists, then α is common. If the height of α is σ, the children of α are all in common by using induction hypothesis with the height of the children at σ-1, then the vertex α is common. ■.
Appears in 1 contract
Samples: Byzantine Agreement
Proof. If the height of α is 0, 0 and the common frontier (α itself) exists, then α is common. If the height of α is σ, the children of α are all in common by using an induction hypothesis with the height of the children at σ-1, then the vertex α is common. ■.
Appears in 1 contract
Samples: Feature Oriented Fault Diagnosis Agreement Protocol
Proof. If the height of α is 0, and the common frontier (α itself) exists, then α is common. If the height of α is σθ, the children of α are all in common consistent by using virtue of the induction hypothesis with the height of the children at σ-1, then θ-1; the vertex α is then common. ■.
Appears in 1 contract
Samples: General Agreement
Proof. If the height of α is 0, 0 and the common frontier (α itself) exists, then α is common. If the height of α is σr, the children of α are all in common by using under the induction hypothesis with the height of the children at σ-1, then the vertex α is commonbeing r-1. ■⏹
Appears in 1 contract
Proof. If the height of α is 0, and the common frontier (α itself) exists, then α is common. If the height of α is σ, the children of α are all in common by using induction hypothesis with the height of the children at σ-1, then the vertex α is common. ■
Appears in 1 contract
Samples: Optimal Malicious Agreement Protocol
Proof. If the height of α is 0, 0 and the common frontier (α itself) exists, and then α is common. If the height of α is σr, the children of α are all in common by using under the induction hypothesis with the height of the children at σ-1, then the vertex α is commonbeing r-1. ■
Appears in 1 contract
Samples: Byzantine Agreement
Proof. If the height of α is 0, 0 and the common frontier (α itself) exists, then α is common. If the height of α is σr, the children of α are all in common by using under the induction hypothesis with the height of the children at σ-1, then the vertex α is common. ■being r-1.
Appears in 1 contract
Samples: Byzantine Agreement
Proof. If the height of α is 0, 0 and the common frontier (α itself) exists, then α is common. If the height of α is σr, the children of α are all in common by using under the induction hypothesis with the height of the children at σ-1, then the vertex α is commonbeing r-1. ■
Appears in 1 contract
Samples: Byzantine Agreement
Proof. If the height of α is 0, and the common frontier (α itself) exists, then α is common. If the height of α is σr, plus the children of α are all in common by using the induction hypothesis with the height of the children at σ-1being r-1, then the vertex α is common. ■.
Appears in 1 contract
Samples: Generalized Agreement Underlying a Multicasting Environment