Before revision:  We show that the resulting optimization problem is monotone and submodular and can be solved  with optimality guarantees.
After revision:  We show that the resulting optimization problem is monotone and submodular and can be solved efficiently with optimality guarantees.