A4. Distinguish I ⊗ X from CNOT
time limit per test
1 second
memory limit per test
256 megabytes
input
standard input
output
standard output

You are given an operation that implements a two-qubit unitary transformation: either $I \otimes X$ (the X gate applied to the second qubit and no effect on the first qubit) or the CNOT gate with the first qubit as control and the second qubit as target. The operation will have Adjoint and Controlled variants defined.

Your task is to perform necessary operations and measurements to figure out which unitary it was and to return 0 if it was $I \otimes X$ or 1 if it was the CNOT gate.

You are allowed to apply the given operation and its adjoint/controlled variants exactly once.

You have to implement an operation which takes a two-qubit operation unitary as an input and returns an integer. The operation unitary will accept an array of qubits as input, but it will fail if the array is empty or has one or more than two qubits. Your code should have the following signature:

namespace Solution {    open Microsoft.Quantum.Intrinsic;    operation Solve (unitary : (Qubit[] => Unit is Adj+Ctl)) : Int {        // your code here    }}