Skip to content

Commit

Permalink
Improved sentence structures to make up for my limited vocubulary.
Browse files Browse the repository at this point in the history
  • Loading branch information
ntwalibas committed Nov 13, 2018
1 parent ece76b6 commit 908d820
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions source/algorithms/deutsch.rst
Original file line number Diff line number Diff line change
Expand Up @@ -75,12 +75,12 @@ make our decision of whether we have a balanced or constant oracle.
So how many times exactly do we need to call the oracle here?

If we call the oracle passing it :math:`0`, the first combination will return :math:`1`.
But the third combination will also return :math:`1`. Note also that the second combination
But the third combination will also return :math:`1`. Also, the second combination
will return :math:`0` with :math:`0`. We cannot hope to know if the oracle is balanced
or constant by passing it :math:`0` alone. The same argument applies for :math:`1`.

But note that if we call the oracle with :math:`0` then with :math:`1`, we can make some progress.
If :math:`f(0)=0` and :math:`f(1)=0` are equal then we know the oracle is constant by definition.
If :math:`f(0)` and :math:`f(1)` are equal then we know the oracle is constant by definition.
The same argument can be used by definition of a balanced function.

Therefore we need to call the oracle once for :math:`f(0)` and once for :math:`f(1)` to solve
Expand Down

0 comments on commit 908d820

Please sign in to comment.