C4: Controlled-S

Problem Statement

Using only Clifford gates and $T$ gate,

implement an oracle $U$ satisfying $U = CS(0, 1)$ on a quantum circuit $\mathrm{qc}$ with $2$ qubits.

Here, $CS(0, 1)$ denotes the controlled-$S$ gate with qubit 1 as the control qubit and qubit 2 as the target qubit.

Constraints

• Only Clifford gates and $T$ gate can be used.
• The submitted code must follow the specified format:

from qiskit import QuantumCircuit
 
 
def solve() -> QuantumCircuit:
    qc = QuantumCircuit(2)
    # Write your code here:
 
    return qc