We study the problem of finding best approximate circuit that is closest (in some pertinent metric) to a target circuit, and which satisfies number hardware constraints, like gate alphabet connectivity. look at in CNOT+rotation set from mathematical programming standpoint, offering contributions both terms understanding mathematics its efficient solution. Among results we present, are able deri...