A3: Controlled Gate II

Problem Statement

Given an integer $n$, implement an $n+1$-qubit oracle $O$ on a quantum circuit $\mathrm{qc}$.

For any pair of integers $(m,k)$ satisfying $0 \leq m < 2$ and $0 \leq k < 2^n$, the oracle must perform the following transformation:

• If $k = 0$,

• If $k \neq 0$,

Here, $\oplus$ denotes the XOR operator.

Constraints

• $1 \leq n \leq 10$
• The quantum circuit depth must not exceed $4$.
• Integers must be encoded by little-endian.
• Global phase is ignored in judge.
• The submitted code must follow the specified format:

from qiskit import QuantumCircuit, QuantumRegister
 
 
def solve(n: int) -> QuantumCircuit:
    m, k = QuantumRegister(1), QuantumRegister(n)
    qc = QuantumCircuit(m, k)
    # Write your code here:
 
    return qc

Hints