𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Lower bounds for weak sense of direction

✍ Scribed by Paolo Boldi; Sebastiano Vigna

Book ID
108497737
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
203 KB
Volume
1
Category
Article
ISSN
1570-8667

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Lower bounds for weak Byzantine agreemen
Lower bounds for weak Byzantine agreement
✍ Dingzhu Du πŸ“‚ Article πŸ“… 1989 πŸ› Institute of Applied Mathematics, Chinese Academy 🌐 English βš– 890 KB
Resolution lower bounds for the weak fun
Resolution lower bounds for the weak functional pigeonhole principle
✍ 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.