问题:K Optimal Programs