circuit minimization problem