Олимпиадный тренинг

Задача . G3. Palindrome checker oracle


Implement a quantum oracle on \(N\) qubits which checks whether the vector \(\vec{x}\) is a palindrome (i.e., implements the function \(f(\vec{x}) = 1\) if \(\vec{x}\) is a palindrome, and 0 otherwise).

You have to implement an operation which takes the following inputs:

  • an array of \(N\) (\(1 \le N \le 8\)) qubits \(x\) in an arbitrary state (input register),
  • a qubit \(y\) in an arbitrary state (output qubit),

and performs a transformation \(|x\rangle|y\rangle \rightarrow |x\rangle|y \oplus f(x)\rangle\). The operation doesn't have an output; its "output" is the state in which it leaves the qubits.

Your code should have the following signature:

namespace Solution {
open Microsoft.Quantum.Primitive;
open Microsoft.Quantum.Canon;

operation Solve (x : Qubit[], y : Qubit) : Unit {
body (...) {
// your code here
}
adjoint auto;
}
}

time 2000 ms
memory 256 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя