On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem

In this report we study the proof employed by Miklos Ajtai[Determinism versus Non-Determinism for Linear Time RAMswith Memory Restrictions, 31st Symposium on Theory of Computation (STOC), 1999] when proving a non-trivial lower boundin a general model of computation for the Hamming Distanceproblem: given n elements: decide whether any two of them have"small" Hamming distance. Specifically, Ajtai was able to showthat any R-way branching program deciding this problem usingtime O(n) must use space Omega(n lg n).We generalize Ajtai's original proof allowing us to prove atime-space trade-off for deciding the Hamming Distance problem in the R-way branching program model for time between nand alpha n lg n / lg lg n, for some suitable 0 < alpha < 1. In particular we provethat if space is O(n^(1−epsilon)), then time is Omega(n lg n / lg lg n)

Bloei van Hollandse iris gedurende het hele jaar

Door uitgebreid onderzoek en teeltproeven is het mogelijk gebleken om verschillende cultivars van de zogenaamde Hollandse bolirissen door speciale bolbehandelingen vóór het normale tijdstip in bloei te trekken. Ook kunnen de bollen zodanig worden bewaard, dat ze later dan op het gebruikelijke tijdstip kunnen worden geplant en dan in het najaar bloeien. Op deze wijze kan met de daarvoor geschikte cultivars vrijwel het gehele jaar bloei worden verkregen