グローバーのアルゴリズム
演算子 U s {\displaystyle U_{s}} は
U s = 2 | s ⟩ ⟨ s | − I , {\displaystyle U_{s}=2|s\rangle \langle s|-I,}
で定義されており、さらに、演算子 U ω {\displaystyle U_{\omega }} は次のように書くことができることに注意する。
U ω = I − 2 | ω ⟩ ⟨ ω | {\displaystyle U_{\omega }=I-2|\omega \rangle \langle \omega |}
これを確認するには、 I − 2 | ω ⟩ ⟨ ω | {\displaystyle I-2|\omega \rangle \langle \omega |} が基底状態に対してどのように作用するかをチェックしてみればよい。