On making the sparsity parameter an implicit variable in the program

Currently the sparsity parameter k ( as in card(x) <> ) must be hand tuned when we run the solver. What if we turn this parameter into a variable in the program. I.e., we let the program "search" for the appropriate sparsity. Just something to think about.... I think it should be fairly easy to modify current program to do this.