1: k-Connectivity in the Semi-Streaming Model 2: Algorithmic linear dimension reduction in the l_1 norm for sparse vectors