Optimally minimizing overlay violation in self-aligned double patterning decomposition for row-based standard cell layout in polynomial time.