Quantum Algorithm Design, Constraint Satisfaction, Quantum Computing, Computer Science.
step, during which high-level function calls are replaced by gate sequences, is called synthesis. It’s not the only thing that happens here, but for simplicity’s sake, let’s just consider one aspect. When synthesizing, we are constrained mainly by the quantum hardware. We have a finite number of