B3: Controlled Constant Addition

問題文

整数 $n$, $a$ が入力として与えられる。

次の条件を満たすオラクル $O$ を、$n+1$ 量子ビットをもつ量子回路 $\mathrm{qc}$ 上に実装せよ。

$0 \leq k < 2^n$ と $0 \leq c \leq 1$ を満たす任意の整数の組 $(k,c)$ に対して

制約

• $1 \leq n \leq 10$
• $0 \leq a < 2^n$
• グローバル位相 は問わない。
• 整数は リトルエンディアン にしたがってエンコードすること
• 提出されるコードは次のフォーマットにしたがうこと

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

ヒント