Optimal domination in graphs