Approximation of functions over redundant dictionaries using coherence
Hardness vs. randomness