I'm studying the qubit mapping algorithm called SABRE. SABRE is an algorithm for solving qubit mapping problem effectively. It uses multiple SWAP gates to execute quantum circuit on real quantum device by mapping virtual qubits to physical qubits. Since each quantum devices has its own coupling graph (Connection of physical qubits), SABRE algorithm consider it and add additional SWAP gates to make quantum circuit executable on quantum device. If you want to see more detail about it you can see this paper. https://arxiv.org/abs/1809.02573
From now, I will tell you my problem. I can access the SABRE algorithm by using qiskit. https://qiskit.org/documentation/stubs/qiskit.transpiler.passes.SabreSwap.html
I use qiskit transpiler to use SABRE and I know transpiler use random seed for each execution that makes every results not to be same.
Then how to check if the SABRE algorithm is right or wrong?
Is there any way to check SABRE algorithm's correctness?
I really wonder about this issue. Please kindly check my question and reply.