Deutsch–Jozsa algorithm
E349464
The Deutsch–Jozsa algorithm is a foundational quantum algorithm that demonstrates how quantum computation can solve certain decision problems exponentially faster than any classical deterministic algorithm.
All labels observed (4)
| Label | Occurrences |
|---|---|
| Deutsch algorithm | 1 |
| Deutsch–Jozsa algorithm canonical | 1 |
| Deutsch–Jozsa problem | 1 |
| Rapid solution of problems by quantum computation | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3333539 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: Deutsch–Jozsa algorithm Context triple: [David Deutsch, knownFor, Deutsch–Jozsa algorithm]
-
A.
Valiant–Vazirani theorem
The Valiant–Vazirani theorem is a fundamental result in computational complexity theory showing that solving unique solutions of NP problems is, under randomized reductions, as hard as solving general NP problems, with major implications for the study of randomness and hardness of approximation.
-
B.
Shor
Shor is a Turkic language spoken primarily by the Shor people in southwestern Siberia, Russia.
-
C.
Adleman–Pomerance–Rumely primality test
The Adleman–Pomerance–Rumely primality test is an early deterministic algorithm in computational number theory used to determine whether a given number is prime, notable for its theoretical importance in the development of modern primality testing methods.
-
D.
Davis–Putnam algorithm
The Davis–Putnam algorithm is a pioneering procedure in automated theorem proving and propositional logic satisfiability that laid foundational groundwork for modern SAT solvers.
-
E.
Entscheidungsproblem
The Entscheidungsproblem is a foundational decision problem in mathematical logic that asks whether there exists a general algorithm to determine the truth or falsity of any given first-order logical statement.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Deutsch–Jozsa algorithm Target entity description: The Deutsch–Jozsa algorithm is a foundational quantum algorithm that demonstrates how quantum computation can solve certain decision problems exponentially faster than any classical deterministic algorithm.
-
A.
Valiant–Vazirani theorem
The Valiant–Vazirani theorem is a fundamental result in computational complexity theory showing that solving unique solutions of NP problems is, under randomized reductions, as hard as solving general NP problems, with major implications for the study of randomness and hardness of approximation.
-
B.
Shor
Shor is a Turkic language spoken primarily by the Shor people in southwestern Siberia, Russia.
-
C.
Adleman–Pomerance–Rumely primality test
The Adleman–Pomerance–Rumely primality test is an early deterministic algorithm in computational number theory used to determine whether a given number is prime, notable for its theoretical importance in the development of modern primality testing methods.
-
D.
Davis–Putnam algorithm
The Davis–Putnam algorithm is a pioneering procedure in automated theorem proving and propositional logic satisfiability that laid foundational groundwork for modern SAT solvers.
-
E.
Entscheidungsproblem
The Entscheidungsproblem is a foundational decision problem in mathematical logic that asks whether there exists a general algorithm to determine the truth or falsity of any given first-order logical statement.
- F. None of above. chosen
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
quantum algorithm
ⓘ
quantum computing protocol ⓘ |
| algorithmType | exact quantum algorithm ⓘ |
| assumesAccessTo | black-box oracle implementing U_f ⓘ |
| complexityClassicalDeterministic | O(2^n) ⓘ |
| complexityQuantum | O(n) ⓘ |
| demonstrates |
advantage of quantum computation over classical computation
ⓘ
power of quantum interference ⓘ power of quantum superposition ⓘ |
| errorProbability | 0 ⓘ |
| field |
quantum computing
ⓘ
quantum information theory ⓘ |
| finalMeasurementRegister | first n qubits ⓘ |
| generalizationOf |
Deutsch–Jozsa algorithm
self-linksurface differs
ⓘ
surface form:
Deutsch algorithm
|
| guaranteeOnOracle | function is either constant or balanced ⓘ |
| implementationStatus | implemented on small-scale quantum processors ⓘ |
| initialState | |0⟩^⊗n ⊗ |1⟩ ⓘ |
| inputType | oracle function ⓘ |
| keyResource |
Walsh–Hadamard transform
ⓘ
surface form:
Hadamard transform
quantum interference ⓘ quantum parallelism ⓘ |
| measurementOutcomeForBalanced | any non-zero bit string ⓘ |
| measurementOutcomeForConstant | all-zero bit string ⓘ |
| modelOfComputation | quantum circuit model ⓘ |
| namedAfter |
David Deutsch
ⓘ
Richard Jozsa ⓘ |
| numberOfOracleQueriesClassicalDeterministicWorstCase | 2^(n-1)+1 ⓘ |
| numberOfOracleQueriesQuantum | 1 ⓘ |
| numberOfQubitsRequired | n+1 ⓘ |
| oracleFunctionCodomain | single bit ⓘ |
| oracleFunctionDomain | n-bit strings ⓘ |
| oraclePropertyTested | constant or balanced ⓘ |
| originalPublicationTitle |
Deutsch–Jozsa algorithm
self-linksurface differs
ⓘ
surface form:
Rapid solution of problems by quantum computation
|
| originalPublicationVenue |
Proceedings of the Royal Society
ⓘ
surface form:
Proceedings of the Royal Society of London A
|
| outputType | decision whether function is constant or balanced ⓘ |
| pedagogicalRole | introductory example in quantum computing courses ⓘ |
| problemTypeSolved |
Deutsch–Jozsa algorithm
self-linksurface differs
ⓘ
surface form:
Deutsch–Jozsa problem
black-box decision problem ⓘ |
| relatedTo |
Bernstein–Vazirani algorithm
ⓘ
Deutsch ⓘ
surface form:
Deutsch problem
Grover’s algorithm ⓘ Simon’s algorithm ⓘ
surface form:
Shor’s algorithm
Simon’s algorithm ⓘ |
| requires | coherent control over multiple qubits ⓘ |
| significance | first example of exponential quantum speedup in query complexity model ⓘ |
| speedupType | exponential separation between quantum and classical deterministic query complexity ⓘ |
| typicalUse | theoretical demonstration rather than practical application ⓘ |
| usesGate |
Hadamard gate
ⓘ
oracle unitary U_f ⓘ |
| yearProposed | 1992 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: Deutsch–Jozsa algorithm Description of subject: The Deutsch–Jozsa algorithm is a foundational quantum algorithm that demonstrates how quantum computation can solve certain decision problems exponentially faster than any classical deterministic algorithm.
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.