A5: Minus Oracle

問題文

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

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

$0 \leq k < 2^n$ を満たす任意の整数 $k$ に対して

ただし、$- k \ \text{mod} \ 2^n$ は、$0 \leq x < 2^n$ で $k + x$ が $2^n$ の倍数となるような $x$ を意味する。

制約

• $1 \leq n \leq 10$
• 量子回路の 深さ は $30$ を超えてはならない。
• 整数は リトルエンディアン にしたがってエンコードすること
• グローバル位相 は問わない。
• 提出されるコードは次のフォーマットにしたがうこと

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

ヒント