Simplified quantum programming
AssigneeInternational Business Machines Corporation
InventorsRichard Chen, Shaohan Hu, Peng Liu, Marco Pistoia
Life of this patent
Estimating the term…
Abstract
Techniques facilitating simplified quantum programming are provided. In one example, a computer-implemented method comprises reducing, by a device operatively coupled to a processor, a first computing problem of a problem type to a second computing problem of the problem type, wherein the second computing problem is associated with a quantum circuit; facilitating, by the device, execution of the quantum circuit at a quantum computer, resulting in a first output corresponding to the second computing problem; and mapping, by the device, the first output to a second output corresponding to the first computing problem.
Claims20
A system comprising:
- a memory that stores computer executable components;
- and
- a processor that executes the computer executable components stored in the memory, wherein the computer executable components comprise:
- a reduction component that reduces, in polynomial time, a first computing problem of a problem type to a second computing problem of the problem type, wherein the first computing problem is a non-3-satisfiability problem that is not executable by a quantum circuit, and the second computing problem a 3-satisfiability problem that is executable by the quantum circuit;
- an execution component that facilitates execution of the second computing problem by the quantum circuit at a quantum computer, the execution of the quantum circuit resulting in a second output corresponding to the second computing problem;
- and
- an output mapping component that transforms the second output to a first output corresponding to the first computing problem based on a reduction mapping previously employed to transform a first input set for the first computing problem to a second input set for the second computing problem.
A computer-implemented method comprising:
- reducing, by a device operatively coupled to a processor, in polynomial time, a first computing problem of a problem type to a second computing problem of the problem type, wherein the first computing problem is a non-3-satisfiability problem that is not executable by a quantum circuit, and the second computing problem a 3-satisfiability problem that is executable by the quantum circuit;
- facilitating, by the device, execution of the second computing problem by the quantum circuit at a quantum computer, resulting in a second output corresponding to the second computing problem;
- and
- transforming, by the device, the second to a first output corresponding to the first computing problem based on a mapping of a first input set for the first computing problem to a second input set for the second computing problem.
A computer program product for facilitating quantum programming, the computer program product comprising a computer readable storage medium having program instructions embodied therewith, the program instructions executable by a processor to cause the processor to:
- reduce, in polynomial time, a first computing problem of a problem type to a second computing problem of the problem type, wherein the first computing problem is a non-3-satisfiability problem that is not executable by a quantum circuit, and the second computing problem a 3-satisfiability problem that is executable by the quantum circuit;
- facilitate execution of the second computing problem by the quantum circuit at a quantum computer, resulting in a second output corresponding to the second computing problem;
- and
- map the second to a first output corresponding to the first computing problem based on a mapping of a first input set for the first computing problem to a second input set for the second computing problem.
Dependencies are inferred from the claim text.