𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Lower bounds for weak Byzantine agreement

✍ Scribed by Dingzhu Du


Book ID
112665875
Publisher
Institute of Applied Mathematics, Chinese Academy of Sciences and Chinese Mathematical Society
Year
1989
Tongue
English
Weight
890 KB
Volume
5
Category
Article
ISSN
0168-9673

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Resolution lower bounds for the weak fun
✍ Alexander A. Razborov πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 243 KB

We show that every resolution proof of the functional version FPHP m n of the pigeonhole principle (in which one pigeon may not split between several holes) must have size exp( (n=(log m) 2 )). This implies an exp( (n 1=3 )) bound when the number of pigeons m is arbitrary.