Verification of NP-complete problems: Difference between revisions

Line 24: Line 24:
**<math>|i\rangle=|0\rangle_1|0\rangle_2...|1\rangle_i...|0\rangle_N:</math> state of one photon in the <math>i^th</math> optical mode and zero in the others
**<math>|i\rangle=|0\rangle_1|0\rangle_2...|1\rangle_i...|0\rangle_N:</math> state of one photon in the <math>i^th</math> optical mode and zero in the others
**<math>|\psi_x\rangle_k=\frac{1}{\sqrt{N}}\sum_{i=1}^N(-1)^{x_i}|i\rangle:</math> <math>k^th</math> quantum proof encoding the assignment x
**<math>|\psi_x\rangle_k=\frac{1}{\sqrt{N}}\sum_{i=1}^N(-1)^{x_i}|i\rangle:</math> <math>k^th</math> quantum proof encoding the assignment x
**<math>\mathcal{M}</math>: set of all the possible matchings between two indices in [N].


==Properties==
==Properties==
Write, autoreview, editor, reviewer
3,129

edits